LMF Seminar 2026
How to get to there
A bus will be available from Gif-sur-Yvette to Domaine de Frémigny on Monday morning, returning on Tuesday evening.
Programme
Day 1, Monday 8 June
10h15 – 10h45 Arrival, welcome coffee
10h45 – 13h00 Session 1
Tutorial
- Sam van Gool : Duality in logical interpolation and unification (75 min)
Senior talk
- Marc Baboulin : When HPC meets Quantum (30 min)
Me & my project
- Adham Zekri : Implementing a quantum linear solver on cat qubits (15 min)
- David Hamelin : Implementation of numerical computations in fixed-point arithmetic with accuracy control (15 min)
13h00 – 14h30 Lunch
14h30 – 16h00 Session 2
Me & my project
- Diane Golfouse : Ghost Ownership: how to avoid separation logic (15 min)
- Vincent Lafeychine : Relaxed memory behaviours in Creusot (15 min)
Feedback
- Alain Finkel & Raphaël Faure : AI & research (30 min)
Discussion
- AI & research (30 min)
16h00 – 16h30 Coffee break
16h30 – 18h30
- Team building
18h30 – 20h00
- Enjoy the place
20h00 Dinner
Day 2, Tuesday 9 June
8h00 – 9h00
- Breakfast
- Return room keys
9h15 – 11h15 Session 3
Tutorial
- Uli Fahrenberg : Discrete and Continuous Models for Concurrent Systems (90 min)
Senior talk
- Maïwenn Racouchot : Breaking, fixing and breaking again, the subtle art of protocol verification (30 min)
11h15 – 11h45 Coffee break
11h45 – 13h00 Session 4
Me & my project
- Ivan Martinez Comas : Translating proofs from HOL Light to Lean4 (15 min)
- Antoine Gontard : TBA (15 min)
- Ewen Broudin-Caradec : Aboard the phantom express (15 min)
Senior talk
- Bruno Barras : On the strength of type theoretical inductive definitions and universes in set theoretical terms (30 min)
13h00 – 14h30 Lunch
14h30 – 16h00 Session 5
Me & my project
- Aymane Maaitat : Sum over paths for fermionic circuits (15 min)
- Gabrielle Porcher : Un modèle logique pour la détection d'erreurs de fixation (15 min)
- Inès Yeterian : TBA (15 min)
- Erwann Loulergue : Passive Learning of symbolic automata (15 min)
Senior talk
- Renaud Vilmart : Unique Normal Form for Tensor Trains over Arbitrary Fields (30 min)
16h00 – 16h30 Coffee break, departure