Les journées du LMF 2021 ont eu lieux le 2 – 3 décembre au Domaine de Frémigny.
Programme
Day 1, Thursday 2 December
10h30 – 11h Arrival, welcome coffee
11h00 – 12h30 Science talks
- Mihaela Sighireanu, What is decidable about heap-lists?
- Titouan Carette, Drawing quantum streams
- Pierre Vial, Bécassine ou les six fortunes de la métaprogrammation en Coq
12h30 – 14h00 Lunch
14h00 – 15h30 Pôle Modèles
- Theme surveys: Distributed Computation and Concurrency, Model Checking, Critical Systems, Model-Based Testing
- Me & my project: Amrita Suresh, Benjamin Bordais, Georges Aazan, Isa Vialard, Lulu He, Thomas Soullard, Olivier Stietel, Pierre Vandenhove
- Science talk: Philippe Schnoebelen, Vector Additions Systems. It's simple !! It's complicated ...
15h30 – 16h00 Coffee break
16h00 – 16h30 Tutorial Web: Frédéric Boulanger & Dietmar Berwanger
17h00 – 18h30 Escape game Fremigny Town
20h00 – 22h00 Dinner
Day 2, Friday 3 December
8h00 – 8h45 Breakfast
9h00 – 10h30 Pôle Interactions
- Theme surveys : Biology, AI, Quantum, Security, Topology
- Me & my project: Dongho Lee, Giann Karlo Aguirre Samboni, Louis Lemonnier, Titouan Carette, Lopez Aliaume
- Science talk: Matthias Függer, Computing with bacteria
10h30 – 11h00 Coffee break
11h00 – 12h30 Lab life
- Seminaire (Safouan)
- Locaux (Dietmar)
- Cellule doctorants (Chantal)
- Parité-egalité (Caroline)
- DER Informatique, ENS (Mihaela)
- Com (Dietmar)
12h30 – 14h00 Lunch
14h00 – 16h00 Pôle Preuves
- Science talk: Burkhart Wolff: A Sound Type System for Physical Quantities, Units, and Measurements
- Me & my project: Amélie Ledein, Glen Mével, Houda Mouhcine, Léo Andrès, Thiago Felicissimo, Quentin Garchery, Xavier Denis, Yoan Géran, Nicolas Méric
- Theme surveys: Computer Arithmetics, Language and Compilation, Mechanical Theorem Proving, Program Proofs
16h00 – 16h30 Coffee break, departure
