[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are glad to announce the workshop
"logic, categories, semantics"
to be held in Bordeaux on November 12-13
http://www.labri.fr/perso/retore/LCS/index.html
Speakers:
Michele Abrusci (Università di Roma tre)
Nicholas Asher (CNRS, IRIT, Toulouse)
Pierre Cartier (IHES, Orsay)
Dion Coumans / Mai Gehrke (Radbout Universiteit Nijmegen)
Jean-Yves Girard (CNRS, IML, Marseille)
François Lamarche (INRIA, LORIA, Nancy)
Paul-André Melliès (CNRS, PPS, Paris)
Michael Moortgat (Universiteit Utrecht)
Carl Pollard (Ohio State University, Columbus)
Anne Preller (LIRMM, Université de Montpellier)
Thomas Streicher (Technische Universität Darmstadt)
Steve Vickers (University of Birmingham)
Topic of the workshop
The relationship between logic and category theory goes back to the seventies,
with the important connection between intuitionistic logic, sheaves and topoi
(1) but it extended into other directions, in particular the proof as morphisms
semantics (2), and we also include the study of proof normalisation (3).
Ideally, the workshop will consider the three levels of foundations , according
to the terminology of Jean-Yves Girard, as well as their mutual relationships.
These structures provide models of computation but also models of meaning
organisation des lexemes, phrases, sentences, discourses and dialogues: we do
not exclude the first application, but we shall privilege the linguistic
application which is quite new, although Joachim Lambek suggested to do so more
than twenty years ago.
--
Jean Gillibert, Christian Retoré
http://www.labri.fr/perso/retore/LCS/index.html
