skip to content

Tools and experiments for verified software


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.

17th August 2020 to 21st August 2020
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.**

Cancelled On: 
Wednesday 24th June 2020 - 11:43
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons