19 Jul 2018
Oxford, England
******************************************************************************
PAAR-2018: 6TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING
Oxford, UK, July 19, 2018
Submission link: https://easychair.org/conferences/?conf=paar2018
Abstract registration deadline: April 8, 2018
Submission deadline: April 15, 2018
Topics: automated reasoning, implementation, tools
******************************************************************************
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.
Submission Guidelines
---------------------
Researchers interested in participating are invited to submit either an
extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via
EasyChair at https://easychair.org/conferences/?conf=paar2018. Submissions
will be refereed by the program committee, which will select a balanced
program of high-quality contributions. Short submissions that could stimulate
fruitful discussion at the workshop are particularly welcome.
Submissions should be prepared in LaTeX using the EasyChair proceedings style.
The package containing the class file and its user guide and some helper tools
can be downloaded from http://www.easychair.org/publications/easychair.zip.
Topics include, but are not limited to:
--------------------------------------
* automated reasoning in propositional, first-order, higher-order, and
non-classical logics;
* implementation of provers (SAT, SMT, resolution, tableau, instantiation-
based, rewriting, logical frameworks, etc.);
* automated reasoning tools for all kinds of practical problems and
applications;
* pragmatics of automated reasoning within proof assistants;
* practical experiences, usability aspects, feasibility studies;
* evaluation of implementation techniques and automated reasoning tools;
* performance aspects, benchmarking approaches; non-standard approaches to
automated reasoning, non*standard forms of automated reasoning, new
applications;
* implementation techniques, optimisation techniques, strategies and
heuristics, fairness;
* tools or methods that support prover development;
* system descriptions and demos.
Programme Committee
-------------------
* Haniel Barbosa, The University of Iowa , USA
* Simon Cruanes, Aesthetic Integration, USA
* Pascal Fontaine, Loria, INRIA, University of Lorraine, France
* Martin Giese, University of Oslo, Norway
* Alberto Griggio, Fondazione Bruno Kessler, Italy
* Marijn Heule, The University of Texas at Austin, USA
* Dejan Jovanovic, SRI International, USA
* Chantal Keller, LRI, Universit?? Paris-Sud, France
* Boris Konev (co-chair), University of Liverpool, UK
* Konstantin Korovin, The University of Manchester, UK
* Laura Kovacs, Vienna University of Technology, Austria
* Cl??udia Nalon, University of Bras??lia, Brasil
* Jens Otten, University of Oslo, Norway
* Giles Reger, The University of Manchester, UK
* Andrew Reynolds, University of Iowa, USA
* Philipp Ruemmer (co-chair), Uppsala University, Sweden
* Martin Suda, Vienna University of Technology, Austria
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
* Josef Urban (co-chair), Czech Technical University, CZ
Publication
-----------
PAAR proceedings will be published electronically in the EasyChair Proceedings
in Computing (EPiC) series or in the CEUR workshop proceedings.
Venue
-----
Oxford, UK
Important dates
---------------
Abstract registration deadline: April 8, 2018
Submission deadline: April 15, 2018
Workshop: July 19, 2018
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam