PDAR 2021 - Call for Papers

by Anton Wijs, March 20, 2021

Call for papers for the first International Workshop on Parallel and Distributed Automated Reasoning, co-located with CADE-28.

PDAR 2021 - The 1st International Workshop on Parallel and Distributed Automated Reasoning

Co-located with CADE-28 (https://www.cs.cmu.edu/~mheule/CADE28)

Website of the workshop: https://pdar-workshop.github.io/workshop

Submission deadline: 3rd May

The goal of this workshop 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.

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


We encourage the following types of paper:

  • Both long and short technical papers presenting original work (including system descriptions)
  • Presentation-only papers that have been published elsewhere but would be of interest to the community
  • Position papers that highlight a significant challenge or approach for the community 

Papers should be between 5 and 15 pages (not including references) in Easychair style (see https://easychair.org/publications/for_authors), and should be submitted via the following EasyChair link:


Papers will be reviewed by an expert program committee (see below) and all accepted papers will be presented at the workshop. 

We plan to publish post-proceedings in a venue such as ENTCS, CEUR, or EasyChair’s Kalpa series for original submissions.


Giles Reger, The University of Manchester (Chair)

Antti Hyvärinen, Università della Svizzera italiana (Chair)

Anton Wijs, Eindhoven University of Technology (Chair)

Alex Ozdemi, Stanford University

Alfons Laarman, Leiden University

Carsten Sintz, Karlsruhe Institute of Technology

Christoph Wintersteiger, Microsoft

Enrico Pontelli, New Mexico State University

Geoff Sutcliffe, University of Miami

Gilles Audermard, Université d’Artois

Mario Paolo Bonacina, Università degli Studi di Verona

Marijn Heule, Carnegie Mellon University

Mathias Fleury, Johannes Kepler University

Michael Rawson, University of Manchester

Souheib Baarir, Sorbonne University