PAAR-2010: July 14

Workshop on Practical Aspects of Automated Reasoning

associated with IJCAR

Overview

PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. This workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications.

More information can be found here.

Programme

Invited Talks

Program Chairs

Boris Konev, The University of Liverpool, United Kingdom
Renate Schmidt, The University of Manchester, United Kingdom
Stephan Schulz, TU München, Germany

Program Committee:

Peter Baumgartner, National ICT Australia, Australia
Roberto Bruttomesso, Universita' della Svizzera Italiana, Switzerland
Koen Claessen, Chalmers University of Technology, Sweden
Leonardo de Moura, Microsoft Research, United States
Hans de Nivelle, institute of computer science, university of wroclaw, Poland
Bernd Fischer, University of Southampton, United Kingdom
Pascal Fontaine, Loria, France
Jim Grundy, Intel Corporation, United States
Volker Haarslev, Concordia University, Canada
John Harrison, Intel Corporation, United States
Thomas Hillenbrand, Max-Planck-Institut for Informatics, Germany
Joe Hurd, Galois, Inc., United States
Gerwin Klein, NICTA and UNSW, Australia
Konstantin Korovin, The University of Manchester, United Kingdom
Temur Kutsia, Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria
Daniel Le Berre, CRIL-CNRS UMR 8188, France
William McCune, University of New Mexico, United States
Albert Oliveras, Technical University of Catalonia, Spain
Jens Otten, University of Potsdam, Germany
Adam Pease, Articulate Software, United States
Silvio Ranise, Univ. di Verona, Italy
Philipp Ruemmer, Oxford University, Computing Laboratory, United Kingdom
Peter Schneider-Kamp, University of Southern Denmark, Denmark
John Slaney, Australian National University, Australia
Alan Smaill, The University of Edinburgh, United Kingdom
Mark Stickel, SRI International, United States
Geoff Sutcliffe, University of Miami, United States
Josef Urban, Charles University, Czech Republic
Christoph Weidenbach, Max Planck Institute for Informatics, Germany