Le programme s’axe autour des thématiques retenues pour l’EJCP 2026 (par le GDR Sciences du Logiciel et la responsable de l’EJCP). Les thématiques et les intervenant·es sont
| Thématiques | Intervenant.es |
| Génie Logiciel & LLMs | M. Tisi, Théo Le Calvar |
| Assistant de preuve [résumé] | A. Mahboubi, N. Tabareau |
| Vérification de protocoles cryptographiques | J. Lallemand, A. Koutsos |
| Langages et Compilation | G. Polito |
| Numérique durable et impact environnemental [résumé] | A.-L. Ligozat |
| Conférence invitée : Évolution des planètes par observation, expérimentation et modélisation | C. Sotin, Nantes Université, Planetologie et Géosciences, C. Sotin at JPL Science |
Divers événements agrémenteront vos journées à Nantes !
Le programme peut être modifié ultérieurement. Consultez cette page régulièrement pour avoir la version à jour.
Résumés
Assistants de preuve
La formation débutera par une introduction aux assistants à la preuve basés sur la théorie des types (essentiellement Agda, Lean et Rocq).
Nous aborderons ensuite une approche pour la certification du code, un assistant à la preuve qui se certifie lui-même, et les limites du théorème d’incomplétude de Gödel.
Un atelier est prévu : Prise en main de Rocq au travers de Softwares Foundations (https://softwarefoundations.cis.upenn.edu/).
Nous terminerons la formation sur le thème : les assistants à la preuve à l’épreuve de l’IA générative. Nouvelles opportunités et nouveaux dangers.
Numérique durable et impact environnemental
Les impacts environnementaux du numérique posent question, dans un contexte environnemental nécessitant des changements massifs et urgents. Dans ma présentation, je présenterai ces impacts environnementaux, impacts liés au cycle de vie des équipements, ainsi que leurs évolutions, et impacts du numérique sur d’autres secteurs. Nous discuterons de l’influence que ces observations pourraient avoir sur la recherche en informatique.