English

Journées Jean-Yves Girard
Conférence en l'honneur de son 60e anniversaire

10, 11 et 12 septembre 2007
Institut Henri Poincaré, Paris

Présentation

Ce colloque est un des deux événements célébrant les travaux en profondeur de Jean-Yves Girard en mathématiques et informatique et la très large influence de ses idées dans ces deux disciplines et au-delà.

Il se tiendra juste après l'anniversaire de Jean-Yves Girard et fait suite au workshop de Sienne (17-20 mai 2007, photos).

Le choix des conférenciers invités illustre la grande variété des intérêts scientifiques de Jean-Yves Girard dans les trente-cinq dernières années, allant de la complexité des preuves à la mécanique quantique, du système F à la géométrie de l'interaction, de la sémantique dénotationnelle aux algèbres de Von Neumann.

Festschrift

Suite aux deux événements organisés à Sienne et à Paris, un numéro spécial de Theoretical Computer Science (dans lequel l'article « Linear Logic » a été publié il y a vingt ans) est prévu.

Les soumissions pour ce numéro spécial sont ouvertes aussi bien aux participants des deux colloques qu'à tout autre contributeur.

Programme

Lundi 10 septembre
10:00-10:30Accueil
10:30-11:45Herman Ruge Jervell, Π12-logic, β-completeness and the treatment of ordinals
11:45-14:00Repas
14:00-15:15Gérard Huet, Informatics in search of rigorous design principles
15:15-16:30Yves Lafont, Homotopy of computation: The Minneapolis Program
16:30-17:00Pause
17:00-18:15Patrick Dehornoy, Unprovability results involving braids
18:30Buffet
Mardi 11 septembre
9:30-10:45Olivier Laurent, Is not not A equal to A?
10:45-11:15Pause café
11:15-12:30Ieke Moerdijk, Trees, tensors and weak higher categories
12:30-14:30Repas
14:30-15:45Bernard Teissier, Cognition and Foundations
15:45-17:00Thierry Paul, From quantum to classical by letting the dimension diverge
17:00-17:30Pause
17:30-18:45Peter Selinger, Linear Logic in quantum computation
Mercredi 12 septembre
9:30-10:45Glynn Winskel, What is a process?
10:45-11:15Pause café
11:15-12:30Thomas Ehrhard, Differential Linear Logic and the Pi-Calculus
12:30-13:00Clôture
 

Valid XHTML 1.0 Strict