La semaine digitale Bordeaux
Menu burger
La semaine digitale Bordeaux

Agenda

Cours de Gérard Berry & séminaire

Jeudi 13 décembre 2018, 16h00

Horaires

Jeudi 13 décembre de 16h00 à 18h30
Cours de Gérard Berry & séminaire
"Où va l'informatique ?" et "Coq : aspect pratique de la théorie des types"

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.

Cours de Gérard Berry

Où va l'informatique ?

En théorie, la théorie et la pratique c'est pareil, en pratique c'est pas vrai

16h-17h30 à l'Agora du Haut-Carré

Séminaire suivant le cours

Coq : aspects pratiques de la théorie des types

Yves Bertot - Inria Sophia-Antipolis et Pierre Castéran - Labri, Laboratoire Bordelais de Recherche en Informatique

17h30-18h30 à l'Agora du Haut-Carré

Informations pratiques

Les cours et séminaires sont gratuits, en accès libre, inscription souhaitéeRetrouvez toutes les informations sur le site du collège de France