Fellow categorists, Christian Retoré asked me to forward the following announcement to the categories list. François Lamarche *************************** LOGIQUE, CATEGORIES, SEMANTIQUE / LOGIC, CATEGORIES, SEMANTICS international colloquium organised by Jean Gillibert & Christian Retoré (IMB, INRIA, LABRI) under the auspices of the French Mathematical Society (SMF) http://www.labri.fr/perso/retore/LCS/index.html 12 AND 13 NOVEMBRE 2010 Salle de conférences Institut de Mathématiques de Bordeaux Bât. A33 Université Bordeaux 1, 351 cours de la Libération 33405 Talence, PROGRAMME VENDREDI 12 NOVEMBRE 08:45 - 08:55 Présentation (Jean Gillibert, Christian Retoré) 09:00 - 09:40 Pierre Cartier (IHES, Orsay) 09:45 - 10:25 Jean-Yves Girard (CNRS, IML, Marseille) Interdire ou réfuter ? Le statut ambigu de la normativité Break. 11:00 - 11:40 Nicholas Asher (CNRS, IRIT, Toulouse) A web of words 11:45 - 12:25 Steve Vickers (University of Birmingham) Aspects of geometric logic Lunch. 14:00-14:40 Thomas Streicher (Technische Universität Darmstadt) Types as Kan complexes 14:45 - 15:25 François Lamarche (INRIA, LORIA, Nancy) The intensional equality predicate in Martin-Löf type theory and the path functor in topology Visit of the Chateau Couhins. Diner at La belle époque. SAMEDI 13 NOVEMBRE 09:00 - 09:40 Carl Pollard (Ohio State University, Columbus) Remarks on categorical semantics of natural language 09:45 - 10:25 Anne Preller (LIRMM, Université de Montpellier) Pregroup Semantics in compact closed monoidal categories and in two-sorted first order logic Break 11:00 - 11:40 Paul-André Melliès (CNRS, PPS, Paris) Logical proofs understood as topological knots 11:45 - 12:25 Dion Coumans / Mai Gehrke (Radbout Universiteit Nijmegen) Semantics and Duality Lunch 14:00 - 14:40 Michael Moortgat (Universiteit Utrecht) 14:45- 15:25 Michele Abrusci (Università di Roma tre) Ontologies, by means of coherent spaces / Des espaces de cohérence aux ontologies 15:30 - 16:15 Everyone Discussion, in particular on the interdisciplinary perspectives Drink. 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. http://www.labri.fr/perso/retore/LCS/index.html [For admin and other information see: http://www.mta.ca/~cat-dist/ ]