Workshop on
Mathematically Intelligent Proof Search
MIPS 2010
Paris, France, 10th July 2010
Organising Committee
Serge Autexier | (DFKI Bremen, Germany, Co-Organiser) |
Christoph Benzmüller | (Articulate Software, USA) |
Fairouz Kamareddine | (Heriot-Watt University, Scotland) |
Manfred Kerber | (University of Birmingham, UK) |
Michael Kohlhase | (Jacobs University, Germany) |
Peter Koepke | (University of Bonn, Germany, Co-Organiser)) |
Dominique Pastre | (University Paris Descartes, France) |
Andrei Paskevich | (University Paris-Sud, France) |
Larry Paulson | (University of Cambridge, UK) |
Aarne Ranta | (Chalmers University of Technology, Sweden) |
Claudio Sacerdoti-Coen | (University of Bologna, Italy) |
Bernhard Schröder | (University of Duisburg-Essen, Germany, Co-Organiser)) |
Wilfried Sieg | (CMU, USA, Co-Organiser)) |
Josef Urban | (Radboud University, The Netherlands) |
Wolfgang Windsteiger | (RISC, Austria) |
Claus Zinn | (University of Konstanz, Germany) |
