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.
| 28/11/2024 | Charles Brion Algebraic cryptanalysis of the Matrix Subcode Equivalence Problem |
| 12/12/2024 | Journée d'informatique théorique |
| 09/01/2025 | Rosa Fera OliVier: an Oil&Vinegar based cryptosystem |
En collaboration avec: |
| 23/01/2025 | Amazigh Amrane TBA |
| 27/02/2025 | Marie Fortin High-Level Message Sequence Charts |
Année: « 2024 »
| 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-Amhed 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 |