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: |
Année: « 2025 »
27/03/2025 | Alban Gilard Calcul de la série de Hilbert pour la modélisation Support-Minors du problème MinRank. |
13/03/2025 | Marie Fortin High-Level Message Sequence Charts |
06/02/2025 | Irène Marcovici Corrélations discrètes d'ordre 2 de certaines suites automatiques |
23/01/2025 | Amazigh Amrane Active Learning Techniques for Pomset Recognizers |
09/01/2025 | Rosa Fera OliVier: an Oil&Vinegar based cryptosystem |
En collaboration avec: |