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