[ecoop-info] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions

Wijs, A.J. A.J.Wijs at tue.nl
Wed Apr 4 09:08:32 CEST 2018

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 (https://easychair.org/conferences/?conf=plr2018).
• 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)

More information about the ecoop-info mailing list