Ontario Research Centre for Computer Algebra
Conferences on Intelligent Computer Mathematics

8th International Conference on
Mathematical Knowledge Management

MKM 2009

Grand Bend, Ontario (CANADA), 10-12 July 2009
 

Programme Committee

Laurent Bernardin (Maplesoft, Canada)
Olga Caprotti (U Helsinki, Finland)
Simon Colton (Imperial College, UK)
Tetsuo Ida (Tsukuba U, Japan)
Mateja Jamnik (U Cambridge, UK)
Tudor Jebelean (RISC Linz, Austria)
Alejandro Jofre (U Chile, Chile)
Michael Kohlhase (Jakobs U, Germany)
Azzeddine Lazrek (U Marakech, Morocco)
Paul Libbrecht (DFKI, Germany)
Bruce Miller (NIST, USA)
Robert Miner (Design Science, USA)
Laurence Rideau (INRIA, France)
Claudio Sacerdoti Cohen (Co-Chair) (U Bologna, Italy)
Elena Smirnova (Texas Instruments, USA)
Volker Sorge (U Birmingham, UK)
Masakazu Suzuki (U Kyushu, Japan)
Joseph Urban (Charles U, Czech Republic)
Stephen Watt (Co-chair)(U Western Ontario, Canada)
Freek Wiedijk (Rabdoub U, NL)