Logic List Mailing Archive

PAAR-2008: Practical Aspects of Automated Reasoning, Sydney (Australia), 10-11 Aug 2008

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