Home » Évènement » Cours de Gérard Berry : « Où va l’informatique ? » et séminaire du LABRI
Loading Events
  • This event has passed.

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.

Détails

Date :
13 décembre 2018
Heure :
8 h 00 min - 18 h 30 min
Organisateur
Inria

Catégories d’Évènement:
,

Lieu

Agora du Haut-Carré
43 rue Pierre Noailles
Talence, 33405 France
+ Google Map
Copyright : LS2N 2017 - Mentions Légales - 
 -