Jeudi 13 décembre, la communauté "Sciences du numérique" bordelaise aura le plaisir d'accueillir Gérard Berry. Titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, Gérard donnera à 16h au Haut Carré son premier cours de l'année 2018-2019 sur le thème "Où va l'informatique ?".

Ce cours sera suivi d'un exposé de Yves Bertot (DR Inria, de Sophia) et Pierre Castéran (PR à l'Université de Bordeaux, membre du LaBRI) sur le logiciel de preuve Coq, qui a reçu le ACM Software System Award en 2013. 

Un cocktail en salle Badiane clôturera l'événement.

Pour en savoir plus sur les deux interventions, consultez

La participation est libre et gratuite sur inscription, via un formulaire accessible depuis la page web ci-dessus.