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.
Programme
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