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