Back to the
French page
L'Équipe de Logique Mathématique
Institut de Mathématiques de Jussieu (UMR 7586)

CNRS - UFR de Mathématiques (Université Paris 7)
Fondation Sciences Mathématiques de Paris



People Seminars E-prints Links to some conferences
M2 de Logique Mathématique et Fondements de l'Informatique List of Doctoral Theses


WHAT'S NEW
Geometry and model theory, December 4, 2015 at ENS. ANR of the Équipe de logique: ValCoMo, MODIG and CompA
MODNET: an EU-financed Research and Training Network in Model Theory and Applications
MALOA: an EU-financed network of logic doctoral students

ADRESSES
Postal address
Équipe de Logique Mathématique
Institut de Mathematiques de Jussieu - Paris Rive Gauche
Université Paris Diderot
UFR de mathématiques case 7012
75205 Paris Cedex 13
France
Actual location
Bâtiment Sophie Germain (6th floor)
(entrance at the corner or avenue de France and Alice-Domon et Léonie-Duquet street)
Paris 13ème
Métro : Bibliothèque F. Mitterrand


Logic in France.

  • Angers: Laboratoire d'Algèbre et Géométrie
  • Caen: Algorithmique
  • Caen: SDAD (Structures discrètes et analyse diophantienne)
  • Chambery: LAMA
  • Clermont-Ferrand: LLAIC  (Laboratoire de Logique, Algorithmique et Informatique de Clermont I)
  • Le Mans: Laboratoire d'Algèbre et Logique
  • Lyon I: ICJ-logique (Institut Camille Jordan)
  • Marseille-Luminy: Logique de la Programmation
  • Paris  7 (Denis-Diderot), UFR de Mathématiques: Equipe de Logique Mathématique
  • Paris 7 (Denis-Diderot), UFR d'Informatique: PPS  (Preuves, Programmes, Systèmes)
  • Paris 12 (Créteil): LACL (Laboratoire d'Algorithmique, Complexité et Logique)


  • Page maintained by G. Malod