Swiss Verification Day 2025
Facoltà di scienze informatiche - Segreterie degli studi
Data: 13 febbraio 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