"logique, cat égories, sémantique" Bordeaux 12-13 nov. 2010.

[Christian]

Nous avons le plaisir de vous annoncer la tenue du colloque
"logique, catégories, sémantique" 
qui se tiendra à Bordeaux les 12 et 13 novembre 2010.
L'inscription est gratuite et se fait sur le site. 
http://www.labri.fr/perso/retore/LCS/index.html

Orateurs:

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)

Sujet: 

Le lien entre logique et théorie des catégories a une quarantaine d'années, avec l'importante connexion entre logique intuitionniste, faisceaux et topos (1) mais il s'est étendu en diverses directions, 
notamment la sémantique des démonstrations formelles comme morphismes (2) et nous y incluons aussi l'étude du processus de normalisation des démonstrations (3). Idéalement, ces journées porteront, pour reprendre la terminologie introduite par Jean-Yves Girard, sur les trois niveaux de fondements et sur leurs relations mutuelles. 

Ces structures permettent de modéliser le calcul en informatique mais aussi l'organisation du sens des lexèmes, syntagmes, phrases, discours et dialogues: nous n'excluons pas la première application 
mais nous nous privilégierons l'application linguistique, plus novatrice, même si Joachim Lambek fit des suggestions en ce sens il y a plus de vingt ans. 
--
Jean Gillibert et Christian Retoré
http://www.labri.fr/perso/retore/LCS/index.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.linguistlist.org/pipermail/parislinguists/attachments/20100923/7f1c85fa/attachment.htm>