Swiss Verification Day 2025
Faculty of Informatics - Academic Studies Administration
Date: 13 February 2025 / 09:00 - 17:00
USI East Campus, Aula Polivalente
The Swiss Verification Day 2025 is an event for the Swiss formal methods and verification community, with a focus on students and post-docs. The day will feature informal talks, tool demos, and group discussions on ongoing work and collaborative topics.
For more information about the event and its program, you can visit the official website by clicking here.
Host: Carlo A. Furia, Natasha Sharygina, and Roberto Minelli