Exposés sur les méthodes et langages pour le développement de logiciels fiables (fr)

Le but de cette session d’exposés (réalisée dans le cadre du trimestre thématique “Sémantique des preuves et mathématiques certifiées) est de donner l’opportunité aux étudiants et aux chercheurs de découvrir les développements récents dans ce domaine, au sein d’un contexte industriel. Les exposés seront en français.