MAP

Mathematics, Algorithms, Proofs.

The group MAP intend to gather people with connected topics of interest, such as constructive algebra, computer algebra, designers and users of proof systems.

Here is a temporary list of people interested in the MAP project. We write in red the name of those who where present in the Dagstuhl seminar or in the Luminy seminar.

Note: There are still a few missing names: work in progress.

FORMAL PROOFS

LOGICAL project

• Gilles Dowek [mail] [home page]
  École Polytechnique
• Nait Abdallah Areski [mail]
  University of Western Ontario - CANADA

  Computing Science departement, Chalmers University of Technology

• Thierry Coquand [mail] [home page]
• Micaela Mayero [mail]
• Alexandre Miquel [mail]
• David Delahaye [mail] [home page]

  Mathematics departement, Stockholm University

• Jesper Carlstrom [mail] [home page]
• Per Martin-Löf [mail]

  Mathematics department, Uppsala University

• Erik Palmgren [mail]

  Universiteit Nijmegen

• Wieb Bosma [mail] [home page]
• Herman Geuvers [mail]
• Milad Niqui [mail]
• Freek Wiedijk [mail] [home page]

  Computer Science departement, University of Manchester

• Peter Aczel [mail] [home page]

  TU MünchenInstitut für Informatik

• Clemens Ballarin [mail] [home page]
• Steven Obua [mail] [home page]

PROOF THEORY

Dep. of Comp. Sci., University of Aarhus, Danemark

• Ulrich Kohlenbach [mail] [home page]
• Paulo Oliva [mail] [home page]

  Math. Inst. der Ludwig-Maximilians-Universität München

• Helmut Schwichtenberg [mail] [home page]

  Carnegie Mellon University, Pittsburgh (Pennsylvania)

• Jeremy Avigad [mail] [home page]

COMPLEXITY THEORY

IRMAR, Univ. Rennes 1

• Dima Grigoriev [mail]

  Institut für Informatik Universität Frankfurt

• Dimitrii V. Pasechnik [mail] [home page]

  Courant Institute (discrete geometry)

• Richard Pollack [mail]

COMPUTER ALGEBRA

University of Karlsruhe

• Jacques Calmet [mail]

  Université de Bourgogne

• Alain Jacquemard [mail] [home page]

  Eindhoven Univ. of Technology Dept of Math & Comp Sci

• Arjeh M. Cohen [mail] [home page]

  INRIA-Paris (Rocquencourt)

• Frederic Chyzak [mail] [home page]

  RISC, J. Kepler University, Linz

• Josef Schicho [mail] [home page]
• Peter Paule [mail]
• Carsten Schneider [mail]

  Université de Poitiers

• Lionel Ducos [mail]
• Claude Quitte [mail]

  Université des Sciences et Technologies de Lille

• Michel Petitot [mail]

  Dep. Mathemáticas, Universidad de Cantabria, Santander

• Laureano Gonzalez-Vega [mail] [home page]

  ENS Lyon

• Jean-Michel Muller [mail] [home page]
• Marc Daumas [mail] [home page]

  INRIA Sophia Antipolis

• Bernard Mourrain [mail] [home page]
• Olivier Ruatta [mail] [home page]

  IRMAR Université de Rennes 1

• Marie-Françoise Roy [mail] [home page]

COMPUTER ALGEBRA AND CERTIFIED ALGORITHMS

LEMME (INRIA Sophia Antipolis)

• Laurent Thery [mail]
• Loic Pottier [mail]
• Assia Mahboubi [mail]
• Didier Bondyfalat
• Laurent Chicli
• Venanzio Capretta [mail] [home page]

  Laboratoire J.-A. Dieudonné, Univ. Nice - Sophia Antipolis

• Andre Hirschowitz [mail]
• Carlos Simpson [mail]

  Groupe FOC

• Thérèse Hardin [mail] [home page]
• Damien Doligez [mail]
• Valérie Ménissier-Morain [mail]
• Renaud Rioboo [mail]

  Russian Academy of Science. Program Systems Institute

• Sergey D. Mechveliani [mail] [home page]

  ENS Lyon

• Sylvie Boldo [mail] [home page]
• Guillaume Melquiond [mail] [home page]

EFFECTIVE ALGEBRAIC TOPOLOGY

Université Joseph Fourier Grenoble

• Francis Sergeraert [mail] [home page]

  Dep. de Mat. y Computacion Universidad de la Rioja

• Julio Rubio-Garcia [mail]

CONSTRUCTIVE MATHEMATICS

Dep. of Mathematics, Faculty of Sciences of Sfax

• Ihsen Yengui [mail]

  Dipartimento di Matematica P. e A., Università di Padova

• Giovanni Sambin [mail]
• Silvia Gebellato [mail]

  Dipartimento di Informatica, Università di Torino

• Stefano Berardi [mail] [home page]

  Math. department, University of Canterbury (New-Zealond)

• Douglas Bridges [mail]
  invited for one year in Münich University

  Dep. Mathemáticas, Universidad de Cantabria, Santander

• Tomas Recio [mail] [home page]
• Hervé Perdry [mail] [home page]

  Florida Atlantic University

• Fred Richman [home page] [mail]

  Math. Institut Ludwig-Maximilians-Univ. Munich

• Peter Schuster [mail] [home page]

  Universiteit Nijmegen

• Bas Spitters [mail] [home page]

  Université de Franche-Comté

• Henri Lombardi [mail] [home page]

OTHERS

Université Joseph Fourier, Grenoble

• Dominique Duval [mail] [home page]

  Université de Franche-Comté

• Stéphane Chrétien [mail]