CICM Organizing Committee

The federated CICM event has an organizing committee and the constituent events each have their own program committees. The CICM organizing committee consists of the local organizers, the program committee chairs of the constituent meetings, and past organizers as advisors.

• Jacques Carette, McMaster University (Canada)
• James Davenport, University of Bath (UK)
• Michael Doob, University of Manitoba (Canada)
• William Farmer, McMaster University (Canada)
• Juergen Gerhard, Maplesoft (Canada)
• Tetsuo Ida, University of Tsukuba (Japan)
• Patrick Ion, Math Reviews (USA)
• Michael Kohlhase, Jacobs University (Germany)
• Ilias Kotsireas, Wilfrid Laurier University (Canada)
• George Labahn, University of Waterloo (Canada)
• Paul Libbrecht, DFKI (Germany)
• Robert Miner, Design Science (USA)
• Claudio Sacerdoti-Coen, University of Bologna (Italy)
• Elena Smirnova, Texas Instruments (USA)
• Petr Sojka, Masaryk University (Czech Republic)
• Volker Sorge, University of Birmingham (UK)
• Masakazu Suzuki, Kyushu University (Japan)
• Stephen Watt, University of Western Ontario (Canada), General Chair

For the program committees of the participating meetings, please see the individual conference and workshop pages.