Cours de Gérard Berry : « Où va l’informatique ? » et séminaire du LABRI
Agora du Haut-Carré 43 rue Pierre Noailles, TalenceGé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…