Conferences on Intelligent Computer Mathematics - Birmingham 2008
9th International Conference on
Artificial Intelligence and Symbolic Computation

AISC 2008

Birmingham, UK, 31 July-1 August 2008

Programme Committee

Volker Sorge(University of Birmingham, UK), Chair
Alessandro Armando(University of Genoa, Italy)
Christoph Benzmüller(Universität des Saarlandes, Germany)
Bruno Buchberger(RISC, Austria)
Russell Bradford (University of Bath, UK)
Jacques Calmet(University of Karlsruhe, Germany)
John Campbell(University College London, UK)
Jacques Carette(McMaster University, Canada)
Arjeh Cohen (Eindhoven University of Technology, The Netherlands)
Simon Colton(Imperial College London, UK)
Timothy Daly(Carnegie Mellon, USA)
Lucas Dixon(University of Edinburgh, UK)
William M. Farmer(McMaster University, Canada)
Martin Charles Golumbic(University of Haifa, Israel)
Hoon Hong(North Carolina State University, USA)
Tetsuo Ida(University of Tsukuba, Japan)
Tom Kelsey (University of St Andrews, UK)
Petr Lisonek(Simon Fraser University, Canada)
George Labahn(University of Waterloo, Canada)
Eugenio Roanes-Lozano(Universidad Complutense de Madrid, Spain)
Renaud Rioboo(Université Pierre et Marie Curie - LIP6, France)
Karem Sakallah(University of Michigan, USA)
Jörg Siekmann(Universität des Saarlandes, DFKI, Germany)
Elena Smirnova(Texas Instruments, USA)
Stephen M. Watt(University of Western Ontario, Canada)
Wolfgang Windsteiger(RISC, Austria)
Dongming Wang(Beihang University, China and UPMC-CNRS, France)