Le séminaire d’informatique théorique est organisé le jeudi à 14h. Sa fréquence est bimensuelle. Il a lieu dans la salle de séminaires du département d'informatique (Voir le plan d'accès).
Ce séminaire est subventionné par les laboratoires GR²IF et LITIS (équipes C&A et TIBS).
Le responsable du séminaire est Pascal Caron.
Chaque exposé dure environ 1 heure, les dix dernières minutes étant réservées à la discussion. Les présentations ont lieu en français ou en anglais.
| 09/04/2026 | Benedikt Bollig Provable Coordination for LLM Agents via Message Sequence Charts |
| 30/04/2026 | Antonio Casares The automata method for the MSO theory of order |
| 21/05/2026 | Tatiana Starikovskaya Regular languages recognition in restricted models of computation |
| 04/06/2026 | Victoria Lebed Dessiner des tresses pour comprendre des réseaux d’information |
| 18/06/2026 | Maxence Poutrel TBA |
| 08/12/2022 | Clément Miklarz Les langages k-blocs déterministes |
| 24/11/2022 | Sylvain Lombardy L'automate NET d'une expression |