[DL] PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning

geoff at cs.miami.edu geoff at cs.miami.edu
Fri Mar 6 14:38:03 CET 2020

                    June 30th, 2020, Paris, France

        Web site: http://paar2020.gforge.inria.fr/
        Submission link: https://easychair.org/conferences/?conf=paar2020
        Abstract registration deadline: April 8, 2020 (tentative)
        Submission deadline: April 15, 2020 (tentative)
        Topics: automated reasoning, implementation, tools


The automation of logical reasoning is a challenge that has been studied 
intensively in fields including mathematics, philosophy, and computer science. 
PAAR is the workshop on turning this theory into practice: how can automated 
reasoning tools be built that work and are useful in applications? PAAR covers 
all aspects of this challenge: which theories, logics, or fragments are well-
behaved in practice, and connect well to application domains; which reasoning 
tasks are tractable and useful; which algorithms are able to solve real-world
instances; how should automated reasoning tools be designed, implemented, 
tested, and evaluated?

The goal of PAAR is to bring together theoreticians, tool developers, and 
users, to concentrate on the practical aspects of automated reasoning. The 
workshop welcomes high-quality contributions of any kind, including new 
research results, presentation of work in progress, presentation of new tools, 
new implementation techniques, new application domains, or case studies.

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=paar2020. 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, superposition, tableau,
  instantiation-based, rewriting, logical frameworks, etc.);
* automated reasoning tools for all kinds of practical problems and
* 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
* implementation techniques, optimisation techniques, machine learning,
  strategies and heuristics, fairness;
* tools or methods that support prover development;
* system descriptions and demos.  

Programme Committee

* Simon Cruanes, Aesthetic Integration, Texas, USA
* Hans de Nivelle, Nazarbayev University, Kazakhstan
* Bruno Dutertre, SRI international, California, USA
* Gabriel Ebner, VU Amsterdam, Netherlands
* Pascal Fontaine (co-chair), Liège University, Belgium
* Antti Hyvärinen, University of Lugano, Switzerland
* Ahmed Irfan, Stanford University, California, USA
* Cezary Kaliszyk, University of Innsbruck, Austria
* Daniel Le Berre, CNRS - University of Artois, France
* Ondrej Lengal, Brno University of Technology, Czech Republic
* Tomer Libal, American University of Paris, France
* Cláudia Nalon, University of Brasília, Brasil
* Jens Otten, University of Oslo, Norway
* Philipp Ruemmer (co-chair), Uppsala University, Sweden
* Renate A. Schmidt, The University of Manchester, UK
* Stephan Schulz, DHBW Stuttgart, Germany
* Martina Seidl, Johannes Kepler University Linz, Austria
* Mihaela Sighireanu, IRIF, University Paris Diderot and CNRS, France
* Alexander Steen, University of Luxembourg, Luxembourg
* Martin Suda, Czech Technical University, Czech Republic
* Geoff Sutcliffe, University of Miami, Florida, USA
* Sophie Tourret (co-chair), Max-Planck Institute for Informatics, Germany
* Sarah Winkler, University of Verona, Italy
* Aleksandar Zeljic, Stanford University, California, USA

PAAR proceedings will be published electronically in the CEUR workshop

Paris, France

Important dates
Abstract registration deadline: April 8, 2020 (tentative)
Submission deadline: April 15, 2020 (tentative)
Workshop: June 30th, 2020

More information about the dl mailing list