|
|
 |
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 |
|
|
