PLR 2018 - 1st International Workshop on Parallel Logical Reasoning

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.