Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
CALLIGRAMME - Equipes - ANR-PRELUDE
ANR-PRELUDE
Vers une pragmatique théorique basée sur la ludique et les continuations

INRIA-LORIA

Equipes

Nancy


INRIA-LORIA

CALLIGRAMME

Nancy

Le thème de recherche de CALLIGRAMME est l’utilisation de la logique linéaire et, en particulier de la théorie des réseaux de démonstration dans la modélisation de la circulation de l’information. Deux cas spécifiques de circulation de l’information sont envisagés : dans les calculs de processus, l’information communiquée entre agents ; dans le cas de l’analyse grammaticale, l’information syntaxique échangée entre les constituants d’un même syntagme.

Axes thématiques
• Réseaux de démonstration et d’interaction
• Logique linéaire et parallélisme
• Logique linéaire et grammaires formelles
• Calculs lambda typés et sémantiques

Un des objectifs applicatifs de ces quatre actions de recherche est la mise au point d’un modèle grammatical basé sur la logique linéaire permettant d’intégrer diverses théories linguistiques.

Relations scientifiques et industrielles
• Coopération avec le laboratoire de recherche Xerox à Grenoble
• Collaboration avec l’Institut de Mathématiques de Luminy
• Nombreux échanges avec des centres universitaires : Imperial College, Universités d’Utrecht, de Rome III, d’Indiana, de Catalogne, de la Sarre, de Pennsylvanie

Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique