Verified software: tools and experiments
VSOW04
7 June 2021 to 11 June 2021
We have been made aware of a convincing email scam that is focusing on our Programme and Workshop participants. Participants may receive an email from a firm called Expo Hotel Services (ehotelservices.org) to arrange accommodation for workshops and/or programmes. This might include a request to provide them with credit card information.
Please note, INI will never ask for your card details. We take all payments via the University of Cambridge Online store https://onlinesales.admin.cam.ac.uk/.
If you have been contacted by this company please contact us as soon as possible.
Workshop theme
The Tools and Experiments workshop is aimed at defining an integrated tool resources for automated formal methods with standardized interfaces and interchange and data/evidence formats that allow services and arguments to be composed and test cases and counterexamples to be shared across different formal models. The goal of the INI Virtual Workshop is to lay the foundation for powerful automated tools and integrated tool suites that can be deployed in a range of large-scale experiments and case studies.The workshop will include a special event marking the 60th anniversary of Tony Hoare's invention of Quicksort.
Given the current restrictions on movement, due to the ongoing pandemic, the INI intends to run this workshop virtually across 5 days. All talks and discussion sessions will be available virtually.
Deadline for applications: 20th May 2021
Timetable
| Monday 7th June 2021 | |||
|---|---|---|---|
| 15:30 to 15:55 |
Natarajan Shankar SRI International |
Room 1 | |
| 15:55 to 16:00 |
Christie Marr Isaac Newton Institute |
Room 1 | |
| 16:00 to 16:30 |
Douglas McIlroy Dartmouth College |
Room 1 | 
|
| 16:30 to 17:00 |
Robert Sedgewick Princeton University |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Sebastian Wild University of Liverpool |
Room 1 |
|
| 18:00 to 18:30 |
Tony Hoare Isaac Newton Institute |
Room 1 |
|
| Tuesday 8th June 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Naijun Zhan Chinese Academy of Sciences |
Room 1 |
|
| 16:00 to 16:30 |
Andre Platzer Carnegie Mellon University |
Room 1 |
|
| 16:30 to 17:00 |
Armin Biere Johannes Kepler Universität |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Bernd Finkbeiner Universität des Saarlandes |
Room 1 |
|
| 18:00 to 18:30 |
Cesare Tinelli University of Iowa |
Room 1 |
|
| 18:30 to 19:00 |
Warren Hunt University of Texas at Austin |
Room 1 |
|
| Wednesday 9th June 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Mooly Sagiv Tel Aviv University |
Room 1 |
|
| 16:00 to 16:30 |
Supratik Chakraborty Indian Institute of Technology |
Room 1 | |
| 16:30 to 17:00 |
Peter Müller ETH Zürich |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Matthias Heizmann Albert-Ludwigs-Universität Freiburg |
Room 1 |
|
| 18:00 to 18:30 |
Roderick Bloem Graz University of Technology |
Room 1 | |
| 18:30 to 19:00 |
Marieke Huisman Universiteit Twente |
Room 1 |
|
| Thursday 10th June 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Orna Grumberg Technion - Israel Institute of Technology |
Room 1 |
|
| 16:00 to 16:30 |
Kedar Namjoshi Nokia Bell Labs |
Room 1 |
|
| 16:30 to 17:00 |
Aarti Gupta Princeton University ; David Dill None / Other; Stanford University ; Randal Bryant Carnegie Mellon University ; Somesh Jha University of Wisconsin-Madison |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Emina Torlak University of Washington |
Room 1 |
|
| 18:00 to 18:30 |
Nate Foster Cornell University; Intel |
Room 1 |
|
| 18:30 to 19:00 |
Daniel Schwartz-Narbonne Amazon Web Services |
Room 1 |
|
| Friday 11th June 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Lenore Zuck University of Illinois at Chicago |
Room 1 |
|
| 16:00 to 16:30 |
Benjamin Pierce University of Pennsylvania |
Room 1 |
|
| 16:30 to 17:00 |
Ranjit Jhala University of California, San Diego |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Nadia Polikarpova University of California, San Diego |
Room 1 |
|
| 18:00 to 18:30 |
Armando Solar-Lezama Massachusetts Institute of Technology |
Room 1 |
|
| 18:30 to 19:00 |
Ruzica Piskac Yale University |
Room 1 |
|
Organisers
- Leonardo de Moura Microsoft (UK)
- Azadeh Farzan University of Toronto
- Philippa Gardner Imperial College London
- Kim Larsen Aalborg Universitet
- Xavier Leroy Collège de France; INRIA
- Ken McMillan Microsoft (USA)
- Peter O'Hearn University College London
- Peter Sewell University of Cambridge
- Natarajan Shankar
- Moshe Vardi Rice University
Speakers
- Orna Grumberg Technion - Israel Institute of Technology
- Benjamin Pierce University of Pennsylvania
- Armin Biere Johannes Kepler Universität
- Roderick Bloem Graz University of Technology
- Randal Bryant Carnegie Mellon University
- Supratik Chakraborty Indian Institute of Technology
- David Dill None / Other; Stanford University
- Bernd Finkbeiner Universität des Saarlandes
- Nate Foster Cornell University; Intel
- Aarti Gupta Princeton University
- Matthias Heizmann Albert-Ludwigs-Universität Freiburg
- Tony Hoare
- Marieke Huisman Universiteit Twente
- Warren Hunt University of Texas at Austin
- Somesh Jha University of Wisconsin-Madison
- Ranjit Jhala University of California, San Diego
- Christie Marr Isaac Newton Institute
- Douglas McIlroy Dartmouth College
- Peter Müller ETH Zürich
- Kedar Namjoshi Nokia Bell Labs
- Ruzica Piskac Yale University
- Andre Platzer Carnegie Mellon University
- Nadia Polikarpova University of California, San Diego
- Mooly Sagiv Tel Aviv University
- Daniel Schwartz-Narbonne Amazon Web Services
- Robert Sedgewick Princeton University
- Natarajan Shankar
- Armando Solar-Lezama Massachusetts Institute of Technology
- Cesare Tinelli University of Iowa
- Emina Torlak University of Washington
- Sebastian Wild University of Liverpool
- Naijun Zhan Chinese Academy of Sciences
- Lenore Zuck University of Illinois at Chicago
Supported By
