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.

Submission Guidelines

Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via EasyChair. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome.

Topics include, but are not limited to

• automated reasoning in propositional, first-order, higher-order, and non-classical logics;
• implementation of provers (SAT, SMT, resolution, tableau, instantiation- based, rewriting, logical frameworks, etc.);
• automated reasoning tools for all kinds of practical problems and applications;
• pragmatics of automated reasoning within proof assistants;
• practical experiences, usability aspects, feasibility studies;
• evaluation of implementation techniques and automated reasoning tools;
• performance aspects, benchmarking approaches; 
• non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications;
• implementation techniques, optimisation techniques, strategies and heuristics, fairness;
• tools or methods that support prover development;
• system descriptions and demos.

Programme Committee

• Haniel Barbosa, The University of Iowa , USA
• Simon Cruanes, Aesthetic Integration, USA
• Pascal Fontaine, Loria, INRIA, University of Lorraine, France
• Martin Giese, University of Oslo, Norway
• Alberto Griggio, Fondazione Bruno Kessler, Italy
• Marijn Heule, The University of Texas at Austin, USA
• Dejan Jovanović, SRI International, USA
• Chantal Keller, LRI, Université Paris-Sud, France
• Boris Konev (co-chair), University of Liverpool, UK
• Konstantin Korovin, The University of Manchester, UK
• Laura Kovacs, Vienna University of Technology, Austria
• Cláudia Nalon, University of Brasília, Brasil
• Jens Otten, University of Oslo, Norway
• Giles Reger, The University of Manchester, UK
• Andrew Reynolds, University of Iowa, USA
• Philipp Ruemmer (co-chair), Uppsala University, Sweden
• Martin Suda, Vienna University of Technology, Austria
• Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
• Josef Urban(co-chair), Czech Technical University, CZ

Invited Speakers

• Magnus O. Myreen "The CakeML Verified Compiler and Toolchain"

Publication

PAAR proceedings will be published electronically in the CEUR workshop proceedings.

Venue

Oxford, UK