labri.fr
LaBRI - Laboratoire Bordelais de Recherche en Informatique
http://www.labri.fr/index.php?n=MF.MF?userlang=en
Laboratoire Bordelais de Recherche en Informatique. Institutional and Partner links. Webmaster at labri.fr. The Formal Methods team is active in many areas of theoretical computer science and its applications. Its work is grouped in two themes:. Logiques, graphes et langages (LGL). Head: S. Lombardy. Keywords: Graph decompositions, recognizability, monadic second order logic, mu calculus, lambda calculus, games, proof assistants, finite descriptions of countable objects. Modélisation et vérification (MV).
resurgences.eu
Réunion de travail avec L’ANR LOCI - Événements - Résurgences, recherche et action en sciences sociales
http://www.resurgences.eu/evenements/article/reunion-de-travail-avec-l-anr-loci-4095
Recherche et action en sciences sociales. Réunion de travail avec L’ANR LOCI. Nous vous informons qu’une réunion de travail de l’ANR LOCI [ 1. Se tiendra le 26 mai 2014 dans les locaux de Résurgences à Marseille. Résurgences - 111, rue Consolat 13001 Marseille. Plus d’information sur le site de l’ ANR LOCI. Locativité et interaction en linguistique, logique et informatique. Site propulsé par accatone/resurgences. Projet NetLab, politiques publiques, big data et sciences sociales.
SOCIAL ENGAGEMENT