LL Workshop in Utrecht

LL Workshop in Utrecht

[categories]

Date: Tue, 28 Oct 1997 12:01:30 +0100
From: Workshop Problems Advances in the Semantics of Linear Logic <pasll@math.ruu.nl>



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