Back to the
French page
L'Equipe de Logique Mathématique (FRE 3233)

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, April 9 2009, ENS, Paris. A position of Professor may become available in the spring of 2010.
MODNET : an EU-financed Research and Training Network in Model Theory and Applications.
Logic Colloquium 2010, July 25-31 2010, Paris. MALOA : An EU-financed training network in logic, providing fellowships for doctoral candidates. Applications for positions starting in 2010 now open. Deadline 31 March 2010 (28 February for the position in Prague).
Two post-doctoral 12-months positions are now open in the framework of the ANR project MODIG, one in Paris 7 and one in Lyon I.


ADRESSES
Postal address
Équipe de Logique Mathématique
Université Paris Diderot Paris 7
UFR de mathématiques case 7012, site Chevaleret
75205 Paris Cedex 13
France
Actual location (offices, seminars and graduate courses)
175 rue du Chevaleret (5th floor , wing A)
Paris 13ème
Métro: Chevaleret or 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