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