The Second Workshop on Practical Aspects of Automated Reasoning will be held in July 2010, in Edinburgh, UK. PAAR will be part of FLoC 2010 and associated with the 5th International Joint Conference on Automated Reasoning (IJCAR-2010).
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 applications.
Topics include but are not limited to:
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.
You can view the full call for papers.
Final versions should be prepared in LaTeX using the easychair.cls class file. Proceedings will be published as CEUR Workshop Proceedings and will be available in print at the event.
If number and quality of the submissions warrant are sufficient, we plan to produce a special issue of a recognized journal on the topic of the workshop.