top of page

Call for contributions

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 (see http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) 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.

List of topics

  • 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.)

Important dates

  • Submission deadline:          April 15 (AOE)

  • Notification of acceptance: May 15 (AOE)

  • Workshop:                            July 18 (In the UK)

bottom of page