Logic List Mailing Archive
CfP[extended]: PAAR 2024: 9th Workshop on Practical Aspects of Automated Reasoning, 2 July 2024, Nancy (France)
******************************************************************************
PAAR-2024: 9TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING
-- co-located with IJCAR 2024 --
July 2, 2024, Nancy, France
Web site: https://paar2024.github.io/
Submission link: https://easychair.org/conferences/?conf=paar2024
Abstract registration deadline (extended): April 19, 2024
Submission deadline (extended) : April 26, 2024
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), excluding references, via EasyChair at https://easychair.org/conferences/?conf=paar2024.
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 CEUR-WS.org style template (CEURART, one-column). The package containing the class file and the user guide can be downloaded from http://ceur-ws.org/Vol-XXX/CEURART.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
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;
* tools or methods that support prover development;
* system descriptions and demos.
Invited Speakers
-------------------
* N.N.
* N.N.
Programme Committee
-------------------
* Claudia Nalon, University of Brasilia, BR (PC co-chair)
* Alexander Steen, University of Greifswald, DE (PC co-chair)
* Martin Suda, Czech Technical University in Prague, CZ (PC co-chair)
* Gabriel Ebner, Microsoft Research, US
* Mathias Fleury, University of Freiburg, DE
* Pascal Fontaine, Universite de Liege, BE
* Ulrich Furbach, University of Koblenz, DE
* Jan Jakubuv, Czech Technical University in Prague, CZ
* Cezary Kaliszyk, University of Innsbruck, AT
* Daniela Kaufmann, TU Vienna, AU
* Boris Konev, University of Liverpool, UK
* Daniel Le Berre, CNRS - Universite d'Artois, FR
* Ondrej Lengal, Brno University of Technology, CZ
* Tomer Libal, University of Luxembourg, LU
* Hans de Nivelle, Nazarbayev University, KZ
* Michael Rawson, TU Vienna, AU
* 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, Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences, HU
Publication
-----------
PAAR proceedings will be published electronically in a workshop proceedings venue (such as CEUR workshop proceedings or EasyChair Kalpa proceedings).
Venue
-----
IJCAR 2024 in Nancy, France
Important dates
---------------
* Abstract submission: April 5, 2024
* Paper submission: April 12, 2024
* Workshop: July 2, 2024
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php