PAAR 2014 Call for Papers

[Geoff Sutcliffe]

                 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)