PAAR-2012

[Renate Schmidt]

[Please encourage colleagues and members of your group to
contribute.]

		     SECOND CALL FOR PAPERS

			    PAAR-2012
		      IJCAR'12 Workshop on
	    Practical Aspects of Automated Reasoning


		   Deadline: April 16th, 2012
	  http://www.eprover.org/EVENTS/PAAR-2012.html

GENERAL INFORMATION
  The third Workshop on Practical Aspects of Automated Reasoning
  will be held in June 2012 in Manchester, UK. PAAR will be
  associated with the 6th International Joint Conference on
  Automated Reasoning (IJCAR-2012), which is held as part of the
  Alan Turing Year 2012, just after The Alan Turing Centenary
  Conference.

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 propositional, first-order,
      higher-order and non-classical logics;
    o implementation of provers (SAT, SMT, resolution, tableau,
      instantiation-based, rewriting, logical frameworks, etc);
    o automated reasoning tools for all kinds of practical
      problems and applications;
    o pragmatics of automated reasoning within proof assistants;
    o practical experiences, usability aspects, feasibility
      studies;
    o evaluation of implementation techniques and automated
      reasoning tools;
    o performance aspects, 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=paar2012

  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:
  16 Apr 2012  Submission of abstracts (anywhere on the planet)
   7 May 2012  Notification
  28 May 2012  Camera ready versions due
  30 Jun 2012  Workshop

PROGRAM COMMITTEE
  Clark Barrett, New York University, USA
  Peter Baumgartner, NICTA, Canberra, Australia
  Christoph Benzmuller, FU Berlin, Germany
  Jasmin Blanchette, TU Munchen, Germany
  Chad Brown, Universitat des Saarlandes, Saarbrucken, Germany
  Koen Claessen, Chalmers University of Technology, Gothenburg, Sweden
  Pascal Fontaine (co-chair), INRIA & University of Nancy, France
  Martin Giese, University of Oslo, Norway
  Alberto Griggio, FBK, Trento, Italy
  John Harrison, Intel, USA
  Yevgeny Kazakov, University of Oxford, UK
  Konstantin Korovin, The University of Manchester, UK
  Daniel Le Berre, Universite d'Artois, Lens, France
  Hans de Nivelle, University of Wroclaw, Poland
  Alberto Oliveras, Technical University of Catalonia, Barcelona, Spain
  Nicola Olivetti, LSIS & Universite Paul Cezanne, Marseille, France
  Jens Otten, University of Potsdam, Germany
  Jeff Pan, The University of Aberdeen, UK
  Larry Paulson, University of Cambridge, UK
  Adam Pease, Articulate Software, Angwin, USA
  Nicolas Peltier, CNRS & IMAG, Grenoble, France
  Ruzica Piskac, Max-Planck-Institut for Software Systems, Saarbrucken, Germany
  Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
  Renate Schmidt (co-chair), The University of Manchester, UK
  Stephan Schulz (co-chair), TU Munchen, Germany
  Geoff Sutcliffe, University of Miami, USA
  Laurent Thery, INRIA, Sophia Antipolis, France
  Dmitry Tishkovsky, The University of Manchester, UK
  Christoph Weidenbach, Max-Planck-Institut fur Informatik, Saarbrucken, 
Germany
  Florian Widmann, Imperial College, London, UK
  Christoph Winterstiger, Microsoft Research, Cambridge, UK

ORGANIZERS
  Pascal Fontaine, INRIA & University of Nancy
  Renate Schmidt, The University of Manchester
  Stephan Schulz, TU Muenchen