Click here if you are
not
a type theorist
Swiss Verification Day workshop
2024: January 10, EPFL Microcity, Neuchâtel
Proof Systems for Mathematics and Verification workshop
2024: June 14-15, EPFL Main Campus near Lausanne