Seminaire: Alpage, Philippe de Groote, 10 decembre 2010

[Thierry Hamon]

Date: Tue, 7 Dec 2010 21:16:15 +0100
From: "Benoit Crabbé" <benoit.crabbe at gmail.com>
Message-Id: <F1371EE2-9919-4AAF-ACEE-C249BC36964C at linguist.jussieu.fr>
X-url: http://www.linguist.univ-paris-diderot.fr/~jthuilier/sem/seminaire.html


*************** Séminaire Alpage *******************

   Séminaire de l'école doctorale de Paris 7

Il s'agit du séminaire de recherche en linguistique informatique
organisé par l'équipe Alpage, Alpage est une équipe mixte Inria --
Paris 7 qui centre ses intérêts scientifiques autour de l'analyse
syntaxique automatique et du traitement du discours pour la langue
française.

Le séminaire se tiendra vendredi 10 décembre à 11.00 en salle 4C92 175
rue du Chevaleret 75013 Paris. (4e étage)

Toute personne intéressée est la bienvenue.

***********************************************************


Philippe de Groote (Loria, Nancy)

nous parlera de :

A type-theoretic dynamic logic

Résumé:

We provide Montague semantics with a notion of context that allows
discourse dynamics to be tackled.
The resulting framework subsumes Discourse Representation Theory
without appealing to any ad hoc definition.
It is based on Church's simply typed lambda-calculus, and the notions
of free and bound variables are as usual.
We then define the underlying dynamic logic and show how a Montagovian
lexicon can be "dynamized" in a systematic way.

-------------------------------
Site web du séminaire:
http://www.linguist.univ-paris-diderot.fr/~jthuilier/sem/seminaire.html

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