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 deadline:
.
If you would like to give a talk/demo or to suggest a topic for a breakout session,
please register earlier by ,
so that we have enough time to consider all such requests
and to set up the detailed program.
(The registration form includes an optional field
where you can list suggestions for talks, demos, etc.)
The registration form asks every registered participant
to provide (at least) one question or topic
for the panel discussion that will take place in the morning.
Please don't forget to include your suggestions:
every question on the general topics of the workshop is welcome!
Registration is free, and includes coffee breaks and an end-of-day apero.
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.
Accommodation
If you want to stay overnight, there are several hotels
that are 5-15 minutes on foot from the workshop venue:
