|
|
The 9th International Conference on Mathematical Knowledge Management
MKM 2010
Paris, France 8th-9th July 2010
|
|
|
Programme Committee
Serge Autexier | DFKI Saarbrücken & Saarland University, Germany |
Laurent Bernardin | Maplesoft, Canada |
Thierry Bouche | Université de Grenoble I, France |
John Burns | JSTOR, USA |
David Carlisle | NAG Ltd., UK |
James Davenport | University of Bath, UK |
William Farmer | McMaster University, Hamilton, Canada |
Herman Geuvers | Radboud University Nijmegen, The Netherlands |
Patrick Ion (Co-Chair) | University of Michigan, USA |
Mateja Jamnik | University of Cambridge, UK |
Manfred Kerber | University of Birmingham, UK |
Paul Libbrecht | DFKI Saarbrücken, Germany |
Bruce Miller | NIST, USA |
Adam Naumowicz | University of Bialystok, Poland |
Florian Rabe | Jacobs University Bremen, Germany |
Eugénio Rocha | University of Aveiro, Portugal |
Claudio Sacerdoti Coen | University of Bologna, Italy |
Alan Sexton (Co-Chair) | University of Birmingham, UK |
Elena Smirnova | Texas Instruments, USA |
Petr Sojka | Masaryk University, Brno, CZ |
Masakazu Suzuki | University of Kyushu, Japan |
Enrico Tassi | Inria, France |
Dongming Wang | Laboratoire d'Informatique de Paris 6, France |
|
|