question: école de sémantique formelle

[christian_retore]

Bonjour,

En prélude aux les journées du GDR "SEMANTIQUE ET MODELISATION" 
(http://semantique.free.fr/jsm06/),
nous envisageons d'organiser  à Bordeaux les 27-28-29 mars 2006
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/








Pour se desinscire, envoyer un mel à parislinguists-unsubscribe at yahoogroups.com
Pour s'inscrire, envoyer un mel à parislinguists-subscribe at yahoogroups.com 
Liens Yahoo! Groupes

<*> Pour consulter votre groupe en ligne, accédez à :
    http://fr.groups.yahoo.com/group/parislinguists/

<*> Pour vous désincrire de ce groupe, envoyez un mail à :
    parislinguists-desabonnement at yahoogroupes.fr

<*> L'utilisation de Yahoo! Groupes est soumise à l'acceptation des :
    http://fr.docs.yahoo.com/info/utos.html