Présentation


L’Équipe de Logique Mathématique (ELM) a été constituée en unité de recherche autonome en 1982 (sous diverses appellations, notamment UMR7056 jusqu’à fin 2008, et FRE 3233 en 2009-2010) et l’est restée jusqu’à fin 2010. Elle est actuellement un projet de l’UMR 7586, depuis le 1er janvier 2011, et est rattachée à l’Université Paris- Diderot Paris 7. L’ELM est une équipe de logique mathématique généraliste, dont le spectre scientifique, très large, va des fondements aux applications de la logique aux autres branches des mathématiques et à l’informatique théorique.

L’équipe est entièrement localisée sur le site de Paris-Diderot (bâtiment Sophie Germain).

Les recherches y sont structurées en trois thèmes :
• Théorie des modèles et applications en algèbre et géométrie
• Théorie des ensembles et applications en analyse
• Complexité, logique et applications à l’informatique.

ANR de l’équipe (voir aussi la page des contrats de l’IMJ-PRG) :
AGRUME
CompA
ValCoMo
MODIG

Autres projets/actions :
Workshop on Algebraic Complexity Theory (WACT) 2018
• Semestre Model Theory, Combinatorics and Valued fields en 2018
• Projet CEFIPRA Arithmetic circuits computing polynomials, 2012-2016
MODNET : Marie Curie Research Training Network in Model Theory and its Applications, 2005-2008