Swiss Verification Day 2027

15 February 2027, ETH Zurich (Zentrum campus), Zurich

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 fourth Swiss Verification Day, to be held 15 February 2027 in ETH Zurich!

We are soliciting short and informal presentations, tool demos, and tutorials with a focus on in-progress work and on topics susceptible to foster discussion and collaboration.

The registration form will open soon!

Venue and travel

Location

Building

ETZ, Gloriastrasse 35, CH-8092 Zürich

Rooms

ETZ E 6, E 7, and E 8

Getting there

By train

From Zürich HB (route on Google Maps):

1. Take tram 6 (direction Zoo) from Bahnhofstrasse/HB.
2. Get off at Voltastrasse (~10 min), two stops after ETH.
3. Cross Gloriastrasse; ETZ is 90 m downhill on the right.

See also ETH's step-by-step directions.

By car

Parking at ETH is limited; we recommend public transport. The closest public car park is Parking USZ Süd (paid, open 24/7).

Accommodation

If you want to stay overnight, these hotels are close to ETZ:

• Hotel Plattenhof (3 stars), next to the Platte tram stop
• Hotel St. Josef (3 stars), near the ETH main building
• Leonardo Boutique Hotel Rigihof (4 stars), Universitätstrasse
• Hotel Zürichberg (4 stars), near the Zoo stop at the end of tram 6

Contact

• Michalis Kokologiannakis, ETH Zurich