News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

5 - 9 July 2021, International Workshop on Quantified Boolean Formulas and Beyond (QBF 2021), Virtual

Date: 5 - 9 July 2021
Location: Virtual
Deadline: Monday 31 May 2021

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges.

QBF 2021 is affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT 2021) July 5-9, 2021. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.

The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. 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, as well as proposals for short tutorial presentations. Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome.

Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material.

For more information, see or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.