[Caml-list] PAAR-2026: Deadline Extension

[Caml-list] PAAR-2026: Deadline Extension

[geoff]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3306 bytes --]

        PAAR-2026: 10TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING
                   -- co-located with IJCAR 2026  --
                   --    as part of FLoC 2026     --

                    July 25, 2026, Lisbon, Portugal

        Web site: https://paar2026.github.io/
        Submission link: https://submissions.floc26.org/paar
        Abstract registration deadline (extended): April 22, 2026 (AoE)
        Submission deadline (extended): April 26, 2026 (AoE)

Venue
-----
IJCAR 2026 in Lisbon, Portugal

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:
* 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, machine learning, strategies and heuristics, fairness;
* support tools for prover development;
* 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.

Publication
-----------
PAAR proceedings will be published electronically in a workshop
proceedings venue (such as CEUR workshop proceedings or
EasyChair Kalpa proceedings).

Important dates
---------------
* Abstract submission (extended): April 22, 2026 (AoE)
* Paper submission (extended): April 26, 2026 (AoE)
* Author notification (extended): May 20, 2026
* Camera-ready paper versions due: July 1, 2026
* Workshop: July 25, 2026

Program Committee
-----------------
* Jan Jakubuv, Czech Technical University in Prague, CZ
* Cezary Kaliszyk, University of Melbourne, AU
* Daniela Kaufmann, TU Wien, AT
* Boris Konev, University of Liverpool, UK
* Daniel Le Berre, CNRS - Université d'Artois, FR
* Ondrej Lengal, Brno University of Technology, CZ
* Tomer Libal, University of Luxembourg, LU
* Michael Rawson, University of Southampton, UK
* Philipp Ruemmer, Uppsala University, SE
* Renate A. Schmidt, The University of Manchester, UK
* Stephan Schulz, DHBW Stuttgart, DE
* Frieder Stolzenburg, Harz University of Applied Sciences, DE
* Geoff Sutcliffe, University of Miami, US
* Sophie Tourret, Inria and MPI for Informatics, DE
* Zsolt Zombori, Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, HU