, University of St. Gallen SQUARE building, St. Gallen
Purpose
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 third Swiss Verification Day, to be held 3 February 2026 in University of St. Gallen, SQUARE!
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
University of St. Gallen, SQUARE building, Guisanstrasse 20, CH-9000 St. Gallen
St. Gallen's train station is well connected as it is the terminal of the IC1 and IC5 lines that cross Switzerland.
The train station is about 1.5 km from the University of St. Gallen main campus and the SQUARE.
By bus, two lines serve the university: from the train station you can ride the bus number 5 for 8 minutes to the Uni/Dufourstrasse stop at the bottom of the campus, or the bus number 9 for 10 minutes to the Uni/Gatterstrasse stop at the top of the campus on the same level as SQUARE.
If possible prefer line 9 over line 5 as it's more frequent and closer to the SQUARE.
The bus ticket for 30 minutes costs 2.30 CHF with a half-fare card and 2.50 without.
A day ticket covering Zone 210, practically the whole city of St. Gallen, costs 5.40 CHF with a half-fare card and 6.60 CHF without.
By car
Take motorway exit St.Gallen-Kreuzbleiche, towards “Zentrum”, follow the "Universität" and "WBZ Holzweid" signs. If you have a navigation system, enter “Holzstrasse 15”.
The underground garage has a limited number of parking spaces. For guests, the university charges CHF 2.00 per hour for the first three hours, and CHF 1.00 per hour for each additional hour. The cost for 24 hours is CHF 20.00, and payment can be made by card at the machine next to the garage.
Otherwise you can also park in the outdoor blue zone parking bays. Day permits can easily and conveniently be purchased by smartphone (TWINT or Parkingpay Switzerland). You can find more information here.
For guests arriving by electric car, there is a quick-charging station for electric cars on the forecourt of the Executive Campus. Car batteries are fully charged within just two hours. The station was installed in cooperation with St.Gallen-Appenzell power station SA and the evpass SA network. It is a "Range XT 22kW" station with "CCS plug" and "CHAdeMo plug". It can be recharged using the evpass via APP or "RFID card".
Please note that evpass operates this charging station and sets the prices. You can find more information about the e-charging station here. You can find more charging stations for electric cars in the canton of St.Gallen here.
Around the campus
In the above map, SQUARE is building #11 in the top-right corner.
The mensa is located in building #07, close to the main building #01.
The bus 9 stop Uni/Gatterstrasse is on the map but bus 5 stop Uni/Dufourstrasse is off the map but indicated by an arrow in the bottom-right corner.
You can navigate the main University of St. Gallen campus, the SQUARE, and other buildings in this interactive map.
Accommodation
If you want to stay overnight, there are several hotels that are 20-30 minutes on foot from the SQUARE:
