23 Jul 2014
Vienna, Austria
PAAR-2014: CALL FOR PAPERS
PAAR-2014 ??? 4th Workshop on Practical Aspects of Automated Reasoning
July 23, 2014 Vienna, Austria
http://vsl2014.at/pages/PAAR-index.html
General Information
-------------------
The 4th Workshop on Practical Aspects of Automated Reasoning will be
held on July 23, 2014 in Vienna. PAAR will be associated with the 7th
International Joint Conference on Automated Reasoning, IJCAR'14 and it
will be part of the Vienna Summer of Logic 2014.
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:
- 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;
- support tools for prover development;
- 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.
Paper Submissions
-----------------
Researchers interested in participating are invited to submit a short
abstract of up to 10 pages via EasyChair at
https://www.easychair.org/conferences/?conf=paar2014. Submissions will
be refereed by the program committee, which will select a balanced
program of high-quality contributions.
Submissions should be prepared in LaTeX using the EasyChair
proceedings style. The package containing the class file and its user
guide and some helper tools can be downloaded from
http://www.easychair.org/publications/easychair.zip
Proceedings will be published in the EasyChair Proceedings in
Computing (EPiC) series.
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.
Important Dates
---------------
Submission Deadline April 21st, 2014
Reviews due May 5th, 2014
Notification of acceptance May 12th, 2014
Final versions due May 26th, 2014
Workshop July 23, 2014
Program Committee
-----------------
Clark Barrett (New York University)
Peter Baumgartner (National ICT Australia)
Christoph Benzm??ller (Freie Universit??t Berlin)
Jasmin Christian Blanchette (TU Muenchen)
Leonardo De Moura (Microsoft Research) - chair
Hans De Nivelle (Institute of Computer Science, University of Wroclaw)
Pascal Fontaine (Loria, INRIA, University of Nancy)
Martin Giese (University of Oslo)
Alberto Griggio (FBK-IRST)
Marijn Heule (The University of Texas at Austin)
Dejan Jovanovi?? (SRI International)
Yevgeny Kazakov (The University of Ulm)
Boris Konev (The University of Liverpool) - chair
Konstantin Korovin (Manchester University)
Jens Otten (University of Potsdam)
Jeff Z. Pan (University of Aberdeen)
Bijan Parsia (University of Manchester)
Adam Pease (Articulate Software)
Nicolas Peltier (CNRS - LIG)
Ruzica Piskac (Yale University)
Renate A. Schmidt (University of Manchester)
Stephan Schulz (TU M??nchen) - chair
Geoff Sutcliffe (University of Miami)
Christoph Weidenbach (Max Planck Institute for Informatics)