Submission

Submissions of extended abstracts are invited and will be managed via Easychair.

In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress.

The following forms of submissions are solicited:

• Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography.
• Talk proposals presenting work that is unpublished or in progress.
• Submissions which describe novel applications of QBF or related formalisms 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.

Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers’ discretion.