Meetings

Annual meeting: 14 November 2025

Room Emmy Noether (Building: A, Floor: 0, Room: A002)
Centre Inria Paris, 48 Rue Barrault, 75013 Paris

9:00	Welcome/Coffee (cafeteria 3rd floor)
9:30	Introduction	G. Baudart, M. Acher
9:45	Software migration and modernisation	J‑B. Espinasse (SOPRA STERIA + DIVERSE)
10:05	Code completion for large projects and small languages	O. Abedelkader (EVREF + LABRI)
10:25	Babel: Translation from one proof system to another	T. Stoskopf (CASH + GALLINETTE)
10:45	Software Engineering Agents for Embodied Controller Generation in Minigrid Environments	T. Boulet (FLOWERS + MNEMOSYNE)
11:05	Code Customization with Visual Results	C. Reux (DIVERSE + SPIRALS)
11:25	Self‑improving language models for evolutionary program synthesis	J. Pourcel (FLOWERS)
11:45	Crrrocq: Chain of thoughts Retrieval assisted Recursive generation for ROCQ	J. Viennot (PICUBE + ARGO)
12:05	Lunch
14:00	LLM‑based Co‑Evolution of Configurable Software Systems	N. Zine (SPIRALS)
14:20	When Faster Isn’t Greener: The Hidden Costs of LLM‑Based Code Optimization	T. Coignion (SPIRALS)
14:40	Discovering new mathematics with autotelic generative AI agents	P. Tabbara (FLOWERS)
15:00	Use cases for training / fine‑tuning, benchmarking, evaluation…	T. Aynaud,  B.Chauvet (Software Heritage)
15:30	Break
15:45	LLM4Code Improvements: computational needs, collaborations, reading group, website & dissemination
16:15	LLM4Code General discussions

Kick-off meeting: 5 July 2024

Amphi Turing of Université Paris-Cité
Bat. Sophie Germain, Pl. Aurélie Nemours, 75013 Paris

09:30	Welcome / Coffee
10:00	Introduction	J-F. Gerbeau
10:30	Software migration and modernization	N. Anquetil, M. Acher
11:00	Generation of software variants	C. Quinton
11:30	Translation from one proof system to another	C. Cohen
12:00	Lunch
14:00	Self-improving coding skills with autotelic learning (focus ACES)	P-Y. Oudeyer, J. Pourcel
14:30	Controller synthesis for artificial agents in simulated environments	N. Fijalkow
15:00	Software Heritage and open models	R. Di Cosmo
15:30	Coffee
16:00	A proof assistant assistant	M. Lelarge
16:30	Code completion for large projects and small languages	R. Robbes
17:00	Continuous code co-evolution for mainstream languages and libraries	D. Khelladi
17:30	Discussions