[Prev][Next][Index][Thread]
LL Workshop in Utrecht
-
To: linear@cs.Stanford.EDU
-
Subject: LL Workshop in Utrecht
-
From: Workshop Problems Advances in the Semantics of Linear Logic <pasll@math.ruu.nl>
-
Date: Wed, 29 Oct 1997 15:17:48 -0800
-
Delivery-Date: Wed, 29 Oct 1997 18:21:53 -0500
**************************************************************
* *
* WORKSHOP *
* PROBLEMS AND ADVANCES IN THE SEMANTICS OF *
* LINEAR LOGIC *
* *
**************************************************************
* Utrecht, 28 and 29 november 1997 *
**************************************************************
On friday 28 and saturday 29 november there will be a workshop,
hosted by the Mathematical Institute of Utrecht University,
dedicated to recent work and work in progress in the semantics
of linear logic: games, coherent and hyper coherent spaces,
Chu spaces, phase semantics, bi-completion of categories, models
for light linear logic et cetera.
The meeting will take place in the center of the town of Utrecht.
There will be a number of talks by invited speakers, including
Jean Yves Girard, Samson Abramsky and Vaughan Pratt.
We welcome your participation, as well as proposals for
communications on work related to the subject of the workshop.
For all information, please contact the organizers at:
pasll@math.ruu.nl
You can also look at URL: http://www.math.ruu.nl/pasll/
Vincent Danos Harold Schellinx
Equipe de Logique Mathematique Mathematisch Instituut
Universite Paris VII Universiteit Utrecht