Ecole: Logique et Semantique du Langage Naturel

[Thierry Hamon]

Date: Wed, 14 Dec 2005 11:15:16 +0100
From: Christian RETORE <retore at labri.fr>
Message-Id: <AC3E69D5-089E-4ED7-A8E4-A56A3AF091EF at labri.fr>
X-url: http://semantique.free.fr/jsm06/
X-url: http://www.cnrs.fr/SHS/actions/RTP_langage.php
X-url: http://www.labri.fr/~retore/

Bonjour,

Dans le cadre
- du GDR "SEMANTIQUE ET MODELISATION"
     (http://semantique.free.fr/jsm06/, reps. Francis Corblin)
- et du RTP "LANGAGE NATUREL, LOGIQUE ET PHILOSOPHIE DU LANGAGE"
     (http://www.cnrs.fr/SHS/actions/RTP_langage.php, resp. Philip  
     Miller)
nous envisageons d'organiser à Bordeaux les 27-28-29 mars 2006 juste
avant les journées du GDR "sémantique et modélisation" une école
"LOGIQUE ET SEMANTIQUE DU LANGAGE NATUREL" destinée principalement aux
étudiants de master et de doctorat, de linguistique, d'informatique et
de mathématiques (ainsi qu'aux collègues intéressés).

Cette école aura pour mission d'assurer une formation élémentaire sur
les modèles logiques utilisés en sémantique formelle, formation qui
soit accessible sans prérequis, en particulier aux étudiants de
linguistique.

Un programme est en cours d'élaboration, qui s'appuiera sur des
exemples et des exercices linguistiquement motivés. Il inclura sans
doute une présentation élémentaire de la sémantique de Montague, de la
Discourse Représentation Theory, du Lexique Génératif,.. Les
ingrédients mathématiques, comme la logique du premier ordre, le
lambda calcul typé, les quantificateurs généralisés, la logique
intensionnelle et modale, les modèles à la Kripke, etc.  seront
définis, manipulés et illustrés sur des exemples linguistiques.

Si vous souhaitez suivre une telle école, merci d'envoyer un mail vide
à: jsm06 at labri.fr avec pour sujet votre statut (master, doctorant,
collègue, autre)
-- vous pouvez éventuellement mettre votre nom dans le corps du
message.En effet, nous vous proposons de vous identifier d'abord comme
intéressé et nous verrons ensuite ensemble les possibilités de
financement et autres questions d'ordre matériel qui ne manqueront
certainement pas de se poser.


Comité de pilotage :
------------------------
Claire Beyssade (PARIS, Institut Nicod),
Myriam Bras (TOULOUSE, ERSS),
Laurence Danlos (PARIS, LATTICE),
Patrick Enjalbert (CAEN, GREYC),
Jacques Jayez (LYON, ENS-LSH),
Evelyne Jacquey (NANCY, ATILF),
Alain Lecomte (GRENOBLE, CLIPS-IMAG),
Philip Miller (LILLE, SILEX),
Guy Perrier (NANCY, LORIA),
Christian Retoré (BORDEAUX, LABRI & INRIA-Futurs),
Paul Sabatier (MARSEILLE, LIF),
Patrick Saint-Dizier (TOULOUSE, IRIT)

--
Christian Retoré
http://www.labri.fr/~retore/


-------------------------------------------------------------------------
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://listserv.linguistlist.org/archives/ln.html

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  : http://www.atala.org/
-------------------------------------------------------------------------