Verified software: from theory to practice
VSOW03
10 May 2021 to 14 May 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
Formal methods for the specification and verification of software-intensive systems bridge the gap between theory and applications. Verification techniques have to be tuned to application areas such as concurrency, cyber-physical systems, distributed systems, machine learning, computer security, networks, and programming languages. The INI Virtual Workshop is a precursor event to the program on Verified Software. It will involve an intensive exchange of ideas between researchers facing the challenges of cutting-edge applications and theoreticians armed with the conceptual tools to potentially address these challenges.
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.
Timetable
| Monday 10th May 2021 | |||
|---|---|---|---|
| 15:30 to 15:50 |
Chair: Azadeh Farzan |
Room 1 | |
| 15:50 to 16:00 |
Christie Marr Isaac Newton Institute |
Room 1 | |
| 16:00 to 16:30 |
Tony Hoare Isaac Newton Institute |
Room 1 | 
|
| 16:30 to 17:00 |
Maurice Herlihy Brown University |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Anca Muscholl University of Bordeaux |
Room 1 |
|
| 18:00 to 18:30 |
Ahmed Bouajjani Université Paris 7 - Denis-Diderot |
Room 1 |
|
| 18:30 to 19:00 |
Rupak Majumdar Max Planck Institute for Software Systems |
Room 1 |
|
| Tuesday 11th May 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Ilya Sergey Yale-NUS College; National University of Singapore |
Room 1 |
|
| 16:00 to 16:30 |
Lars Birkedal Aarhus Universitet |
Room 1 |
|
| 16:30 to 17:00 |
Amal Ahmed Northeastern University |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Viktor Vafeiadis Max Planck Institute for Software Systems |
Room 1 |
|
| 18:00 to 18:30 |
Aarti Gupta Princeton University |
Room 1 |
|
| 18:30 to 19:00 |
Alexandra Silva University College London |
Room 1 |
|
| Wednesday 12th May 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Véronique Cortier Lorraine Research Laboratory in Computer Science and its Applications |
Room 1 |
|
| 16:00 to 16:30 |
Karthikeyan Bhargavan INRIA |
Room 1 |
|
| 16:30 to 17:00 |
Justin Hsu University of Wisconsin-Madison |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Zachary Kincaid Princeton University |
Room 1 |
|
| 18:00 to 18:30 |
Jean-Francois Raskin Université Libre de Bruxelles |
Room 1 |
|
| 18:30 to 19:00 |
Javier Esparza Technische Universität München |
Room 1 |
|
| Thursday 13th May 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Hongseok Yang Korea Advanced Institute of Science and Technology (KAIST) |
Room 1 |
|
| 16:00 to 16:30 |
Marta Zofia Kwiatkowska University of Oxford |
Room 1 |
|
| 16:30 to 17:00 |
Martin Vechev ETH Zürich |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Adam Chlipala Massachusetts Institute of Technology |
Room 1 |
|
| 18:00 to 18:30 |
Jade Alglave University College London; ARM |
Room 1 |
|
| 18:30 to 19:00 |
Annabelle McIver Macquarie University |
Room 1 |
|
| Friday 14th May 2021 | |||
|---|---|---|---|
| 15:30 to 16:00 |
Thomas Henzinger IST Austria |
Room 1 |
|
| 16:00 to 16:30 |
Sanjit Seshia University of California, Berkeley |
Room 1 |
|
| 16:30 to 17:00 |
Pavithra Prabhakar Kansas State University |
Room 1 |
|
| 17:00 to 17:30 | Room 1 | ||
| 17:30 to 18:00 |
Madhusudan Parthasarathy University of Illinois at Urbana-Champaign |
Room 1 |
|
| 18:00 to 18:30 |
Rajeev Alur University of Pennsylvania |
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
- Amal Ahmed Northeastern University
- Ahmed Bouajjani Université Paris 7 - Denis-Diderot
- Adam Chlipala Massachusetts Institute of Technology
- Annabelle McIver Macquarie University
- Sanjit Seshia University of California, Berkeley
- Alexandra Silva University College London
- Viktor Vafeiadis Max Planck Institute for Software Systems
- Jade Alglave University College London; ARM
- Rajeev Alur University of Pennsylvania
- Karthikeyan Bhargavan INRIA
- Lars Birkedal Aarhus Universitet
- Véronique Cortier Lorraine Research Laboratory in Computer Science and its Applications
- Javier Esparza Technische Universität München
- Aarti Gupta Princeton University
- Thomas Henzinger IST Austria
- Maurice Herlihy Brown University
- Tony Hoare
- Justin Hsu University of Wisconsin-Madison
- Zachary Kincaid Princeton University
- Marta Zofia Kwiatkowska University of Oxford
- Rupak Majumdar Max Planck Institute for Software Systems
- Anca Muscholl University of Bordeaux
- Madhusudan Parthasarathy University of Illinois at Urbana-Champaign
- Pavithra Prabhakar Kansas State University
- Jean-Francois Raskin Université Libre de Bruxelles
- Ilya Sergey Yale-NUS College; National University of Singapore
- Martin Vechev ETH Zürich
- Hongseok Yang Korea Advanced Institute of Science and Technology (KAIST)
Supported By
