Swiss Verification Day 2024

, EPFL Microcity, Neuchâtel

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

Registration

Fill out this form.

Practicalities

Location

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

Time

– (talks start at )

Rooms

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

Food

Breakfast
We plan to cater coffee and light snacks.
Lunch
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.
Dinner
The plan is to break up into small groups. Here are some options, in order of proximity to Microcity:

Program

Arrival, welcome, coffee

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

Self-organized dinner

Organization

Access map