Coup d'envoi
11-12 Mars 2025
Marseille > CIRM Salle S2 (dans la bibliothèque).
Programme (provisoire)
| Mardi 11/03/2025 |
|
| 09h30 |
café et thé de bienvenue |
| 10h00 |
Kévin Perrot : ALARICE, 3 objectifs, métathéorèmes et pompage, 4 tâches, budget et planning (5 ans) |
| 11h30 |
Pierre Guillon : théorèmes à la Rice dans les AC / calculabilité |
| 12h15 |
déjeuner au CIRM |
| 14h00 |
Aliénor Goubault–Larrecq : méthode de pompage pour métathéorèmes, arithmétique et astuce pour le déterminisme |
| 14h45 |
Guillaume Theyssier : indécidabilité de la satisfaisabilité FO dans les automates cellulaires sur graphes finis |
| 15h30 |
pause avec café et thé |
| 16h00 |
Oscar Defrain : présentation du projet ANR PARADUAL |
| 16h30 |
Sylvain Sené : retour sur le projet ANR FANs (2019-2023) |
| 16h40 |
temps libre |
| 20h00 |
dîner au restaurent La Nautique (Vieux-Port) |
| Mercredi 12/03/2025 |
|
| 09h00 |
Pierre Ohlmann : MSO, types, théorème de Courcelle, preuve alternative pour le métathm (cas MSO + cw) |
| 10h30 |
temps libre avec café et thé (probabilité non-nulle de débordement du talk précédent) |
| 11h30 |
Antonio E. Porreca et Marius Rolland : complexité de résolution des équations sur les systèmes dynamiques déterministes finis (graphes fonctionnels avec union disjointe (+) et produit direct (x)) |
| 12h15 |
déjeuner au CIRM |
| 13h45 |
balade au Belvédère |
| 15h00 |
Florian Bridoux : dynamiques hamiltoniennes |
| 15h45 |
clôture : merci, et pensez à mentionner “ANR-24-CE48-7504” dans vos papiers autour de ces sujets ♥ |
| 15h50 |
temps libre avec café et thé |
Participants
- Bridoux Florian (I3S)
- Chalopin Jérémie (LIS)
- Defrain Oscar (LIS)
- Gamard Guilhem (LORIA)
- Goubault–Larrecq Aliénor (LIS)
- Guillon Pierre (I2M)
- Lutfalla Victor (I2M)
- Monmege Benjamin (LIS)
- Ohlmann Pierre (LIS)
- Perrot Kévin (LIS)
- Porreca Antonio E. (LIS)
- Riva Sara (CRIStAL)
- Rolland Marius (LIS)
- Sené Sylvain (LIS)
- Tapin Léah (LIS)
- Theyssier Guillaume (I2M)