News and Events: Conferences

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

1 August 2015, 2nd International Workshop on Quantification (QUANTIFY 2015), Berlin, Germany

Date: Saturday 1 August 2015
Location: Berlin, Germany
Deadline: 8 May 2015

Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding as it would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Consequently, theoretical results established for the quantifier-free formalism may not directly be transferred to the quantified case. Further, techniques successfully implemented in reasoning tools for quantifier-free formulas cannot directly be lifted to a quantified version.

The goal of the 2nd International Workshop on Quantification (QUANTIFY 2015) is to bring together researchers who investigate the impact of quantification from a theoretical as well as from a practical point of view. Quantification is a topic in different research areas such as in SAT in terms of QBF, in CSP in terms of QCSP, in SMT, etc. This workshop has the aim to provide an interdisciplinary forum where researchers of various fields may exchange their experiences.

For more information, see http://fmv.jku.at/quantify15/

The Programme Committee sollicits submission of extended abstracts. Two types of submissions are solicited: talk abstracts (maximum two pages, excluding references) describing already published results, and full papers (maximum 14 pages, excluding references) on novel, unpublished work. Submission deadline is May 8, 2015.

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