News and Events: Conferences

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

18 July 2014, 1st International Workshop on Quantification (QUANTIFY 2014), Vienna, Austria

Date: 18 July 2014
Location: Vienna, Austria
Deadline: 25 April 2014

Quantifiers play an important role in language extensions of many logics. The use of quantifiers often allows for a more succinct encoding than would be possible without quantifiers. However, the introduction of quantifiers affects the complexity of the extended formalism in general. Moreover, theoretical results established for the quantifier-free formalism typically cannot be directly 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 1st International Workshop on Quantification (QUANTIFY 2014) 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://vsl2014.at/quantify

We solicit two types of submissions: talk abstracts describing already published results, and full papers on novel, unpublished work. Submission deadline (extended) is April 25, 2014.

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