\n

\n Quantifiers play an important role in languag e extensions of\n many logics. The use of q uantifiers often allows for a more\n succin ct encoding than would be possible without\n quantifiers. However, the introduction of quanti fiers affects\n the complexity of the exten ded formalism in general. Moreover,\n theor etical results established for the quantifier-free \n formalism typically cannot be directly t ransferred to the\n quantified case. Furthe r, techniques successfully implemented\n in reasoning tools for quantifier-free formulas cann ot\n directly be lifted to a quantified ver sion.\n

\n\n The goal of the 1st International Workshop on Quantification\n (QUANTIFY 2014) is to bring together resea rchers who\n investigate the impact of quan tification from a theoretical as\n well as from a practical point of view. Quantification is a\n topic in different research areas such as in SAT in terms of\n QBF, in CSP in term s of QCSP, in SMT, etc. This workshop has\n the aim to provide an interdisciplinary forum whe re\n researchers of various fields may exch ange their experiences.\n

\n \n \ nFor more information, see\n ht tp://vsl2014.at/quantify\n

\n\n

We solicit two types of submissi ons: talk abstracts describing already\n pu blished results, and full papers on novel, unpubli shed\n work.\n Submission deadline ( extended) is April 25, 2014.\n

\n URL:/NewsandEvents/Archives/2014/newsitem/5706/18- July-2014-1st-International-Workshop-on-Quantifica tion-QUANTIFY-2014-Vienna-Austria END:VEVENT END:VCALENDAR