Conferences on Intelligent Computer Mathematics - Birmingham 2008
15th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2008

Birmingham, UK, 30 July-1 August 2008

Programme Committee

Michael Beeson(San Jose State University, USA)
Christoph Benzmüller(University of Cambridge, UK)
Anna Bigatti(Universita di Genova, Italy)
Wieb Bosma(Radboud University Nijmegen, Netherlands)
Olga Caprotti(University of Helsinki, Finland)
Jacques Carette(McMaster University, Canada)
Thierry Coquand(Goteborg University, Sweden)
James Davenport(University of Bath, UK)
William M. Farmer(McMaster University, Canada)
John Harrison(Intel Corporation, USA)
Deepak Kapur(University of New Mexico, USA)
Henri Lombardi(Universite de Franche-Comte, France)
Tomas Recio(Universidad de Cantabria, Spain)
Renauld Rioboo(Universite Pierre et Marie Curie, France)
Julio Rubio(Universidad de La Rioja, Spain), Chair
Volker Sorge(University of Birmingham, UK)
Makarius Wenzel(Technische Universitat Munchen, Germany)
Freek Wiedijk(Radboud University Nijmegen, Netherlands), Chair
Wolfgang Windsteiger(RISC-Linz, Austria)