IMJ-PRG

Présentation

L’équipe de logique mathématique (ELM) a été constituée en unité de recherche autonome de 1982 à la fin 2010, date à laquelle elle a été intégrée en tant que nouveau projet de l’IMJ-PRG.

Notre activité de recherche relève des mathématiques fondamentales, avec des applications en informatique théorique. Notre discipline est la logique mathématique. Elle connait en ce moment une explosion spectaculaire du champ de ses applications, vers l’informatique comme vers des branches plus classiques des mathématiques.

Adresse Postale :
Équipe de Logique Mathématique
Institut de Mathématiques de Jussieu - Paris Rive Gauche
Université Paris Diderot
UFR de mathématiques case 7012
75205 Paris Cedex 13
France