Journées Jean-Yves Girard
Conférence en l'honneur de son 60e anniversaire
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
- Éditeurs : Thomas Ehrhard, Claudia Faggian, Olivier Laurent.
- Titre & résumé : 30 sept.
- En savoir plus.
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: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 |