Promote and compare proof systems in formal verification, logic, and mathematics.
Date: June 14 and 15, 2024
Meeting start time: 10:00 on June 14 (welcome coffee will be served before)
Meeting end time: early afternoon on June 15
Format
This will be primarily an in-person meeting with talks and breaks for discussions,
but we will also provide a Zoom connection for confirmed remote participants.
Location
EPFL/UNIL Campus in Lausanne, walking distance from
the SwissTech hotel on
the EPFL metro stop of M1 metro.
The EPFL metro stop is 15 minutes from the Lausanne train station,
which has direct trains from Geneva and Zurich airports and a TGV from Paris.
There are many hotels in Lausanne, including places such as "ibis Styles Lausanne Center MadHouse" in the lively and easy-to-reach
Flon area of Lausanne. For apartment accommodation some of the VisionApartments buildings can be a good choice.
Booking early will generally give better prices.
Hotels provide a free local public transportation card valid for metro and bus.
Please consult the transportation search web site.
Here is how to get from the Lausanne train station to EPFL:
"Lausanne, gare" (train station) to "Lausanne-Flon, pl. de l'Europe" (location of ibis Styles hotel): 1 minute via M2 metro
"Lausanne-Flon, pl. de l'Europe" to "Ecublens VD, EPFL" (EPFL campus stop and the location of the SwissTech hotel) 13 minutes via M1 metro
EuroProofNet Travel Support
If you are a member of EuroProofNet European Research Network (COST Action),
you may apply for travel support to attend the meeting. Local organizers are not responsible for COST funding decisions or
procedures, but we will do our best to help.
Please keep in mind the following
if you apply for funding:
