skip to content
 

Workshops and Other Events

Code Title Dates
VSOW01 Theory and applications of verified software Workshop 3rd August 2020 to 7th August 2020
VSOW02 Tools and experiments for verified software Workshop 17th August 2020 to 21st August 2020
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons