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 https://onlinesales.admin.cam.ac.uk/.
If you have been contacted by this company please contact us as soon as possible.
**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.
Fees
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
Accommodation in single study bedrooms with shared facilities and breakfast are provided at Churchill College
Meals
Lunch
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.