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.
Talks/demos proposals: The registration form includes
an optional field where you can list suggestions for talks,
demos, etc.
If you would like to give a presentation,
please register earlier, possibly by ,
so that we have enough time to consider all such requests
and to set up the detailed program.
If you are still unsure about the content/character of the talk you'd like to give,
just mention in the form that you would like to give a talk (and perhaps the intended talk length),
and we'll get back to you later on about the details.
If you already registered and changed your mind about giving a talk,
just send an email with your request to the organizers.
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.
Food
Lunch
The east campus has
a cafeteria,
which offers three daily options (meat or fish, pasta, vegetarian/vegan, CHF 15-20 per person).
There will be a couple of large tables reserved for us.
If you want to venture out of the campus,
popular places nearby include
Yummy (Asian),
Anema e Core (Italian, pizza),
Diametro 31 (pizza, take out only),
Cele Burger (burgers, take out or outdoor seating),
Orient Express (Chinese),
La Fermata (burgers, tapas).
Accommodation
If you want to stay overnight, there are several hotels
that are 5-15 minutes on foot from the workshop venue:
