MAP
Mathematics, Algorithms, Proofs.
Last news
The MAP 2009 annual meeting took place in Monastir (Tunisia) from 14 to 18 of December of 2009.
The list of participants is avaliable here.
The slides of the different presentations can be also found here.
The MAP group intends 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.
Note: There are still a few missing names: work in progress.
FORMAL PROOFS
LOGICAL project
- Gilles Dowek
[home page]
École Polytechnique
- Nait Abdallah Areski
University of Western Ontario - CANADA
Computing Science departement, Chalmers University of Technology
Several former students in Chalmers, now in various affiliations
Mathematics department, Stockholm University
Mathematics department, Uppsala University
Universiteit Nijmegen
Computer Science department, University of Manchester
TU München, Institut für Informatik
University of Perpignan
PROOF THEORY
Dep. of Comp. Sci., University of Aarhus, Danemark
Department of Computer Science, Queen Mary, University of London
Math. Inst. der Ludwig-Maximilians-Universität München
Carnegie Mellon University, Pittsburgh (Pennsylvania)
Department of Computer Science, University of Wales Swansea
Institute of Mathematics "Simion Stoilow" of the Romanian Academy, Bucharest
COMPLEXITY THEORY
IRMAR, Univ. Rennes 1
Institut für Informatik Universität Frankfurt
Courant Institute of Mathematical Science (discrete geometry), New York Univ.
COMPUTER ALGEBRA
University of Karlsruhe
Université de Bourgogne
Dept. of Math. & Comp. Sci., Eindhoven Univ. of Technology
INRIA-Paris (Rocquencourt)
RISC, J. Kepler University, Linz
- Josef Schicho
[home page]
- Peter Paule
- Carsten Schneider
Université de Poitiers
- Lionel Ducos
- Claude Quitte
Université des Sciences et Technologies de Lille
Dep. Matemáticas, Universidad de Cantabria, Santander
ENS Lyon
INRIA Sophia Antipolis
IRMAR Université de Rennes 1
COMPUTER ALGEBRA AND CERTIFIED ALGORITHMS
- Laurent Thery
- Loic Pottier
- Assia Mahboubi
- Didier Bondyfalat
- Laurent Chicli
- Venanzio Capretta
[home page]
Laboratoire J.-A. Dieudonné, Univ. Nice - Sophia Antipolis
- Andre Hirschowitz
- Carlos Simpson
Groupe FOC
- Thérèse Hardin
[home page]
- Damien Doligez
- Valérie Ménissier-Morain
- Renaud Rioboo
Russian Academy of Science. Program Systems Institute
ENS Lyon
EFFECTIVE ALGEBRAIC TOPOLOGY
Université Joseph Fourier Grenoble
Dep. de Mat. y Computación Universidad de la Rioja
CONSTRUCTIVE MATHEMATICS
Dep. of Mathematics, Faculty of Sciences of Sfax
Dipartimento di Matematica P. e A., Università di Padova
Dipartimento di Informatica, Università di Torino
Math. department, University of Canterbury (New-Zealond)
- Douglas Bridges
invited for one year in Munich University
Dep. Matemáticas, Universidad de Cantabria, Santander
Florida Atlantic University
Math. Institut Ludwig-Maximilians-Univ. Munich
Universiteit Nijmegen
Université de Franche-Comté
OTHERS
Université Joseph Fourier, Grenoble
Université de Franche-Comté
