skip to content

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.

3rd August 2020 to 7th August 2020
Philippa Gardner
Azadeh Farzan
Xavier Leroy
Peter O'Hearn
Moshe Vardi


**Following the outbreak of COVID19, the VSO programme has been postponed. Further information about its resumption will be made available in due course. See this page for further details.**


Workshop theme:

Software is playing an increasingly critical role in government, finance, transportation, communication, commerce, and entertainment.  Errors in software can have catastrophic consequences leading to loss of life, property, and even identity.  Computing theory is crucial to the construction of error-free software through the study of specification and programming languages, and the development of analysis, synthesis, and verification tools and techniques.  The workshop features invited talks from distinguished researchers spanning machine learning, distributed systems, concurrency, networking, cyber-physical systems, programming languages, and program analysis.

The goal of the workshop is to identify opportunities where theoretical advances can yield major practical breakthroughs in the construction of verified software.


Deadline for applications: 3rd May 2020

VSO programme participants DO NOT need to apply, programme participants with visit dates during VSOW01will automatically be added to the attendee list.

Please note members of Cambridge University are welcome to turn up and sign in as a non-registered attendee on the day(s) during the workshop and attend the lecture(s). Please note that we cannot provide you with any support including name badge, meals or accommodation.

In addition to visiting the INI, there are multiple ways in which you can participate remotely.

Apply now


Registration Only    
  • Registration Package: £220
  • Student Registration Package: £170

The Registration Package includes admission to all seminars, lunches and refreshments on the days that lectures take place (Monday - Friday), wine reception and formal dinner, but does not include other meals or accommodation.

Registration and Accommodation
  • Accommodation Package: £588

The Accommodation Package includes a registration fee, bed and breakfast accommodation at Churchill College from the evening of Sunday to breakfast on Saturday, together with lunches and refreshments during the days that lectures take place (Monday - Friday). The formal dinner is also included, but no other evening meals.

Formal Dinner Only
  • Formal Dinner: £50

Participants on the Accommodation Package or Registration Package, including organisers and speakers, are automatically included in this event. For all remaining participants who would like to attend, such as programme participants, the above charge will apply.


Accommodation in single study bedrooms with shared facilities and breakfast are provided at Churchill College



Lunch timings and location will be confirmed with timetable.

Evening Meal

Participants are free to make their own arrangements for dinner.

Formal Dinner

The Formal Dinner location and date is to be confirmed. Participants on the Accommodation Package or Registration Package, including organisers and speakers, are automatically included in this event.

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