ANR - LOCI

Structures Formelles du Langage

2011-03-09T10:22:15Z

SFL est une Unité Mixte de Recherche (UMR 7023) assurant la recherche et la formation à la recherche sur les 3 thématiques suivantes : la linguistique théorique (phonologie, syntaxe, sémantique), les langues des signes, et l'acquisition et le développement du langage.

Au sein du laboratoire, le Coordinateur/responsable du projet LOCI est Alain LECOMTE Professeur en Sc. du langage.

Autres membres impliqués dans le projet :

Mr ROUSSARIE Laurent Mdc en Sc. du Langage.

Mr CUXAC Christian professeur en Sc. du Langage.

Mme MACE Fanny Doctorante en Sc. du Langage.

SIGNES, Centre de recherche INRIA Bordeaux Sud-Ouest

2011-03-16T11:40:21Z

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

Résurgences

2011-03-16T13:08:49Z

Résurgences développe depuis 2002 des actions innovantes au point de jonction entre innovation sociale, industrie numérique et recherche scientifique, comme en témoigne la variété et le nombre de projets développés dans ces champs depuis sa création.
L'association est structurée autour des valeurs de l'économie sociale, dans une démarche de recherche-action, et développe son activité autour de trois pôles : un pôle d'insertion et de formation professionnelle, un pôle commercial dans l'industrie numérique, et un pôle recherche dédié aux sciences humaines et sociales.

Le modèle économique de la structure met en action deux principes : la synergie entre les différents pôles d'activité (insertion, production, recherche) et l'hybridation des ressources (subventions, missions, prestations). Ainsi, le pôle recherche apporte des compétences techniques pour les prestations à forte valeur ajoutée et le développement de la qualification et de la formation des autres salariés. Tandis que les ateliers de production supportent l'activité de backoffice nécessaire à l'activité de recherche.
L'association emploie trente-sept personnes elle est agréée organisme de formation et impliquée dans plusieurs réseaux, membre notamment du PRIMI (www.primi.pro), le pôle transmedia Méditerrannée, un réseau d'entreprises tournées vers l'innovation et la production de contenus dans les filières cinéma, audiovisuel, multimédia et internet. Structure d'Insertion par l'Activité Économique, dotée du statut d'Entreprise Solidaire, l'association est aussi membre du Réseau National des Entreprises Apprenantes.

Partenaire de plusieurs projets internationaux de recherche scientifique, notamment le projet ANR LOCI (Locativité et Interaction en Informatique Théorique et Linguistique) financé par l'Agence Nationale pour la Rercherche, et le projet européen LIBEAC (Liberalism In Between Europe And China) financé par l'Union Européenne, le groupe accueille trois chercheurs permanents et cinq chercheurs associés dont les travaux portent sur les interactions sociales, leur formalisation et leur représentation (interactions langagières, dynamiques cognitives, réseaux sociaux).
L'association est aussi active dans des projets artistiques et culturels, avec en particulier la contribution apportée au projet ArtWar(e), soutenu par le DICREAM (CNC), et l'accueil d'artistes en résidence de création, notamment dans le cadre de l'opération Marseille 2013, en partenariat avec l'association MP2013, la Ville de Marseille et la Région PACA.

Chercheurs :

Samuel Tronçon
Pierre Livet

Queen Mary College, Dept of Computer Science, London

2011-05-10T16:12:43Z

Dept of Computer Science, Queen Mary College, London

- Partners

Queen Mary College, Dept Of Computer science, London

2011-05-20T14:35:30Z

Dept of Computer Science, Queen Mary College, London

Graham White du DCS de Queen Mary a initié une collaboration avec Ruth Kempson (King's College, London) dans le but de reformuler la syntaxe dynamique dans le cadre de la théorie des types "avec record", qui possède une notion d'incrémentation du contexte. Cela permet d'unifier les hypothèses syntaxique et sémantique. L'avantage fourni par cette reformulation est l'inclusion des types en tant qu'objets de première classe dans les représentations, rendant possible l'expression en un seul format du champs entier des effets attestés dans l'usage de la langue en discours et/ou en dialogue depuis la description des attitudes propositionnelles jusqu'à la spécification des actes de langage. Une des clés de l'apport de la TTR réside dans la construction formelle qui en est la base, à savoir l'intersection dépendante. Formellement, on a un objet (par exemple une chaîne que l'on essaie d'analyser) et on établit que c'est un élément de types de plus en pus petits, qui peuvent eux-mêmes dépendre de types déjà construits. Un ensemble riche de conditions de bord permet alors de refléter les valeurs déjà obtenues et celles qui sont à obtenir : de cette manière, on peut exprimer aisément la croissance d'un arbre conformément à la syntaxe dynamique.

Il est facile de voir ici en quoi cette problématique recoupe celle du présent projet. La ludique possède aussi cette capacité à représenter les types avec intersection, et il est normal dans un tel projet d'envisager la confrontation d'outils formels différents pour décrire des phénomènes semblables.

Chercheurs :

Ruth Kempson
Graham White

Laboratoire d'Informatique de Paris-Nord

2011-03-16T13:10:47Z

Le Laboratoire d'Informatique de Paris-Nord (L.I.P.N.) est une unité mixte de recherche de l'Université Paris-Nord et du CNRS (UMR7030). Les recherches du LIPN portent sur l'automatisation du raisonnement autour des axes forts de la combinatoire, de l'optimisation combinatoire, de l'informatique fondamentale et de l'intelligence artificielle. Ces travaux s'appuient notamment sur des compétences en algorithmique, logique, langage naturel et l'apprentissage artificiel. Le laboratoire est structuré en cinq équipes dont les sujets de recherche présentent de nombreux points de rencontre : A3, AOC, CALIN, LCR et RCLN.

Coordinateur/responsable :

Mr. FOUQUERE
Christophe
Professeur
Informatique

Autres membres :

Mr. BOUDES
Pierre
MCF
Informatique

Mr. COUPEY
Pascal
Professeur
Informatique

Mr. LODDO
Jean-Vincent
MCF
Informatique

Mr. ROMANO
Marco
doctorant
Informatique

Mr. ABRUSCI
Michele
Professeur
Philosophie

Institut de Mathématiques de Luminy

2011-03-16T11:40:11Z

L'Institut de Mathématiques de Luminy a été créé le 1er janvier 1996 à partir de l'ancien Laboratoire de Mathématiques Discrètes (1992-1995).

L'IML est une UMR (Unité Mixte de Recherches) du CNRS qui dépend scientifiquement de l'Institut des Sciences Mathématiques et de leurs Interactions (INSMI) et administrativement de la Délégation Régionale Provence accueillant un bon nombre d'enseignants-chercheurs de la Faculté des Sciences de Luminy (elle est en convention de cotutelle avec l'Université de la Méditerranée).

L'Institut de Mathématiques de Luminy est situé sur le campus de Luminy.

Coordinateur / responsble

Mme QUATRINI Myriam Maitre de conférences Mathématiques.

Autres membres :

Mm FLEURY
Marie-Renée
MdC Retraitée
Mathématiques

Mr. VAUX
Lionel
Maître de Conférences
Mathématiques

Mr.SEILLER
Thomas
Doctorant
Mathématiques.