skip to content
 

Tools and experiments for verified software

Information:

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.

Workshop
17th August 2020 to 21st August 2020
Organisers: 
Leonardo de Moura
Azadeh Farzan
Kim Larsen
Ken McMillan

 

**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.**

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