français

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

September 10, 11 and 12, 2007
Henri Poincaré Institute, Paris

Presentation

The journées Jean-Yves Girard are one of the two events which celebrate Jean-Yves Girard's deep achievements in Mathematics and in Computer Science, and the pervasive influence of his ideas in those disciplines and beyond.

They will take place immediately after Jean-Yves Girard's birthday and they follow the companion workshop of Siena (may 17-20 2007, pictures here).

The choice of invited speakers illustrates 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.

Festschrift

Following the two events organized in Siena and in Paris, a Festschrift will be published as a special issue of Theoretical Computer Science, where the "Linear Logic" paper was published twenty years ago.

Submissions for this special issue are welcome from all the participants to the workshops as well as from other contributors.

Schedule

Monday, September 10
10:00-10:30Welcome
10:30-11:45Herman Ruge Jervell, Π12-logic, β-completeness and the treatment of ordinals
11:45-14:00Lunch
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:00Break
17:00-18:15Patrick Dehornoy, Unprovability results involving braids
18:30Buffet
Tuesday, September 11
9:30-10:45Olivier Laurent, Is not not A equal to A?
10:45-11:15Coffe Break
11:15-12:30Ieke Moerdijk, Trees, tensors and weak higher categories
12:30-14:30Lunch
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:30Break
17:30-18:45Peter Selinger, Linear Logic in quantum computation
Wednesday, September 12
9:30-10:45Glynn Winskel, What is a process?
10:45-11:15Coffe Break
11:15-12:30Thomas Ehrhard, Differential Linear Logic and the Pi-Calculus
12:30-13:00Ending
 

Valid XHTML 1.0 Strict