Swiss Verification Day 2024

, EPFL Microcity, Neuchâtel


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 first Swiss Verification Day workshop, to be held January 10, 2024 on EPFL's Microcity campus, Neuchâtel!

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.


Fill out this form.



EPFL Microcity, Rue de la Maladière 71, CH-2000 Neuchâtel


(talks start at )


Building reception
MC B1 94.25
(eastern entrance on first floor, southern entrance on ground floor)
Main room
MC B1 303
Additional meeting rooms
MC B1 273
MC B1 283

Getting there

By train
Get off at Neuchâtel, then either walk 13-15 minutes or take the funicular + bus to Neuchâtel, Microcity
By car
No on-site visitor parking: park at Centre Commercial de la Maladière, then walk 2 minutes.
Access map


We plan to cater coffee and light snacks.
EPFL Microcity has a cafeteria on-site (~15-20F per person), and plenty of shops nearby. Locals swear by A l'Emportée for cheap sandwiches, Happy Bowl for salads, and Vio for stir-fry. The Coop also has a restaurant and good take-out options for most special diets.
The plan is to break up into small groups. Here are some options, in order of proximity to Microcity:


Arrival, welcome, coffee

Meetup (talk schedule TBA; we are hoping to finalize the program by mid-December.)

Self-organized dinner


Access map