Portes ouvertesJeudi 8 septembre 202214h15 Salle 1Z61

  • 14h15 Présentation des exposés
  • 14h20 Jacques-Henri Jourdan : Comment écrire des programmes corrects ?
  • 14h40 Amélie Ledein : CoqK : Une boisson qui mélange preuve et sémantique
  • 15h00 Guillaume Melquiond : Preuves formelles et calculs numériques
  • 15h20 Pause + discussion
  • 15h40 Caroline Fontaine : Sécurité et Respect de la vie privée
  • 16h05 Thomas Chevet : Calculating with bacteria
  • 16h20 Benedikt B, Matthias F, Thomas N : Design Automation for Synthetic Biology
  • 16h35 Pause + discussion
  • 16h50 Antonin Callard : Pavages : faire du calcul sans le savoir
  • 17h15 Serge Haddad : Jeux sur un graphe
  • 17h40 Fin + discussion