30 Jun 2012
Manchester, U.K.
FINAL CALL FOR ABSTRACTS
PAAR-2012
IJCAR'12 Workshop on
Practical Aspects of Automated Reasoning
Extended Deadline: May 3rd, 2012
http://www.eprover.org/EVENTS/PAAR-2012.html
IMPORTANT DATES (UPDATED):
3 May 2012 Submission of abstracts (anywhere on the planet)
24 May 2012 Notification
31 May 2012 Camera ready versions due
30 Jun 2012 Workshop
GENERAL INFORMATION
The third Workshop on Practical Aspects of Automated Reasoning
will be held in June 2012 in Manchester, UK. PAAR will be
associated with the 6th International Joint Conference on
Automated Reasoning (IJCAR-2012), which is held as part of the
Alan Turing Year 2012, just after The Alan Turing Centenary
Conference.
SCOPE
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. The 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.
Topics include but are not limited to:
o automated reasoning in propositional, first-order,
higher-order and non-classical logics;
o implementation of provers (SAT, SMT, resolution, tableau,
instantiation-based, rewriting, logical frameworks, etc);
o automated reasoning tools for all kinds of practical
problems and applications;
o pragmatics of automated reasoning within proof assistants;
o practical experiences, usability aspects, feasibility
studies;
o evaluation of implementation techniques and automated
reasoning tools;
o performance aspects, benchmarking approaches;
o non-standard approaches to automated reasoning,
non-standard forms of automated reasoning, new
applications;
o implementation techniques, optimisation techniques,
strategies and heuristics, fairness;
o support tools for prover development;
o system descriptions and demos.
We are particularly interested in contributions that help the
community to understand how to build useful reasoning systems
in practice, and how to apply existing systems to real
problems.
INVITED SPEAKERS
o Armin Biere (Johannes Kepler University in Linz)
o Boris Motik (University of Oxford)
SUBMISSIONS
Researchers interested in participating are invited to submit a
short abstract of up to 10 pages via EasyChair. Submissions will
be refereed by the program committee, which will select a
balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF.
To submit a paper, go to the EasyChair PAAR page
http://www.easychair.org/conferences/?conf=paar2012
and follow the instructions there.
FINAL VERSIONS
Final versions should be prepared in LaTeX using the
easychair.cls class file obtainable from
http://www.easychair.org/easychair.zip. Proceedings will be
published as CEUR Workshop Proceedings and will be available in
print at the event.
If quality and quantity of the subissions warrants this, we
plan to produce a special issue of a recognized journal on the
topic of the workshop.
PROGRAM COMMITTEE
Clark Barrett, New York University, USA
Peter Baumgartner, NICTA, Canberra, Australia
Christoph Benzmuller, FU Berlin, Germany
Jasmin Blanchette, TU Munchen, Germany
Chad Brown, Universitat des Saarlandes, Saarbrucken, Germany
Koen Claessen, Chalmers University of Technology, Gothenburg, Sweden
Pascal Fontaine (co-chair), INRIA & University of Nancy, France
Martin Giese, University of Oslo, Norway
Alberto Griggio, FBK, Trento, Italy
John Harrison, Intel, USA
Yevgeny Kazakov, University of Oxford, UK
Konstantin Korovin, The University of Manchester, UK
Daniel Le Berre, Universite d'Artois, Lens, France
Hans de Nivelle, University of Wroclaw, Poland
Alberto Oliveras, Technical University of Catalonia, Barcelona, Spain
Nicola Olivetti, LSIS & Universite Paul Cezanne, Marseille, France
Jens Otten, University of Potsdam, Germany
Jeff Pan, The University of Aberdeen, UK
Larry Paulson, University of Cambridge, UK
Adam Pease, Articulate Software, Angwin, USA
Nicolas Peltier, CNRS & IMAG, Grenoble, France
Ruzica Piskac, Max-Planck-Institut for Software Systems, Saarbrucken, Germany
Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
Renate Schmidt (co-chair), The University of Manchester, UK
Stephan Schulz (co-chair), TU Munchen, Germany
Geoff Sutcliffe, University of Miami, USA
Laurent Thery, INRIA, Sophia Antipolis, France
Dmitry Tishkovsky, The University of Manchester, UK
Christoph Weidenbach, Max-Planck-Institut fur Informatik, Saarbrucken, Germany
Florian Widmann, Imperial College, London, UK
Christoph Winterstiger, Microsoft Research, Cambridge, UK
ORGANIZERS
Pascal Fontaine, INRIA & University of Nancy
Renate Schmidt, The University of Manchester
Stephan Schulz, TU Muenchen