Swiss Verification Day 2025

13 February 2025, USI East Campus, Lugano

Purpose

Bring together the Swiss formal methods and verification community, especially students and post-docs, for a day of informal talks.

Participants

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.

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

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).

By car

The closest public parking is the Autosilo Ospedale Italiano – a five-minute walk to USI's campus.

Around the campus

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 first floor 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), Diametro 31 (pizza, take out only), Cele Burger (burgers, take out or outdoor seating), Orient Express (Chinese).

Dinner

A few restaurants between the campus and the city center: Anema e Core (Italian, pizza), Orient Express (Chinese), La Fermata (burgers, tapas), Acqua e Farina (pizza), Trattoria Galleria (local, Italian), Thai Orchid (Thai), Fresco (Italian, pizza). There are plenty more options, most of them are good!

Accommodation

If you want to stay overnight, there are several hotels that are 5-15 minutes on foot from the workshop venue:

• Hotel City (4 stars)
• Hotel Zurigo (3 stars)
• Hotel Ceresio (3 stars)
• Albergo Pestalozzi (3 stars)

There are plenty of other accommodation options in the vicinity. Here are some resources to look for other places to stay:

• Other hotels in the area
• Bed & breakfasts
• Airbnb

Program

Sponsors

Local organization

• Carlo A. Furia (main contact), USI, Software Institute
• Natasha Sharygina, USI, IDSIA
• Roberto Minelli, USI, Software Institute