9th Workshop on Practical Aspects of Automated Reasoning -and -9th Satisfiability Checking and Symbolic Computation Workshop PAAR 2024 + SC 2 2024 Preface GabrielEbner MathiasFleury DanielaKaufmann ATTUWien DanielLe Berre RenateASchmidt AlexanderSteen FriederStolzenburg GeoffSutcliffe Karlsruhe Institute of Technology) and Martina Seidl (Johannes Kepler University Linz Microsoft Research US Hans de Nivelle Nazarbayev University
KZ
University of Freiburg
DE
Pascal Fontaine Université de Liège Ulrich Furbach University of Koblenz Jakubuv Czech Technical University
Prague DE CZ
Cezary Kaliszyk University of Innsbruck
AT
Boris Konev University of Liverpool
UK
CNRS -Université d'Artois FR Ondrej Lengal Brno University of Technology CZ Cláudia Nalon (co-chair Tomer Libal University of Luxembourg LU University of Brasília
BR
Michael Rawson TU Wien Philipp Rümmer University of Regensburg Uppsala University
DE, SE
The University of Manchester
UK
Stephan Schulz DHBW Stuttgart
DE
University of Greifswald
DE
Harz University of Applied Sciences
DE
Martin Suda (co-chair Czech Technical University University of Miami
US
MPI for Informatics Sophie Tourret Inria DE Zsolt Zombori HUN-REN Alfréd Rényi Institute of Mathematics
FR HU
9th Workshop on Practical Aspects of Automated Reasoning -and -9th Satisfiability Checking and Symbolic Computation Workshop PAAR 2024 + SC 2 2024 Preface 3D7F44E969BE168B654A51D3F95F21DD GROBID - A machine learning software for extracting information from scholarly documents

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 brings together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It allows researchers to present their work in progress, and to discuss new implementation techniques and applications. The purpose of PAAR is to help the community understand how to build useful and powerful reasoning systems in practice, and how to apply existing systems to real problems.

PAAR 2024 received eleven submissions. Each submission was reviewed by at least three program committee members. Six papers were accepted for presentation, thereof four as regular papers. The PAAR 2024 organizers would like to thank the two invited speakers André Platzer (

Francis Jeffry Pelletier SC 2 2024: Program Committee Erika Abraham RWTH Aachen University, DE Haniel Barbosa Universidade Federal de Minas Gerais, BR Armin Biere University of Freiburg, DE Anna Bigatti University of Genova, IT Martin Brain City University of London, UK Curtis Bright University of Waterloo, CA Chris Brown (co-chair) U.S. Naval Academy, US David Cerna Institute of Computer Science, Czech Academy of Sciences, CZ James H. Davenport University of Bath, UK Matthew England Coventry University, UK Pascal Fontaine University of Liege, BE Alberto Griggio Fondazione Bruno Kessler, IT Mikolas Janota Czech Technical University in Prague, CZ Daniela Kaufmann (co-chair) TU Wien, AT Konstantin Korovin The University of Manchester, UK Ilias Kotsireas Wilfrid Laurier University, CA & Maplesoft Gereon Kremer Certora, IL Alex Ozdemir Stanford University, US Stefan Ratschan Institute of Computer Science, Czech Academy of Sciences, CZ Christoph Scholl University of Freiburg, DE Thomas Sturm CNRS, FR & MPI Informatics, DE Bican Xia Peking University, CN

Additional reviewer

Simon Schwarz