Cours de Gérard Berry : « Où va l’informatique ? » et séminaire du LABRI
13 décembre 2018 @ 8 h 00 min - 18 h 30 min
Gérard Berry, titulaire de la Chaire « Algorithmes, Machines et langages » du Collège de France, donnera son premier cours de l’année 2018-2019
intitulé « Où va l’informatique ?«
à Bordeaux, sur le campus universitaire de Talence, le jeudi 13 décembre à 16h.
Séminaire suivant le cours : « Coq : aspects pratiques de la théorie des types »
Par Yves Bertot – Inria Sophia-Antipolis et Pierre Castéran – Labri, Laboratoire Bordelais de Recherche en Informatique
Plus d’info en ligne.
