----------------------------------------------------------------------

    Festschrift TCS Special Issue dedicated to Jean-Yves Girard

----------------------------------------------------------------------

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
(http://www.unisi.it/eventi/LOGIC/) and in Paris
(http://www-lipn.univ-paris13.fr/jyg60/) this year.

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


SCOPE
=====

We invite submissions on topics related with Jean-Yves Girard's
achievements from Mathematics to Computer Science via Logic.

The wide range of contributions of Jean-Yves Girard to those
disciplines goes from the complexity of proofs to quantum mechanics,
from system F to the geometry of computation, from denotational
semantics to Von Neumann algebras.

Suggested, but not exclusive, topics of interest for submissions
include:

  * System F
  * Pi 1,2 logic, ordinals, dilators

  * Denotational semantics, coherent semantics, full completeness
  * Linear logic, phase semantics, proof-nets, geometry of interaction
  * Intuitionistic logic, classical logic, unified logic

  * Implicit complexity theory
  * Ludics, game semantics
  * Operator algebras, quantum programming

Submitted papers should stay within the scope of the Theoretical
Computer Science journal.


SUBMISSION
==========

The results must be unpublished and not submitted for publication
elsewhere. Submissions will be refereed according to the usual high
standards of TCS.

Submissions exceeding 30 pages will require a specific justification
and the agreement of the editors.

Further information and instructions about submission will be
available at http://www.pps.jussieu.fr/~laurent/girard60/


PLANNED SCHEDULE
================

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

Thomas  Ehrhard  (thomas.ehrhard@pps.jussieu.fr)
Claudia Faggian (claudia.faggian@pps.jussieu.fr)
Olivier Laurent (olivier.laurent@pps.jussieu.fr)