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.
|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|