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, analyse 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) :
ANR passées :
Autres projets/actions :
• Tamara Servi est co-organisatrice d’un semestre thématique au Fields Institute au premier semestre 2022
• 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