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: |
| 12/12/2024 | Journée d'informatique théorique -- |
En collaboration avec: |
| 28/11/2024 | Charles Brion Algebraic cryptanalysis of the Matrix Subcode Equivalence Problem |
| 17/10/2024 | Alexandre Duret-Lutz Traduction d'expressions rationnelles semi-étendues en automates finis, à l'aide de formes linéaires |
En collaboration avec: |
| 03/10/2024 | Antoine Renard q-déformation des coefficients binomiaux de mots |
| 19/09/2024 | Estelle Blin Calcul multipartite et preuve de sécurité dans le modèle de la composabilité universelle. |
| 13/06/2024 | Jean-Philippe Dubernard Utilisation des grammaires algébriques en combinatoire énumérative |
| 06/06/2024 | Florence Levé Analyse de la musique symbolique : motifs, texture |
| 23/05/2024 | Julien David Génération aléatoire de vecteurs stochastiques avec une propriété fixée |
| 18/04/2024 | Mohammed-Ahmed Saeed Code Equivalence Problem |
| 11/04/2024 | Pascal Caron Le théorème de Kuratowski et ses applications en théorie des langages |
En collaboration avec: |
| 28/03/2024 | Francesco Pio Marino Enhancing Exact and Approximate String Matching by Character Distance Sampling |
| 22/02/2024 | Bastien Auvray Approximate Cartesian tree matching |
| 18/01/2024 | Ismael Jecker Transducers and the Power of Delay |