University of Bologna

Conference on Intelligent Computer Mathematics

CICM 2011


Bertinoro, Forli (ITALY), 18-23 July 2011
 
University of Bologna

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