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/2020/newsitem/11715/5-
 --9-July-2020-2020-Competitive-Evaluation-of-QBF-S
 olvers-QBFEVAL-20-Alghero-Italy
DTSTAMP:20200310T143708
SUMMARY:2020 Competitive Evaluation of QBF Solvers
  (QBFEVAL'20), Alghero, Italy
DTSTART;VALUE=DATE:20200705
DTEND;VALUE=DATE:20200709
LOCATION:Alghero, Italy
DESCRIPTION:QBFEVAL'20 is the 2020 competitive eva
 luation of QBF solvers, and the fifteenth event ai
 med to assess the performance of QBF solvers. QBFE
 VAL'20 awards solvers that stand out as being part
 icularly effective on specific categories of QBF i
 nstances. QBEVAL'20 is a joint event with the 23rd
  Int. Conference on Theory and Applications of Sat
 isfiability Testing (SAT).  We warmly encourage de
 velopers of QBF solvers to submit their work, even
  at early stages of development, as long as it ful
 fills some very simple requirements. We also welco
 me the submission of QBF formulas to be used for t
 he evaluation. Researchers thinking about using QB
 F-based techniques in their area (e.g., formal ver
 ification, planning, knowledge representation & re
 asoning) are invited to contribute to the evaluati
 on by submitting QBF instances of their research p
 roblems (see the requirements for instances). The 
 results of the evaluation will be a good indicator
  of the current feasibility of QBF-based approache
 s and a stimulus for people working on QBF solvers
  to further enhance their tools.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>QBFEVAL'2
 0 is the 2020 competitive evaluation of QBF solver
 s, and the fifteenth event aimed to assess the per
 formance of QBF solvers. QBFEVAL'20 awards solvers
  that stand out as being particularly effective on
  specific categories of QBF instances. QBEVAL'20 i
 s a joint event with the 23rd Int. Conference on T
 heory and Applications of Satisfiability Testing (
 SAT).</p>\n</div><div>\n  <p>We warmly encourage d
 evelopers of QBF solvers to submit their work, eve
 n at early stages of development, as long as it fu
 lfills some very simple requirements. We also welc
 ome the submission of QBF formulas to be used for 
 the evaluation. Researchers thinking about using Q
 BF-based techniques in their area (e.g., formal ve
 rification, planning, knowledge representation &am
 p; reasoning) are invited to contribute to the eva
 luation by submitting QBF instances of their resea
 rch problems (see the requirements for instances).
  The results of the evaluation will be a good indi
 cator of the current feasibility of QBF-based appr
 oaches and a stimulus for people working on QBF so
 lvers to further enhance their tools.</p>\n</div>
URL:http://www.qbflib.org/qbfeval20.php
CONTACT:qbfeval at qbflib.org
END:VEVENT
END:VCALENDAR