<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">[apologies for any cross-posting]</div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">********************************************************************************</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">QBFEVAL'19 - Competitive Evaluation of QBF Solvers</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">A joint event with the 22nd Int. Conference on Theory and Applications of Satisfiability Testing (SAT)</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Lisbon, Portugal, July 7 - 12 2019</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">********************************************************************************</div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the fourteenth evaluation of QBF solvers and instances ever. QBFEVAL'19 awards solvers that stand out as being particularly effective on specific categories of QBF instances.</div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. </div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools.</div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">For questions, comments and any other issue regarding QBFEVAL'19, please get in touch with the organizers via <a href="mailto:qbfeval@qbflib.org" class="">qbfeval@qbflib.org</a>. Details about solvers and benchmarks submission, tracks, and related rules, are available at <a href="http://www.qbflib.org/qbfeval19.php" class="">http://www.qbflib.org/qbfeval19.php</a></div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">*Important Dates*</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Registration open: March 31</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Registration close: April 7 </div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Solvers and Benchmarks due: April 14 </div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">First stage results: April 30</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Second stage solvers due: May 10</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Competition Benchmarks available for download: June 14</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Final results: presented at SAT'19</div><div style="margin: 0px; font-stretch: normal; line-height: normal; min-height: 14px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">*Organization*</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Luca Pulina, University of Sassari</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Martina Seidl, Johannes Kepler Universitat Linz</div><div style="margin: 0px; font-stretch: normal; line-height: normal;" class="">Ankit Shukla, Johannes Kepler Universitat Linz</div><div class=""><br class=""></div><div class="">
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class="Apple-interchange-newline"><br class=""></div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">--</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">Prof. Luca Pulina<br class="">Intelligent systems design and applications (IDEA) Lab<br class="">University of Sassari<br class="">Tel. +39 079 228987<br class="">Mail <a href="mailto:lpulina@uniss.it" class="">lpulina@uniss.it</a><br class="">WWW <a href="http://idea.uniss.it/" class="">http://idea.uniss.it</a></div></div>
</div>
<br class=""></div></body></html>
<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il 5x1000</b> all'Università degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>