Jean-Yves Girard's Festschrift

In honour of Jean-Yves Girard on the occasion of his 60th birthday year, a Festschrift will be published as a special issue of Theoretical Computer Science, where the "Linear Logic" paper was published twenty years ago.

The Festschrift follows the two events organized in Siena and in Paris this year.

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

Call for papers

Important dates

Title and short abstract submission: 20 October 2007
Deadline for submissions: 31 December 2007
First referee reports: 15 May 2008
Notification: 30 June 2008
Final version: 30 September 2008

Guest editors