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

Thomas Ehrhard thomas.ehrhard at pps.jussieu.fr
Mon Jun 18 17:16:47 EDT 2007


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)



More information about the Types-announce mailing list