Damiano Mazza (UMR 7030, Université Paris-Nord - CNRS, Institut Galilée, Informatique théorique) : Démonstrations et programmes : une approche géométrique.
Née au cours de la deuxième moitié du XIXème siècle, la théorie de la démonstration moderne a été développée considérablement au début du siècle passé ; c'est en effet pendant cette période que, sous l'impulsion du programme de Hilbert, elle a pris plus ou moins la forme sous laquelle elle se présente aujourd'hui. Ce domaine a ensuite connu plusieurs tournant que nous considérons fondamentaux, comme la découverte de la correspondance de Curry-Howard (fin années 60) et l'introduction de la logique linéaire par Girard (deuxième moitié des années 80). La première établit un lien surprenant entre démonstrations logiques et programmes informatiques ; la deuxième fournit, à travers des outils sémantiques (théorie des catégories, géométrie de l'interaction) et syntaxiques (réseaux de preuve, jeux), la possibilité de donner aux démonstrations (et aux programmes) un contenu de plus en plus géométrique. Nous allons faire un tour d'horizon des développements plus récents dans cette direction de recherche, ainsi que de ses perspectives futures.
-----Mathématiques en mouvement 2010
Mardi 1er juin 2010 à l’Ecole Normale Supérieure.
Comme l'année dernière, la Fondation organise Mathématiques en mouvement, une journée de conférences ouverte à tous : étudiants, chercheurs ou grand public, et destinée à illustrer la formidable diversité de la recherche mathématique à travers des exposés dispensés par de jeunes chercheurs issus de domaines variés, allant de l'analyse à l'informatique théorique en passant par les probabilités.
Mathématiques en mouvement s'adresse tout particulièrement aux élèves de master et de mathématiques spéciales.
Cette année, cette journée est organisée avec le soutien de la CASDEB