22-23 Janvier 2026
Marseille > Campus Saint-Charles bâtiment 7 escalier C.
Format : introduction à un problème ouvert.
| Jeudi 22/01/2026 | Salle de séminaire de la FRUMAM (2ème étage à droite) |
|---|---|
| 09h00 | Kévin Perrot : 1 an de ALARICE : métathéorèmes, budget et planning (diapo) |
| 09h40 | Adrien Richard : questions ouvertes sur les réseaux d’automates |
| 10h10 | Samuel Humeau : test de propriété dans les graphes peu denses |
| 10h40 | pause |
| 11h15 | Pierre Ohlmann : MSO transduction et paramètres structurels |
| 12h15 | déjeuner |
| 14h00 | toustes : problèmes ouverts |
| 14h30 | groupes de travail |
| 17h00 | Guillaume Theyssier : indécidabilité dans les réseaux d’automates (FO on orbits, AC, etc) |
| 17h30 | Jérémie Chalopin : élection de leader dans les grilles triangulaires et plus |
| 18h00 | sortie en ville pour dîner |
| Vendredi 23/01/2026 | Salle de séminaire de l’I2M (1er étage à gauche) |
|---|---|
| 09h00 | Sara Riva : pipeline de résolution des équations polynomiales de FDDS |
| 09h30 | Maximilien Gadouleau : semi-anneau des permutations modulo 2 |
| 10h00 | Marius Rolland : dernières avancées sur le semi-anneau des FDDS |
| 10h30 | Marius Rolland : quelle est la forme d’un FDDS “moyen” ? |
| 10h40 | pause |
| 11h15 | Maximilien Gadouleau : graphes d’interaction des réseaux booléens bijectifs, ou nilpotents |
| 12h15 | déjeuner |
| 14h00 | groupes de travail |