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.
24/04/2025 | Thomas Place Membership, separation and the dot-depth hierarchy. |
15/05/2025 | Javad Taheri On the Impact of Nondeterminism in Models of Regular Languages |
En collaboration avec: |
08/12/2022 | Clément Miklarz Les langages k-blocs déterministes |
24/11/2022 | Sylvain Lombardy L'automate NET d'une expression |