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

Our e-mail addresses have changed, @logique.jussieu.fr has become @math.univ-paris-diderot.fr.
Please update your addressbooks.

Khadija Bayoud has been promoted and assigned to Paris 8.
Élodie Destrebecq is now the secretary of the Équipe de logique.

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, June 21 at the IHP. ANR of the Équipe de logique: ENUM, MODIG and VERAP
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 (offices, seminars and graduate courses)
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