Attribution des exposés
| Auteur | Titre | Premier lecteur | Deuxième lecteur | Heure |
|
|
|
|
|
|
| Ebbinghaus | Complexité descriptive | Klein | Xie | 8h30-9h30 |
| Venema | Representation of Games Algebras | Morvant | Nguyen | 9h30-10h30 |
| Lange | Model checking propositional dynamic logic with all extras | Morel | Baalbaki | 10h30-11h30 |
| Bojanczyk | The Common Fragment of ACTL and LTL | Despouy | Avellaneda | 11h30-12h30 |
| GKLMSVVW, BGG | Jeux de Ehrenfeucht-Fraïssé et décidabilité de la logique avec des symboles de prédicats unaires seulement | Peel | Sokol | 13h30-14h30 |
Notes
| Klein | 15,5 |
| Xie | 14 |
| Morvant | 16 |
| Nguyen | 15,5 |
| Morel | 12 |
| Baalbaki | 12 |
| Despouy | 15,5 |
| Avellaneda | 16 |
| Peel | 14,5 |
| Sokol | 15 |