Call for Contributions

The workshop is concerned with all theoretical and practical aspects of quantification in logics such as QBF, QCSP, SMT, and theorem proving. The topics of interest include (but are not limited to):

  • Complexity results
  • Encodings with and without quantification and comparisons thereof
  • Applications of quantification
  • Implementations of reasoning tools
  • Case studies and experimental results
  • Intersections between the different research communities working on quantification
  • Surveys of state-of-the-art approaches to handling quantification