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

https://easychair.org/conferences/?conf=qbf2022

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:

  • Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program.

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

The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings.

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