SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

L’EPI Signes commune avec l’Université de Bordeaux et le LABRI et le CLLE a introduit à Bordeaux la linguistique computationnelle et en théorie des types, tout en s’appuyant sur les compétences locales en théorie des langages et en sémantique formelle. Dans le présent projet, Signes apportera ses compétences logique :

• sur la logique linéaire (en particulier espaces cohérents, sémantique catégorique, modèles du premier ordre),
• sur le lien entre lambda calcul typé et théorie des langages classiques (notamment à travers les grammaires catégorielles abstraites),
• sur l’analyse syntaxique de l’oral (analyse catégorielle multimodale),
• sur la sémantique lexicale dans un cadre compositionnel et logique.

Chercheurs :

• Christian Bassac,
• Bruno Méri,
• Richard Moot,
• Christian Rétoré
• Sylvain Salvati