COMPANION MEETING IN PARIS

Journées Jean-Yves Girard
Conference in honour of his 60th birthday

Institut Henri Poincaré, Paris, September 10 and 11, 2007

Organizing committee: Michele Abrusci (Roma III) Pierre-Louis Curien (CNRS - Paris 7, chair), Martin Hyland (Cambridge), Giuseppe Longo (ENS, Paris), Mitsu Okada (Keio U., Tokyo), Phil Scott (Univ. of Ottawa), Jacqueline Vauzeilles (Paris 13, co-chair)

http://www-lipn.univ-paris13.fr/jyg60

Through our choice of invited speakers, we hope to illustrate the wide range of scientific interests of Jean-Yves Girard over thirty-five years, from the complexity of proofs to quantum mechanics, from system F to the geometry of computation, from denotational semantics to Von Neumann algebras.