Conf: Colloque Logique, Categories, sEmantique, Bordeaux, 12-13 nov. 2010

[Thierry Hamon]

Date: Thu, 23 Sep 2010 15:56:31 +0200
From: retore <christian.retore at labri.fr>
Message-Id: <1F2C3376-26A0-4F49-A26B-E7C4D1C82D54 at labri.fr>
X-url: http://www.labri.fr/perso/retore/LCS/index.html

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.

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------