Conferences on Intelligent Computer Mathematics - Birmingham 2008
Programming Languages for
Mechanized Mathematics Systems

PLMMS

Birmingham, UK, 29 July 2008

Programme Committee

Jacques Carette (Co-Chair)(McMaster University, Canada)
John Harrison(Intel Corporation, USA)
Hugo Herbelin(INRIA, École polytechnique, France)
James McKinna(Radboud University Nijmegen, Netherlands)
Ulf Norell(Chalmers University, Sweden)
Bill Page
Christophe Raffalli(Universite de Savoie, France)
Josef Urban(Charles University, Czech Republic)
Stephen Watt(ORCCA, University of Western Ontario, Canada)
Makarius Wenzel (Co-Chair)(Technische Universität München, Germany)
Freek Wiedijk(Radboud University Nijmegen, Netherlands)