Séminaire au vert, Port Royal à Saint-Lambert, 2 – 3 juin 2025

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