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

[Boris Konev]

[Apologies for earlier empty message]

    SECOND CALL FOR PAPERS

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


    Deadline: 11 April 2010
    http://www.eprover.org/EVENTS/PAAR-2010/paar-2010.html


INVITED SPEAKERS
  Andrei Voronkov
  Lawrence C. Paulson

GENERAL INFORMATION
  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).

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. 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
  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, usability aspects, feasibility
      studies;
    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
      applications;
    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
  problems.

SUBMISSIONS
  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 

      http://www.easychair.org/conferences/?conf=paar2010

  and follow the instructions there.

FINAL VERSIONS 
  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.

IMPORTANT DATES:
  Submission of abstracts: 11 April 2010
  Notification: 28 April 2010
  Camera ready versions due: 17 May 2010
  Workshop: 14 July 2010 

PROGRAM COMMITTEE
  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 

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