Seminaire: seminaire Alpage (Ph de Groote), vendredi 15 octobre

[Thierry Hamon]

Date: Tue, 12 Oct 2010 17:33:14 +0200
From: bcrabbe at linguist.jussieu.fr
Message-ID: <1286897594.4cb47fbab13b9 at kmail.linguist.univ-paris-diderot.fr>


*************** 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 15 octobre à 11.00 en salle 131
à l'UFRL, 30 rue du château des rentiers, 75013 Paris

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.


Programme prévisionnel des séminaires à venir:
15 octobre : Philippe de Groote (Loria, Calligramme)
12 novembre : Federico Sangati (UvA)
3 décembre : Kata Gabor (Alpage)

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