Seminaire au vert, Étiolles, 9 – 10 juin 2022

Les journées du LMF 2022 vont avoir lieu les 9 – 10 juin 2022 au Étiolles Country Club.

How to get there

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

  • Thursday, meeting 9h30 at the Digiteo parking (rue Raimond Castaing), departure 9h45; no stop in Guichet this time !
  • Friday, departure at 16h30 from Étiolles Country Club towards Le Guichet RER, 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, Thursday 9 June

10h30 – 11h00 Arrival, welcome coffee

11h00 – 12h30 Tutorial (salle Birdy)

  • Andrei Paskevich and Jean-Christophe Filliâtre: Why3

12h30 – 14h00 Lunch

14h00 – 15h30 Science Talks (salle Birdy)

  • Me & my project: Kostia Chardonnet, Agustin Borgna, Julien Simonnet (10 minutes each)
  • Stéphane Demri: Dynamic Axioms in Description Logics (30 minutes)
  • Jacques-Henri Jourdan: Verifying Rust programs using Creusot (30 minutes)

15h30 – 16h00 Coffee break

16h00 – 18h00 Discussion / ateliers (salle Birdy)

  • Présentation du projet d'échanges linguistiques (Fabricio Cravo Gomes)
  • Présentation du projet de posters (Mihaela Sighireanu)
  • Proposition d'atelier « design de t-shirts » (Amrita Suresh)
  • Possibly something else

18h00 – 20h00

  • Get your room key
  • Apéro italien (Milano Country Club)

20h00 – 22h00 Dinner

From 22h Soirée Casino Bling Bling (Club House)

Day 2, Friday 10 June

8h00 – 8h45

  • Breakfast
  • Give your room key back

9h00 – 10h30 Tutorial (salle Varangues)

  • Benedikt Bollig: Automata learning

10h30 – 11h00 Coffee break

11h00 – 12h30 Discussion + photos individuelles + photo de groupe (salle Varangues)

12h30 – 14h00 Lunch

14h00 – 16h00 Science talks (salle Varangues)

  • Me & my project: Fabricio Cravo Gomes, Luc Chabassier, Louise Dubois de Prisque (10 minutes each)
  • Armaël Guéneau: Separation Logic: beyond Functional Correctness (30 minutes)
  • Laurent Doyen: Stochastic Games with Synchronizing Objectives (30 minutes)
  • Vladimir Zamdzhiev: Quantum Expectation Transformers for Cost Analysis (30 minutes)

16h00 – 16h30 Coffee break, departure