FIRST CALL FOR PAPERS PAAR-2008 IJCAR'08 Workshop on Practical Aspects of Automated Reasoning Deadline: 27 May 2008 http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html GENERAL INFORMATION 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). 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. 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: 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 reasoning tools; 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. SUBMISSIONS 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 http://www.easychair.org/conferences/?conf=paar2008 and follow the instructions there. FINAL VERSIONS 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. IMPORTANT DATES: Submission of abstracts: May 27th, 2008 Notification: June 20th, 2008 Camera ready versions due: July 7th, 2008 Workshop: August 10th or 11th, 2008 PROGRAM COMMITTEE Serge Autexier Nikolaj Bjorner Peter Baumgartner Koen Claessen Bernd Fischer Ulrich Furbach Martin Giese Volker Haarslev Thomas Hillenbrand Tommi Junttila Deepak Kapur Boris Konev (Co-Chair) Konstantin Korovin Bill McCune Boris Motik Flavio LC de Moura Hans de Nivelle Albert Oliveras Brigitte Pientka Adam Pease Silvio Ranise Renate Schmidt (Co-Chair) Stephan Schulz (Co-Chair) Sanjit Seshia Geoff Sutcliffe Cesare Tinelli Josef Urban Luca Vigano Andrei Voronkov Uwe Waldmann ORGANIZERS Boris Konev, University of Liverpool Renate Schmidt, University of Manchester Stephan Schulz, TU Muenchen