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 |
