L\u2019\u00c9quipe de Logique Math\u00e9matique (ELM) a \u00e9t\u00e9 constitu\u00e9e en unit\u00e9 de recherche autonome en 1982 (sous diverses appellations, notamment UMR7056 jusqu\u2019\u00e0 fin 2008, et FRE 3233 en 2009-2010) et l\u2019est rest\u00e9e jusqu\u2019\u00e0 fin 2010. Elle est actuellement un projet de l\u2019UMR 7586, depuis le 1er janvier 2011, et est rattach\u00e9e \u00e0 l\u2019Universit\u00e9 Paris- Diderot Paris 7. L\u2019ELM est une \u00e9quipe de logique math\u00e9matique g\u00e9n\u00e9raliste, dont le spectre scientifique, tr\u00e8s large, va des fondements aux applications de la logique aux autres branches des math\u00e9matiques et \u00e0 l\u2019informatique th\u00e9orique.<\/p>\n\n\n\n
L\u2019\u00e9quipe est enti\u00e8rement localis\u00e9e sur le site de Paris-Diderot (b\u00e2timent Sophie Germain).<\/p>\n\n\n\n
Les recherches y sont structur\u00e9es en trois th\u00e8mes :<\/p>\n\n\n\n
<\/p>\n\n\n\n
ANR de l\u2019\u00e9quipe (voir aussi la page des contrats de l\u2019IMJ-PRG<\/a>)\u00a0:<\/p>\n\n\n\n ANR pass\u00e9es :<\/p>\n\n\n\n Autres projets\/actions :<\/p>\n\n\n\n \u2022 Tamara Servi<\/a> est co-organisatrice d’un semestre th\u00e9matique au Fields Institute<\/a> au premier semestre 2022 L\u2019\u00c9quipe de Logique Math\u00e9matique (ELM) a \u00e9t\u00e9 constitu\u00e9e en unit\u00e9 de recherche autonome en 1982 (sous diverses appellations, notamment UMR7056 jusqu\u2019\u00e0 fin 2008, et FRE 3233 en 2009-2010) et l\u2019est rest\u00e9e jusqu\u2019\u00e0 fin 2010. Elle est actuellement un projet de l\u2019UMR 7586, depuis le 1er janvier 2011, et est rattach\u00e9e \u00e0 l\u2019Universit\u00e9 Paris- Diderot Paris […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":8,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":113,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/13\/revisions\/113"}],"wp:attachment":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n
\u2022 Workshop on Algebraic Complexity Theory (WACT) 2018<\/a>
\u2022 Semestre Model Theory, Combinatorics and Valued fields<\/em><\/a> en 2018
\u2022 Projet CEFIPRA Arithmetic circuits computing polynomials<\/em>, 2012-2016
\u2022 MODNET : Marie Curie Research Training Network in Model Theory and its Applications<\/a>, 2005-2008<\/p>\n","protected":false},"excerpt":{"rendered":"