 |
18-21 mars 2024 | Grenoble (France)
|
 |
|
|
|
|
Programme
 |
‹ mardi 19 mars 2024 › |
|
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)
16:00 - 16:30 (30min)
Pause café
Salle de convivialité MACI
|
| Session | Discours | Logistique | Pause | Sortie |
| Personnes connectées : 2 | Vie privée |
|
