The LMF seminar 2025 takes place on June 2-3, 2025 at Centre Port Royal in Saint-Lambert.

How to get there
A bus leaving from Gif-sur-Yvette to Saint-Lambert on Monday morning, returning on Tuesday evening:
- Monday, meeting 9AM at the Digiteo parking (rue Raimond Castaing), departure 9:20AM; a second stop at Le Guichet RER station (around 9:30AM).
- Tuesday, departure at 4:45PM from Domaine Saint-Paul towards Le Guichet RER station, with terminus Digiteo parking.
Programme
Day 1, Monday 2 June
10h15 – 10h45 Arrival, welcome coffee
10h45 – 12h30
Tutorial (Salle Racine)
- Théo Winterhalter: Controlling computation in type theory, locally (1 hour)
Me and my project (Salle Racine)
- Mélanie Pietri: TITRE (10-15 min)
- Emmanuel Tintanet: Régulation des émotions et chômage de longue durée (10-15 min)
- Marc Renard: Relations Among New CCA Security Notions for Approximate FHE (10-15 min)
12h30 – 14h00 Lunch (Restaurant)
14h00 – 16h00
Senior talk
- Paul Gastin: A (simple) proof of Kamp's Theorem (30 min)
Me and my project (Salle Racine)
- Paul Zeinaty; Runtime Monitoring for Bioprocesses (10-15 min)
- Nicolas Dumange: Strategic Reasoning with Resources under Uncertainty (10-15 min)
Senior talk
- Stéphane Le Roux: A game-theoretic model for strategic growth in some species (30 min)
Me and my project (Salle Racine)
- Josue Moreau: A safe low-level language for computer algebra and its formally verified compiler (10-15 min)
- Alexandra Loudières: TITRE (10-15 min)
16h00 – 16h30 Coffee break
16h30 – 18h30
- Team building
18h30 – 20h00
- Enjoy the place
20h00 Dinner (Restaurant)
Day 2, Tuesday 3 June
8h00 – 8h45
- Breakfast
- Give your room key back
9h00 – 10h40
Tutorial (Salle Racine)
- Guillaume Scerri: TITRE (45 min)
Me and my project (Salle Racine)
- Melanie Taprogge: Verification of Higher-Order Logic Automated Reasoning in the Dedukti Framework (10-15 min)
- Duy Hoang: Exoskeleton Control Using Neural Network with Bounded Generalization Error (10-15 min)
Discussion (Salle Racine)
- Développement durable (25 min)
10h40 – 11h05 Coffee break
11h05 – 12h30
Discussion (Salle Racine)
- Parité-égalité (55 min)
Senior talk
- Adrien Durier: Concurrency Theory and Cyber-Physical Systems: Safety Properties of Timed Traces (30 min)
12h30 – 14h00 Lunch (Restaurant)
14h00 – 16h00 Senior+junior talk (Salle Racine)
- Andrei Paskevich and Paul Patault : Coma : an intermediate verification language with explicit abstraction barriers (45 min)
Me & my project (Salle Racine)
- Mariapia D'Urso: Parametrization of Reaction Networks in Bioprocesses (10-15 min)
- Octave Mestoudjian: Generalised subsystems for quantum computing (10-15 min)
- Benjamin Puyobro: Ordinary Differential Equations for hybrid systems in Isabelle/HOL (10-15 min)
Senior talk
- Matthew Wilson: Composition and Causation in Quantum Information (30 min)
16h00 – 16h30 Coffee break, departure