| Simon Boulier et Alan Schmitt | Formalisation de HOCore en Coq |
| Pierre Boutillier | Ad hoc reductions make structural guard condition stricter and smarter |
| Cyril Cohen | Construction des nombres algébriques réels en Coq |
| Christophe Deleuze | Concurrence et continuations en OCaml |
| Jean-François Durfourd | Dérivation de l'algorithme de Schorr-Waite en Coq par une méthode algébrique |
| Fabrice Le Fessant et Thomas Gazagnaire | Gestion de projet avec ocp-build |
| Mathieu Jaume et Renaud Rioboo | Développement de systèmes sécurisés avec l'atelier FoCaLiZe |
| Catherine Lelay et Guillaume Melquiond | Différentiabilité et intégrabilité en Coq. Application à la formule de d'Alembert |
| Daniel De Rauglaudre | Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes |
| Bernard Serpette et Emmanuel Chailloux | Séparation des couleurs dans un lambda-calcul bichrome |