Bring together the Swiss formal methods and verification community, especially students and post-docs, for a day of informal talks.
Call for participation
Are you a Swiss-based academic or industrial researcher active in the fields of formal methods, verification, and program proofs? Join us for the second Swiss Verification Day, to be held 13 February 2025 on USI's east campus in Lugano!
We are soliciting short and informal presentations, tool demos, tutorials, and small-group discussion topics, with a focus on in-progress work and on topics susceptible to foster discussion and collaboration.
Registration
Registration will open in late November 2024. Stay tuned!
Practicalities
Location
USI East Campus, Via la Santa 1, CH-6962 Lugano (Viganello)
Rooms
Coffee breaks, apero, and registration
Foyer of Aula Polivalente (ground floor, sector A – south side of the campus)
Rooms
Aula Polivalente (200 seats): ground floor, sector A – south side of the campus
D0.02 (40 seats): ground floor, sector D – east side of the campus
D1.13 (32 seats): first floor, sector D – east side of the campus
D1.14 (48 seats): first floor, sector D – east side of the campus
D1.15 (40 seats): first floor, sector D – east side of the campus
Getting there
By train
Lugano's train station
is about 1.8 km from the workshop venue (USI East Campus).
If you feel like it, the distance is OK to walk when you are going from the station to the campus, as it’s all downhill.
In contrast, going back to the station from the campus is a more strenuous walk as it requires climbing up for about 1 km.
Bus lines #5 (direction Viganello) and #6 (direction Cornaredo)
go directly from the station to the stop Campus Universitario,
which is across the street from USI's East Campus.
To go back to the station from the campus,
use the same bus lines in the opposite direction
(line #5 direction Manno,
line #6 direction Lugano Stazione).
USI's east campus is building #7 on the picture above.
The main access to the building's courtyard is through the south-west corner (roughly where the number 7 is placed on that picture).
Then, Aula Polivalente is on the ground floor of sector A (the south segment of the building),
whereas the other rooms are on the ground or first floors of sector D (the east segment of the building).
The ground and first floors of every sector are freely accessible during the day.
