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