{"id":72,"date":"2024-10-08T13:50:12","date_gmt":"2024-10-08T11:50:12","guid":{"rendered":"https:\/\/project.inria.fr\/llm4code\/?page_id=72"},"modified":"2025-11-17T09:07:49","modified_gmt":"2025-11-17T08:07:49","slug":"meetings","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/llm4code\/meetings\/","title":{"rendered":"Meetings"},"content":{"rendered":"\n

Annual meeting: 14 November 2025<\/h2>\n\n\n\n

Room Emmy Noether (Building: A, Floor: 0, Room: A002)
Centre Inria Paris, 48 Rue Barrault, 75013 Paris<\/p>\n\n\n\n

9:00<\/td>Welcome\/Coffee (cafeteria 3rd floor)<\/td><\/td><\/tr>
9:30<\/td>Introduction<\/td>G. Baudart, M. Acher<\/td><\/tr>
9:45<\/td>Software\u202fmigration\u202fand\u202fmodernisation<\/a><\/td>J\u2011B.\u202fEspinasse\u202f(SOPRA\u202fSTERIA +\u202fDIVERSE)<\/td><\/tr>
10:05<\/td>Code\u202fcompletion\u202ffor\u202flarge\u202fprojects\u202fand\u202fsmall\u202flanguages<\/a><\/td>O. Abedelkader\u202f(EVREF\u202f+\u202fLABRI)<\/td><\/tr>
10:25<\/td>Babel:\u202fTranslation\u202ffrom\u202fone\u202fproof\u202fsystem\u202fto\u202fanother<\/a><\/td>T. Stoskopf (CASH + GALLINETTE)<\/td><\/tr>
10:45<\/td>Software\u202fEngineering\u202fAgents\u202ffor\u202fEmbodied\u202fController\u202fGeneration\u202fin\u202fMinigrid\u202fEnvironments<\/a><\/td>T. Boulet\u202f(FLOWERS\u202f+\u202fMNEMOSYNE)<\/td><\/tr>
11:05 <\/td>Code\u202fCustomization\u202fwith\u202fVisual\u202fResults<\/a><\/td>C. Reux (DIVERSE\u202f+\u202fSPIRALS)<\/td><\/tr>
11:25<\/td>Self\u2011improving\u202flanguage\u202fmodels\u202ffor\u202fevolutionary\u202fprogram\u202fsynthesis<\/a><\/td>J. Pourcel\u202f(FLOWERS)<\/td><\/tr>
11:45<\/td>Crrrocq: Chain of thoughts Retrieval assisted Recursive generation for ROCQ<\/a><\/td>J. Viennot\u202f(PICUBE\u202f+\u202fARGO)<\/td><\/tr>
12:05<\/td>Lunch<\/td><\/td><\/tr>
14:00<\/td>LLM\u2011based\u202fCo\u2011Evolution\u202fof\u202fConfigurable\u202fSoftware\u202fSystems<\/a><\/td>N. Zine\u202f(SPIRALS)<\/td><\/tr>
14:20<\/td>When\u202fFaster\u202fIsn\u2019t\u202fGreener:\u202fThe\u202fHidden\u202fCosts\u202fof\u202fLLM\u2011Based\u202fCode\u202fOptimization<\/a><\/td>T. Coignion\u202f(SPIRALS)<\/td><\/tr>
14:40<\/td>Discovering\u202fnew\u202fmathematics\u202fwith\u202fautotelic\u202fgenerative\u202fAI\u202fagents<\/a><\/td>P. Tabbara\u202f(FLOWERS)<\/td><\/tr>
15:00<\/td>Use\u202fcases\u202ffor\u202ftraining\u202f\/\u202ffine\u2011tuning,\u202fbenchmarking,\u202fevaluation\u2026<\/a><\/td>T. Aynaud, \u202fB.Chauvet (Software Heritage)<\/td><\/tr>
15:30<\/td>Break<\/td><\/td><\/tr>
15:45<\/td>LLM4Code Improvements: computational\u202fneeds,\u202fcollaborations,\u202freading\u202fgroup,\u202fwebsite\u202f&\u202fdissemination<\/em><\/td><\/td><\/tr>
16:15<\/td>LLM4Code General discussions<\/td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Kick-off meeting: 5 July 2024<\/h2>\n\n\n\n

Amphi Turing of Universit\u00e9 Paris-Cit\u00e9
Bat. Sophie Germain, Pl. Aur\u00e9lie Nemours, 75013 Paris<\/p>\n\n\n\n

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

<\/p>\n","protected":false},"excerpt":{"rendered":"

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\u202fmigration\u202fand\u202fmodernisation J\u2011B.\u202fEspinasse\u202f(SOPRA\u202fSTERIA +\u202fDIVERSE) 10:05 Code\u202fcompletion\u202ffor\u202flarge\u202fprojects\u202fand\u202fsmall\u202flanguages O. Abedelkader\u202f(EVREF\u202f+\u202fLABRI) 10:25 Babel:\u202fTranslation\u202ffrom\u202fone\u202fproof\u202fsystem\u202fto\u202fanother T. Stoskopf (CASH + GALLINETTE) 10:45 Software\u202fEngineering\u202fAgents\u202ffor\u202fEmbodied\u202fController\u202fGeneration\u202fin\u202fMinigrid\u202fEnvironments T.\u2026<\/p>\n

Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":2510,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-72","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/pages\/72","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/users\/2510"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/comments?post=72"}],"version-history":[{"count":13,"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/pages\/72\/revisions"}],"predecessor-version":[{"id":135,"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/pages\/72\/revisions\/135"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/llm4code\/wp-json\/wp\/v2\/media?parent=72"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}