BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2014/newsitem/5706/18-
 July-2014-1st-International-Workshop-on-Quantifica
 tion-QUANTIFY-2014-Vienna-Austria
DTSTAMP:20140417T000000
SUMMARY:1st International Workshop on Quantificati
 on (QUANTIFY 2014), Vienna, Austria
DTSTART;VALUE=DATE:20140718
DTEND;VALUE=DATE:20140718
LOCATION:Vienna, Austria
DESCRIPTION:Quantifiers play an important role in 
 language extensions of many logics. The use of qua
 ntifiers often allows for a more succinct encoding
  than would be possible without quantifiers. Howev
 er, the introduction of quantifiers affects the co
 mplexity of the extended formalism in general. Mor
 eover, theoretical results established for the qua
 ntifier-free formalism typically cannot be directl
 y transferred to the quantified case. Further, tec
 hniques successfully implemented in reasoning tool
 s for quantifier-free formulas cannot directly be 
 lifted to a quantified version.    The goal of the
  1st International Workshop on Quantification (QUA
 NTIFY 2014) is to bring together researchers who i
 nvestigate the impact of quantification from a the
 oretical 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 te
 rms of QCSP, in SMT, etc. This workshop has the ai
 m to provide an interdisciplinary forum where rese
 archers of various fields may exchange their exper
 iences.   For more information, see http://vsl2014
 .at/quantify  We solicit two types of submissions:
  talk abstracts describing already published resul
 ts, and full papers on novel, unpublished work. Su
 bmission deadline (extended) is April 25, 2014.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\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      </p>\n      <p>\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      </p>\n    \n      \
 n      <p>For more information, see\n        <a ta
 rget="_blank" href="http://vsl2014.at/quantify">ht
 tp://vsl2014.at/quantify</a>\n      </p>\n    </di
 v><div>\n      <p>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      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2014/newsitem/5706/18-
 July-2014-1st-International-Workshop-on-Quantifica
 tion-QUANTIFY-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR