Conferences on Intelligent Computer Mathematics - Birmingham 2008
7th International Conference on
Mathematical Knowledge Management

MKM 2008

Birmingham, UK, 28-30 July 2008

Programme Committee

Andrea Asperti University of Bologna, Italy
Serge Autexier (Co-Chair) DFKI Saarbrücken & Saarland University, Germany
Laurent Bernardin Maplesoft, Canada
Thierry Bouche Université de Grenoble I, France
Paul Cairns University College London, England
Olga Caprotti University of Helsinki, Finland
Simon Colton Imperial College, London, England
Mike Dewar NAG Ltd., UK
William Farmer McMaster University, Hamilton, Canada
Herman Geuvers Radboud University Nijmegen, The Netherlands
Eberhard Hilf Institute for Science Networking Oldenburg, Germany
Tetsuo Ida University of Tsukuba, Japan
Mateja Jamnik University of Cambridge, England
Fairouz Kamareddine Heriot-Watt University, Scotland
Manfred Kerber University of Birmingham, England
Michael Kohlhase Jacobs University Bremen, Germany
Paul Libbrecht DFKI Saarbrücken, Germany
Bruce Miller NIST, USA
Robert Miner Design Science, Inc., USA
Bengt Nordström Chalmers University of Technology, Göteborg, Sweden
Eugénio Rocha University of Aveiro, Portugal
Alan Sexton University of Birmingham, England
Petr Sojka Masaryk University, Brno, CZ
Volker Sorge University of Birmingham, England
Masakazu Suzuki (Co-Chair) Kyushu University, Japan
Andrzej Trybulec University of Bialystok, Poland
Stephen Watt The University of Western Ontario, Canada
Abdou Youssef George Washington University, Washington, DC, USA