Click here if you are
not
a type theorist
Rocq'n'Share workshop
2026: June 29–July 3, EPFL main campus near Lausanne
Swiss Verification Day workshop
2026: February 3, University of St. Gallen Square, St. Gallen
2025: February 13, USI East Campus, Lugano
2024: January 10, EPFL Microcity, Neuchâtel
Proof Systems for Mathematics and Verification workshop
2024: June 14-15, EPFL main campus near Lausanne
