09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
9:00 - 10:00 (1h)
Keynote
Amphitéâtre MACI
› Compatibility problems in quantum information: examples and algorithms
- Omar Fawzi, LIP, INRIA, Lyon
09:00-10:00 (1h)
10:00 - 10:30 (30min)
Pause café
Salle de convivialité MACI
10:30 - 12:00 (1h30)
Exposés de GT
Amphitéâtre MACI
› Monadic Second-Order Definable Context-Free Sets of Graphs
- Radu Iosif, Verimag, CNRS, Grenoble (GT VERIF)
10:30-11:15 (45min)
› Efficient enumeration of query answers via circuits
- Antoine Amarilli, Télécom Paris
11:15-12:00 (45min)
12:00 - 14:00 (2h)
Déjeuner
Salle J.-M. Chassery - laboratoire Gipsa-lab
›14:00 (4h)
14:00 - 18:00 (4h)
1/2 journée "Assistants de preuve"
› Proof Assistants : back on why and how ?
- Christine Paulin, LMF, Université Paris Saclay
14:00-15:00 (1h)
› Dans les Boyaux de mon Noyau
- Pierre-Marie Pédrot, LS2N
15:00-16:00 (1h)
› Table ronde: Enseigner avec les assistants de preuves.
-
16:30-18:00 (1h30)
16:00 - 16:30 (30min)
Pause café
Salle de convivialité MACI
