1 - Software Heritage: 10 years of archiving, sharing, and studying source code at the ultimate scale
2 - Promenade sémiologique sur cinq millénaires
3 - Vérification de code par analyse statique sûre
4 - Programmer dans d'”autres” langues
5 - L’hypothèse de l’évolution naturelle des langages de programmation