VSL 2014: VIENNA SUMMER OF LOGIC 2014
PAAR 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

Also available as PDF.

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 apsects, 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

Program Committee

    <TBC>