PDAR-21: Parallel and Distributed Automated Reasoning 2021 Pittsburgh, PA, United States, July 11, 2021 |
Conference website | https://pdar-workshop.github.io/workshop/ |
Submission link | https://easychair.org/conferences/?conf=pdar21 |
Conference program | https://easychair.org/smart-program/CADE-28/ |
Submission deadline | May 3, 2021 |
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: https://pdar-workshop.github.io/workshop/
Submission deadline: 3rd May
GOALS AND SCOPE
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
SUBMISSION
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) and can be submitted via EasyChair.
https://easychair.org/conferences/?conf=pdar21
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.
PROGRAM COMMITTEE
[To be Finalised]
- 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