[DL] Practical Aspects of Automated Reasoning 2010: Second CFP

Boris Konev Konev at liverpool.ac.uk
Tue Mar 23 13:41:58 CET 2010

[Apologies for earlier empty message]


    FLoC/IJCAR'10 Workshop on Practical Aspects of Automated Reasoning

    Deadline: 11 April 2010

  Andrei Voronkov
  Lawrence C. Paulson

  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

  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

  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, usability aspects, feasibility
    o evaluation of implementation techniques and automated
      reasoning tools;
    o performance apsects, benchmarking approaches;
    o non-standard approaches to automated reasoning,
      non-standard forms of automated reasoning, new
    o implementation techniques, optimisation techniques,
      strategies and heuristics, fairness;
    o support tools for prover development;
    o 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

  Researchers interested in participating are invited to submit a
  short abstract of up to 10 pages 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 PDF.

  To submit a paper, go to the EasyChair PAAR page 


  and follow the instructions there.

  Final versions should be prepared in LaTeX using the
  easychair.cls class file obtainable from
  http://www.easychair.org/easychair.zip. Proceedings will be
  published as CEUR Workshop Proceedings and will be available
  in print 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: 11 April 2010
  Notification: 28 April 2010
  Camera ready versions due: 17 May 2010
  Workshop: 14 July 2010 

  Peter Baumgartner
  Daniel Le Berre
  Roberto Bruttomesso
  Koen Claessen
  Bernd Fischer
  Pascal Fontaine
  Jim Grundy
  Volker Haarslev
  John Harrison
  Thomas Hillenbrand
  Joe Hurd
  Gerwin Klein
  Boris Konev (Co-Chair)
  Konstantin Korovin
  Temur Kutsia
  Bill McCune
  Leonardo de Moura
  Hans de Nivelle
  Albert Oliveras
  Jens Otten
  Adam Pease
  Silvio Ranise
  Phillip RЭmmer
  Renate Schmidt (Co-Chair)
  Peter Schneider-Kamp
  Stephan Schulz (Co-Chair)
  John Slaney
  Alan Smaill
  Mark Stickel
  Geoff Sutcliffe
  Josef Urban
  Christoph Weidenbach 

  Boris Konev, University of Liverpool
  Renate Schmidt, The University of Manchester
  Stephan Schulz, TU Muenchen

More information about the dl mailing list