Séminaire au vert, Étiolles, 12 – 13 juin 2023

Les journées du LMF 2023 ont eu lieu les 12 – 13 juin 2023 au Étiolles Country Club.

How to get there

A bus leaving from Gif-sur-Yvette to Étiolles on Monday morning, returning on Tuesday evening:

  • Monday, meeting 9h20 at the Digiteo parking (rue Raimond Castaing), departure 9h30; a second stop at Le Guichet RER station
  • Tuesday, departure at 16h45 from Étiolles Country Club towards Le Guichet RER station, with terminus Digiteo parking.

If you arrange your own transport (car, bike, public transportation), please check the arrival instructions of our host.

For those arriving by RER, a shuttle service will be running from the RER D station Evry Val de Seine to Étiolles Country Club between 10h and 10h30.


Day 1, Monday 12 June

10h30 – 11h00 Arrival, welcome coffee

11h00 – 12h30 Tutorial (salle Varangues)

  • Stéphane Demri: Introduction to Temporal Logics with Concrete Domains

12h30 – 14h00 Lunch

14h00 – 15h30 Science Talks (salle Varangues)

  • Me & my project: Gustave Cortal, Marc Renard, Nicolas Heurtel, Rishikesh Vaishnav
  • Lina Ye: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise (30 minutes)
  • Guillaume Scerri: tba (30 minutes)

15h30 – 16h00 Coffee break

16h00 – 18h00

  • Team building (murder party)

18h00 – 20h00

  • Get your room key

20h00 Dinner

Day 2, Tuesday 13 June

8h00 – 8h45

  • Breakfast
  • Give your room key back

9h00 – 10h30 Tutorial (salle Varangues)

  • Jean Goubault-Larrecq: A journey through the semantics of higher-order probabilistic languages,domain theory, and topology

10h30 – 11h00 Coffee break

11h00 – 12h30 Discussion / ateliers (salle Varangues)

  • Retour sur l'atelier psychodynamique du travail -- Thomas Chatain (30 minutes)
  • Régulation des émotions par leur compréhension -- Alain Finkel (45 minutes)
  • Développement durable -- Thomas Chatain (15 minutes)

12h30 – 14h00 Lunch

14h00 – 16h00 Science talks (salle Varangues)

  • Me & my project: Quentin Petitjean, Benoit Ballenghien, Paul Geneau de Lamarliere, Kinnari Dave
  • Thomas Nowak: Topological Simplicial Complexes for Task Solvability in Distributed Systems (30 minutes)
  • Thibaut Balabonski : Normalization by need: a case study in reasoning on binders (30 minutes)
  • Esteban Castro Ruiz: A perspective on quantum causal structures (30 minutes)

16h00 – 16h30 Coffee break, departure