Colloquium in Bordeaux Nov 12-13 Logic, Categories, Semantics.

Colloquium in Bordeaux Nov 12-13 Logic, Categories, Semantics.

[lamarche]

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/ ]