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):

Topics

• 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