Call for Contribution

The workshop is concerned with all aspects of current research on QBF and related formalisms with quantifiers. The topics of interest include (but are not limited to):


  • QBF applications, encodings and benchmarks
  • Case studies and experimental evaluations
  • Certificates and proofs for QBF
  • Formats of proofs and certificates
  • Implementations of proof checkers and verifiers
  • Decision procedures for QBF
  • Calculi for QBF
  • QBF proof theory and complexity results
  • Data structures, implementation details and heuristics
  • Pre- and inprocessing techniques
  • Structural QBF solving
  • Quantifiers in other formalisms like SMT or CSP
  • Tools related to any aspect of QBF/CSP/SMT reasoning