CALLIGRAMME : Logique linéaire, réseaux de démonstration et grammaires catégorielles (équipe-projet)

En savoir plus sur l’équipe-projet : Site de l’équipe-projet Rapport d'activité La médiathèque Rapports de recherche Thèses Thème : Sym Systèmes symboliques Centre de recherche Nancy - Grand Est

Présentation de l’équipe-projet

Equipe-projet du LORIA commune avec le CNRS, les universités Henri Poincaré, Nancy 2 et INPL.

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 internationales et industrielles

• 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...

Responsable scientifique

Philippe DE GROOTE
+33 3 54 95 84 04
Secrétariat : +33 3 83 59 30 09