Submission and Publication

Submissions of research papers/extended abstracts are solicited and will be managed via Easychair.

We invite the following categories of submissions:

  • talk only: 2-4 pages
  • full submission: up to 12 pages without references
  • short tutorial presentation: 2-4 pages

We explicitly solicit the submission of talk abstracts describing already published work which fall into the scope of our workshop.

Submissions related to completed work as well as work in progress are welcome which will trigger interesting discussions. Authors are encouraged to provide additional material such as source code of tools, experimental data, benchmarks and related publications.

Submissions which describe novel applications of QBF in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified.

Previously published work or extensions thereof may be submitted to the workshop but that case has to be explicitly stated in the extended abstract. This regulation also applies to work which is currently under review elsewhere.

Authors of accepted abstracts are expected to give a talk at the workshop.

New: This year we invite tutorials on related topics which will have a slot of 60 minutes. The acceptance of tutorials will also be decided by our PC.

Workshop Report

We plan to publish the workshop papers in CEUR workshop proceedings which are indexed with an ISSN.

A short summary of each talk will be published on the workshop webpage.