- 09:30 — Welcome coffe
- 10:00 — Opening
- 10:20 — A few words by Hubert Comon, Véronique’s PhD advisor
- 10:30 — Stéphanie Delaune – Reducing the number of session: a long-standing research question
- 11:20 — Coffee break
- 11:40 — Bruno Blanchet – Dealing with Key Compromise in CryptoVerif
- 12:30 — Lunch
- 14:00 — Alexandre Debant – Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol
- 14:50 — Olivier Pereira – How to Verifiably Encrypt Many Bits for an Election?
- 15:40 — Coffee break
- 16:00 — Pierrick Gaudry – Belenios: 10 years of evolution
- 16:50 — Conclusion followed by a cocktail
