Conferences on Intelligent Computer Mathematics CICM, Paris July 2010

10th International Conference on
Artificial Intelligence and Symbolic Computation

AISC 2010

Paris, France, July 5-6, 2010
 

Program Committee

Alessandro Armando(University of Genoa, Italy)
Serge Autexier(DFKI Bremen, Germany),Chair
Franz Baader(TU Dresden, Germany)
Christoph Benzmüller(Articulate Software, USA)
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)
Bill Farmer(McMaster University, UK)
Martin Charles Golumbic(University of Haifa, Israel)
Tetsuo Ida(University of Tsukuba, Japan)
Tom Kelsey (University of St Andrews, UK)
Claude Kirchner (INRIA Bordeaux, France)
George Labahn(University of Waterloo, Canada)
Petr Lisonek(Simon Fraser University, Canada)
Ralf Möller(TU Harburg, Germany)
Bijan Parsia(University of Manchester, UK)
Renaud Rioboo(ENSIIE, France)
Eugenio Roanes-Lozano(Universidad Complutense de Madrid, Spain)
Jörg Siekmann(Universität des Saarlandes, DFKI Saarbrücken, Germany)
Elena Smirnova(Texas Instruments, USA)
Volker Sorge(University of Birmingham, UK)
Toby Walsh(NICTA & UNSW, Australia)
Dongming Wang(Beihang University, China and UPMC-CNRS, France)
Stephen M. Watt(University of Western Ontario, Canada)
Michael Witbrock(Cycorp, USA)
Wolfgang Windsteiger(RISC, Austria)