Are you itching to learn more about the internals of your favorite proof assistant? Do you have a feature to advocate for? Do you need help implementing an extension or hacking the kernel? Do you feel ready to step up and fix that bug that’s been pestering you for years?
Join us for Rocq'n'Share 2026, held from June 29th to July 3rd on EPFL’s main campus in Lausanne!
Format
Rocq'n'Share is a meeting place for developers and power users of The Rocq Prover and of its extensions: tactic languages, metaprogramming languages, libraries, plugins, verification frameworks, compilers, decision procedures…
The week will be organized around short presentations and brainstorming sessions in the mornings, and focused discussion and implementation sessions in the afternoons. Rocq developers will bring good starting projects for beginners, or you can bring your own ideas and work-in-progress implementation to receive expert support!
Note: Please don’t bother the students studying in other rooms, especially INM 201!
Getting there
To Switzerland
Take a flight or train to Geneva (1h away) or Zurich (2.5h away), or a train to Lausanne (0.5h away). (There will be some disruptions on the Geneva–Lausanne line in the night of 27–28 June.)
To EPFL
Use public transport from your accommodation: choose among bus 1 from Lausanne (get off at Ecublens VD, EPFL/Colladon), bus 701 from Morges (get off at St-Sulpice VD, Parc Scientifique), and metro 1 from Renens or Lausanne (get off at Ecublens VD, EPFL). These trips will most likely be covered by the transport pass provided by your hotel.
Accommodation
Any hotel on campus, in Lausanne, or in Morges (cheaper and somewhat closer to EPFL) should work.
Using public transport
Vaud (our canton) is organized into 188 Mobilis zones. Lausanne is in zone 11; EPFL is in zone 12; Morges is in zones 30 and 33.
Staying at a Lausanne or Morges-area hotel entitles you to some free or discounted public transportation:
Lausanne hotels provide a public-transport pass with broad enough coverage (zones 11/12) to travel between Lausanne and EPFL. Your hotel will not hand it to you until you check in, but the ride from the Lausanne train station to your hotel or to EPFL on the same day is still covered (just show your hotel reservation).
Morges hotels provide the Slow pass, which includes a 20 CHF voucher per night of stay. This voucher must be redeemed on the MBC website (not the SBB app!). We recommend that you use it to purchase a daily Morges-Lausanne travel card (zone 11/12/30/33), which covers trips to EPFL and to Lausanne throughout the day.
Other visitors can buy tickets or use EasyRide on the SBB/CFF mobile app. Tickets must be purchased before entering public transport.
Food
Breakfast
We plan to cater coffee and light snacks.
Lunch
EPFL has multiple cafeterias and food trucks on-site (~15-20CHF per person), including good options for vegetarian and vegan diets.
Dinner
We will break up into small groups and explore Lausanne. Find a local to pair up with! On Tuesday we'll have dinner together near EPFL.
Program
Working schedule
Monday –: kick-off
Registration from , opening at , 1-minute participant intros & matchmaking, and a bug sprint!
This event is financially supported by the Swiss Informatics Foundation — Informatik Stiftung Schweiz.