Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions

by Anton Wijs, April 4, 2018

The first international workshop on Parallel Logical Reasoning (PLR) will take place on 18 July 2018 in Oxford, UK, as part of FLoC 2018. We are looking for speakers interested in presenting their work with or without a tool demonstration.


PLR 2018

1st International Workshop on Parallel Logical Reasoning

18 July 2018

Oxford, UK

A satellite event of FLoC 2018

The goal of the Parallel Logical Reasoning workshop (PLR) is to bring together researchers that actively work on the building of tools for logical reasoning that involve parallel computations, with a particular emphasis on model checking and SAT solving, but any other applications related to logics are also in the scope of the workshop. Modern parallel architectures such as multi-core CPUs and graphics processing units (GPUs) provide great opportunity to speed up demanding computations, but the algorithms involved in model checking and SAT solving are typically hard to parallellise. Nevertheless, this has not stopped the community from achieving ground-breaking results in the last few years, sometimes building on earlier results that have been achieved in the last few decades on distributed computing, in which a network of machines is employed for a single computation.

Although PLR 2018 does not have a formal proceedings, we do have a call for abstracts and tool demonstrations. If you have recently obtained interesting results that fit the scope of the workshop, please consider submitting an abstract indicating what your talk will be about. In addition, you can submit a proposal for a tool demonstration, in which you can describe your tool and how you are planning to present its functionality.

All proposals should be submitted via Easychair (

  • ABSTRACTS describing recently published results can be submitted to describe the talk you would like to give at PLR. Abstracts should be no longer than two pages in LNCS style and include a reference to the publication on which the abstract is based.
  • TOOL DEMONSTRATION PROPOSALS describing which tool you would like to demonstrate at PLR are welcome. Such a proposal should address how you plan to demonstrate the tool. Similar to the Abstracts, a tool demonstration proposal should not exceed two pages in LNCS style. We suggest you to include a link to a website where the tool is available for downloading, but this is not mandatory.


  • Techniques for automated logical reasoning, such as SAT solving, SMT solving, explicit-state model checking, model checking using BDDs, etc.
  •  Parallel computing (cluster, multi-core, many-core, graphics processors, heterogeneous, etc.)


  • Submission deadline: April 15 (AOE)
  • Notification of acceptance: May 15 (AOE)
  • Workshop: July 18 (In the UK)


Anton Wijs (Eindhoven University of Technology, The Netherlands)


Souheib Baarir (Université Paris Ouest Nanterre La Défense/LIP6, France)
Jiri Barnat (Masaryk University, Czech Republic)
Keijo Heljanko (Aalto University, Finland)
Antti Hyvärinen (University of Lugano, Switzerland)
Alfons Laarman (Leiden University, The Netherlands)
Carsten Sinz (Karlsruhe Institute of Technology, Germany)
Christoph M. Wintersteiger (Microsoft Research, UK)