Détail d'une fiche   Version PDF

CALLIGRAMME (SR0060ZR)

Logique linéaire, réseaux de démonstration et grammaires catégorielles

CALLIGRAMME →  CALLIGRAMME (SR0439YR)


Statut: Terminée

Responsable : Philippe De Groote

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Perception, cognition, interaction
Thème : Langue, parole et audio

Période : 01/06/1996 -> 31/12/2009
Dates d'évaluation : 13/10/2011

Etablissement(s) de rattachement : U. DE LORRAINE, CNRS
Laboratoire(s) partenaire(s) : LORIA (UMR7503)

CRI : Centre Inria de l'Université de Lorraine
Localisation : Centre Inria de l'Université de Lorraine
Code structure Inria : 051005-0

Numéro RNSR : 199618306V
N° de structure Inria: SR0060ZR

Présentation

L'équipe-projet CALLIGRAMME a pour objectif le développement d'outils et de méthodes issus de la théorie de la démonstration et, en particulier, de la logique linéaire. Deux champs d'application sont privilégiés : dans le domaine de la linguistique computationnelle, la modélisation logique de la syntaxe et de la sémantique des langues naturelles ; dans le domaine du génie logiciel, l'étude de la terminaison et de la complexité des programmes.


Axes de recherche

  • Réseaux de démonstration, calcul des séquents et lambda-calculs typés.
  • Grammaires catégorielles.
  • Complexité implicite des calculs.


Relations industrielles et internationales

  • Coopération avec le laboratoire de recherche Xerox à Grenoble.
  • Collaboration avec le Laboratoire de mathématiques discrètes de Luminy.
  • Nombreux échanges avec des centres universitaires : Universités d'Utrecht, de Rome 3, de Catalogne, de la Sarre, d'Indiana...