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