Call for Participation - Workshop on Parallel and Distributed Automated Reasoning 2022 at FLoC

by Anton Wijs, June 15, 2022

The 2nd workshop on Parallel and Distributed Automated Reasoning (PDAR 2022) is colocated with FLoC, and will take place on 11 August, the first day of the post-FLoC workshops. This is a call for participation.

The goal of the Parallel and Distributed Automated Reasoning workshop (PDAR) is to bring together researchers working on the theory, practice, and application of parallel and distributed automated reasoning. Whilst parallel and distributed computational resources have become more widely abundant, and utilised in many areas of computer science, the area of automated reasoning has not embraced this as fully.

Through this workshop we aim to provide a platform for researchers to present and discuss solutions and challenges when considering the parallel or distributed execution of automated reasoners, including those from the fields of CP, SAT, SMT, ASP, (first-order and higher-order) ATP, and CHC, including the full range of algorithmic approaches. The aim is to create a broad forum that allows the cross-fertilisation of ideas e.g. allowing ideas from parallel SAT solving to inspire ATP techniques, or vice-versa, and to organise sessions in which these ideas, and the challenges in parallel and distributed automated reasoning, can be discussed in great detail.

PDAR 2022 is colocated with FLoC, and will take place on 11 August, the first day of the post-FLoC workshops. For more information, see https://pdar-workshop.github.io/workshop/ and https://www.floc2022.org.

** The early-bird registration deadline is June 20 **

The workshop is interested in theoretical frameworks, practical implementations, experimental studies, and applications of parallel or distributed reasoning. Relevant parallel or distributed approaches may include (but are not limited to):

  • Data-parallelism supported by GPU acceleration
  • Vertical scaling on shared-memory multicore machines
  • Horizontal scaling on distributed cluster or cloud resources

Invited speakers (tentative)

Julie Cailler (Université Montpellier, France)

David Delahaye (Université Montpellier, France)

Max Heisinger (JKU Linz, Austria)

Peter Lammich (University of Twente, The Netherlands)

Kuldeep S. Meel (NUS, Singapore)

Organisers

Alfons Laarman (Leiden University, The Netherlands)

Anton Wijs (Eindhoven University of Technology, The Netherlands)

Program Committee

Erika Abraham (RWTH Aachen University)

Gilles Audemard (Université d'Artois, France)

Sergiy Bogomolov (Newcastle University, UK)

Maria Paola Bonacina (Università degli Studi di Verona, Italy)

Milan Češka (Brno University of Technology, Czechia)

Tom van Dijk (University of Twente, The Netherlands)

Grigory Fedyukovich (Florida State University, USA)

Marijn Heule (Carnegie Mellon University, USA)

Antti Hyvärinen (University of Lugano, Switzerland)

Peter Gjøl Jensen (Aalborg University, Denmark)

Matteo Marescotti (Meta Platforms, UK)

Giles Reger (Amazon Web Services and The University of Manchester, UK)

Petr Ročkai (Masaryk University, Czech Republic)

Carsten Sinz (Karlsruhe Institute of Technology, Germany)

Scott Smolka (Stony Brook University, USA)