skip to content

Workshops and Other Events

Code Title Dates
VSOW01 From theory to practice 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