Programme Committee
General chair:
James Davenport (University of Bath)
MKM track
|
Calculemus track
|
- Florian Rabe (Jacobs University, Germany) Chair
- Laurent Bernardin (Maplesoft)
- Thierry Bouche (Joseph Fourier University, Grenoble)
- Simon Colton (Imperial College)
- Patrick Ion (American Mathematical Society)
- Johan Jeuring (University of Utrecht)
- Fairouz Kamareddine (Heriot-Watt University)
- Manfred Kerber (University of Birmingham)
- Andrea Kohlhase (DFKI Bremen)
- Paul Libbrecht (Curriki Inc and University of Education Karlsruhe)
- Bruce Miller (National Institute of Science and Technology)
- Adam Naumowicz (University of Bialystok)
- Claudio Sacerdoti Coen (University of Bologna)
- Petr Sojka (Masaryk University)
- Volker Sorge (University of Birmingham)
- Masakazu Suzuki (Kyushu University)
- Enrico Tassi (INRIA)
- Makarius Wenzel (University of Paris-South)
- Freek Wiedijk (Radboud University Nijmegen)
|
- William Farmer (McMaster University, Canada) Chair
- Thorsten Altenkirch (Nottingham University)
- Serge Autexier (DFKI Bremen)
- Christoph Benzmueller (Articulate Software)
- Anna Bigatti (University of Genoa)
- Herman Geuvers (Radboud University Nijmegen)
- Deepak Kapur (University of New Mexico)
- Cezary Kaliszyk (University of Tsukuba)
- Assia Mahboubi (Ecole Polytechnique)
- Francisco-Jesus Martin-Mateos(University of Seville)
- Russell O'Connor (INRIA and McMaster University)
- Grant Passmore (University of Cambridge and University of Edinburgh)
- Silvio Ranise (Fondazione Bruno Kessler)
- Alan Sexton (University of Birmingham)
- Adam Strzebonski (Wolfram Research)
|
Systems and Projects track
- Josef Urban (Radboud University Nijmegen) Systems and Projects Chair
- Andrea Asperti (University of Bologna)
- Michael Beeson (San Jose State University)
- Jacques Carette (McMaster University)
- Michael Kohlhase (Jacobs University)
- Christoph Lange (Jacobs University)
- Piotr Rudnicki (University of Alberta)
- members of the MKM and Calculemus programme committees