skip to content

Verified software: from theory to practice


we have been made aware of a very convincing phone scam that is focusing on our workshop participants. Participants may be contacted by phone by a firm called Business Travel Management to arrange accommodation for workshops and/or programmes.  This includes a request to enter credit card information.

Please note, INI will never contact you over the phone requesting card details. We take all payments via the University of Cambridge Online store

If you have been contacted by this company please contact us as soon as possible.

10th May 2021 to 14th May 2021
Natarajan Shankar SRI International
Leonardo de Moura Microsoft (USA)
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
Moshe Vardi Rice University

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.


Deadline for applications: 11th April 2021

Apply now

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons