Conferences on Intelligent Computer Mathematics 2010

The 9th International Conference on
Mathematical Knowledge Management

MKM 2010

Paris, France    8th-9th July 2010


MKM

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