[TYPES/announce] Jean-Yves Girard's Festschrift

[Thomas Ehrhard]

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.

More details at:  http://www.pps.jussieu.fr/~laurent/girard60/


The guest editors,
Thomas  Ehrhard  (thomas.ehrhard at pps.jussieu.fr)
Claudia Faggian (claudia.faggian at pps.jussieu.fr)
Olivier Laurent (olivier.laurent at pps.jussieu.fr)