Coup d'envoi

11-12 Mars 2025
Marseille > CIRM Salle S2 (dans la bibliothèque).

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 (diapo)(open)
11h30	Pierre Guillon : théorèmes à la Rice dans les AC / calculabilité (diapo)
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 (diapo)
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)) (diapo)
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é

ALARICE