| Session | Horaire | Equipe | Année | Etudiant | Encadrant | Sujet |
| ❶ | 09:00 ↦ 09:25 | AA | ING 1 | edgar.delaporte | Amazigh Amrane | Implementing Pomset Automat |
| ❶ | 09:30 ↦ 09:55 | AA | ING 1 | theo.gardet | Jim Newton | Random finite automata generation in SCALA |
| ❶ | 10:00 ↦ 10:25 | AA | ING 1 | juliette.jacquot | Daniel Stan | Apprentissage actif avec un oracle incertain |
| ❶ | 10:30 ↦ 10:55 | AA | ING 1 | stanislas.martin | Hugo Bazille | Graphes fractals |
| ❶ | 11:00 ↦ 11:25 | AA | ING 1 | eliott.kern | S. Baarir, T. Lejemble, Q. Peyras | GPU algorithm for SAT Solving |
| ❶ | 11:30 ↦ 11:55 | AA | ING 1 | thomas.xu | Adrien Pommellet | Implémentation d'un modèle de machines de Mealy et de l'algorithme L# |
| ❶ | 12:00 ↦ 12:25 | AA | ING 2 | rostan.tabet | Philipp Schlehubert | Synthèse réactive sur un sous-ensemble de LTL nommé GR(1) et motion planning |
| ❶ | 12:30 ↦ 12:55 | AA | ING 2 | simon.scatton | Adrien Pommellet | SAT-based Learning of CTL Formulas |