MAP
Mathematics, Algorithms, Proofs.
Last news
-
The MAP 2012 annual meeting will take place in Lake Constanz (Germany)
from 17 to 21 of September of 2012.
The link on the left frame provides access to the Conference web site.
The program, talks and tutorials are available from the local web site.
-
A school on the Formalization of Mathematics will be held in 2012 in Sophia Antipolis.
The links on the left frame provide access to information regarding topics, speakers or dates chosen.
Further information will be spread when confirmed.
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
Institut des Mathématiques de Lille
Institut für Informatik Universität Frankfurt
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
Purdue University
Universidad de Buenos Aires
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é
IRMAR Université de Rennes 1
Courant Institute of Mathematical Science (discrete geometry), New York Univ.
