[DL] IJCAR'08 Workshop on Practical Aspects of Automated Reasoning
schmidt at cs.man.ac.uk
Sun Mar 16 01:08:07 CET 2008
FIRST CALL FOR PAPERS
IJCAR'08 Workshop on Practical Aspects of Automated Reasoning
Deadline: 27 May 2008
The first Workshop on Practical Aspects of Automated Reasoning
will be held in August 2008, in Sydney, Australia. PAAR will be
associated with the 4th International Joint Conference on
Automated Reasoning (IJCAR-2008).
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. This 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
Topics include but are not limited to:
o automated reasoning in classical and non-classical logics,
implementation of provers;
o automated reasoning tools for all kinds of practical
problems and applications;
o practical experiences, case studies, feasibility studies;
o evaluation of implementation techniques and automated
o 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;
o system descriptions and demos.
We are particularly interested in contributions that help the
community to understand how to build useful and powerful
reasoning systems in practice, and how to apply existing
systems to real problems.
Researchers interested in participating are invited to submit a
short (2-10 pages) abstract 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 Postscript or PDF.
To submit a paper, go to the EasyChair PAAR page
and follow the instructions there.
The final versions should be prepared in LaTeX using the
Springer Verlag llncs class. The workshop proceedings will be
published as a technical report and distributed 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.
Submission of abstracts: May 27th, 2008
Notification: June 20th, 2008
Camera ready versions due: July 7th, 2008
Workshop: August 10th or 11th, 2008
Boris Konev (Co-Chair)
Flavio LC de Moura
Hans de Nivelle
Renate Schmidt (Co-Chair)
Stephan Schulz (Co-Chair)
Boris Konev, University of Liverpool
Renate Schmidt, University of Manchester
Stephan Schulz, TU Muenchen
More information about the dl