From: Luca Pulina <lpulina@uniss.it>
To: caml-list@inria.fr
Subject: [Caml-list] QBFEVAL'18 -- Registration closes in 1 week
Date: Fri, 30 Mar 2018 09:12:12 +0200 [thread overview]
Message-ID: <9714dba4-f5bc-167a-e41f-9369d1da2011@uniss.it> (raw)
[-- Attachment #1: Type: text/plain, Size: 2660 bytes --]
******************************************************************************************
QBFEVAL'18 - Competitive Evaluation of QBF Solvers
A joint event with the 21st Int. Conference on Theory and Applications
of Satisfiability Testing (SAT)
(affiliated with FLoC 2018)
Oxford, UK, July 9 - July 12 2018
******************************************************************************************
QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the
thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18
awards solvers that stand out as being particularly effective on
specific categories of QBF instances.
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.
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.
Details about solvers and benchmarks submission, tracks, and related
rules, are available at http://www.qbflib.org/qbfeval18.php
For questions, comments and any other issue regarding QBFEVAL'18, please
get in touch with the organizers via qbf18@qbflib.org.
** Important Dates **
- Registration open: March 14 (for all tracks)
- Registration close: April 7
- Solvers and Benchmarks due: April 14 (for all tracks except
Hard-Instances Track)
- First stage results: April 30
- Second stage solvers due: May 10 (for all tracks except
Hard-Instances Track)
- Hard instances solver due: June 1
- Competition Benchmarks available for download: June 14
- Final results: presented at SAT'18
** Organizing committee **
* Organization *
Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universitat Linz
* Judges *
Olaf Beyersdorff, University of Leeds
Christoph Wintersteiger, Microsoft Research Limited
--
Luca Pulina, Ph.D.
Associate Professor of Computer Science
University of Sassari
Tel. +39 079 228987
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #2: Type: text/html, Size: 3320 bytes --]
reply other threads:[~2018-03-30 8:51 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9714dba4-f5bc-167a-e41f-9369d1da2011@uniss.it \
--to=lpulina@uniss.it \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).