From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id F1D695D5 for ; Fri, 30 Mar 2018 08:51:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,380,1517871600"; d="scan'208,217";a="320678876" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Mar 2018 10:51:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E5CCC82441; Fri, 30 Mar 2018 10:51:03 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C865D8239C for ; Fri, 30 Mar 2018 09:12:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lpulina@uniss.it; spf=Pass smtp.mailfrom=lpulina@uniss.it; spf=None smtp.helo=postmaster@mail-wr0-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AIdRDVRQSBIGpgy5IPOibMk3ZhNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YBGN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHJhMJti6JVoxyvqBJwzIHIe4yaLuZyc7nHcN8GS2dMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+BFr4bhvVQFsAGwBRSoBOPuzD9HnGL90Ko+0+Q5DAHG2A0gH9QUv3?= =?us-ascii?q?nPsdX1MqYSUfuuzKXSzDXDc+pb1DHg44bGdRAhpOuDXbN2ccfJ0EkgDA3FjlGR?= =?us-ascii?q?qYP+JT+V0f4Ns2ed4uF9Vuyvk3Yqpx9trjWr3MshiYnEipgIxlza9ih12ps5KN?= =?us-ascii?q?y8RUJjYdOoCoZcuiOGO4dsX88uX2NltDwnxrAJuZO2ejUBxo49yB7FcfOHdpCF?= =?us-ascii?q?4hL9W+aVJjd1nHdld6i+hxa26EShxPf8WtWt3FZEsyZIk93BumoC1xzU7ciHRf?= =?us-ascii?q?998Vm71TmT0ADT7/lIIUEylaXFN54s2qA8moYXvEjZHSL7mF/6gLKIekgn4OSk?= =?us-ascii?q?9uXqb7H+qp+ZLYB0iwX+Mqo0msy4BOQ1KgwOX3CG+eS41b3j+1f2Ta5Xjv0wk6?= =?us-ascii?q?nZq4vaKd4apq6lGwNVyJos6w6jDze619QVhWUII0hAeBKDloTpP1DOIOvkDfqk?= =?us-ascii?q?mFStkDJrx+jcMbH7A5XNKGLDkLb7crpn5U5c0ll78dcK7JtRDvQFIenvck73rt?= =?us-ascii?q?3RSBEjYCKuxOOyLMh238smRGaOBKbRZKfKrFuJ4OsHPu+Nf5RTuSqreKtt3OLn?= =?us-ascii?q?kXJswQxVRqKux5ZCMCnpTMQjGF2QZD/XuvlEFG4LugQkS+mz0A+fVz9IfDCzQ/?= =?us-ascii?q?Blv21pOMedFY7GA7uVrvmZxi7iRs9LYGFdERaNDSWwLtjWa7I3cCuXZ/RZvHkE?= =?us-ascii?q?WLymEdFz0BivsErl0eIiILOKq2sXspXs0NUz7OrWx0k/?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B1AQCH4r1af6mAVdFDGh4BBgyDE4EQA?= =?us-ascii?q?4EUg1yVAoFLgTiNbYRkgSUDUgsfiQgZBwEEMBgBAgEBAQEBAQEBARIBAQkLCwg?= =?us-ascii?q?mMUIOAYFmIoJ1HQEBJgwGXAI2AQUBLwYCAQEFhQQECzCiLDyJVBEzbYIcH4JPA?= =?us-ascii?q?QEFgWCDdoImCAkBCIdNgVQ/gS6FcwOBNIMnglSXNwiBCYZchkIGgS+DV4IoD4R?= =?us-ascii?q?2iGOGcAIEAgQFAgUPIYEEHIIKMxoIMIJ9CYILjjttAR2HbYRigkYBAQ?= X-IPAS-Result: =?us-ascii?q?A0B1AQCH4r1af6mAVdFDGh4BBgyDE4EQA4EUg1yVAoFLgTi?= =?us-ascii?q?NbYRkgSUDUgsfiQgZBwEEMBgBAgEBAQEBAQEBARIBAQkLCwgmMUIOAYFmIoJ1H?= =?us-ascii?q?QEBJgwGXAI2AQUBLwYCAQEFhQQECzCiLDyJVBEzbYIcH4JPAQEFgWCDdoImCAk?= =?us-ascii?q?BCIdNgVQ/gS6FcwOBNIMnglSXNwiBCYZchkIGgS+DV4IoD4R2iGOGcAIEAgQFA?= =?us-ascii?q?gUPIYEEHIIKMxoIMIJ9CYILjjttAR2HbYRigkYBAQ?= X-IronPort-AV: E=Sophos;i="5.48,380,1517871600"; d="scan'208,217";a="320658503" Received: from mail-wr0-f169.google.com ([209.85.128.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Mar 2018 09:12:15 +0200 Received: by mail-wr0-f169.google.com with SMTP id c24so7275369wrc.6 for ; Fri, 30 Mar 2018 00:12:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:organization:message-id:date:user-agent :mime-version; bh=qwbH8VDBVPD/6vJAEq2WaCt17pUq8RLxttaWxIE0ODM=; b=Asu3oVZT8tOMI3Gv/V8gZ4zeOUuaDyXtFK8HA6NFJn5QeLZumy+mtXPUceDO4/eIfE LtFe6eT4/jfQvm10sWlkGpqQUQnWMcBCinGmZdcYCDYkcgq2CM3SqTKd91mVQW1LW3hC FCGTKEJxQ5MIYgJ8ttJtJ0NqqmqllpLEI5D5VI0gVeReg4zqHTyEnBH0nLpfDjClO9bU RLcoTbHADvbp/AUO0CUU5Ccdn8H9eRTqPxEuuP3bmSjdBQ5Ov8sHQVg/1UPwA7Yl1a68 aa3gMXH0oTAhKQmaxWcAEa3iKrwgLQMsMyf4H2s6Bxd418IEd3qcz+CBOu90whfED/xI HWFw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:organization:message-id:date :user-agent:mime-version; bh=qwbH8VDBVPD/6vJAEq2WaCt17pUq8RLxttaWxIE0ODM=; b=m+0WvLxVocL/yRF/wOi94G8V9IFxqvuMSgUo1b2XwQtpAJndbABp4zXDLQQXmtkLu7 ww621q4q+ZzUpeuIfBpab0OFbcd5ZCN1MgqiqPOHSMIwrwY2w41EypX0iQix5D1R7Ozl gRHcR1NtrMr62/UQPaIBWTAFm0g96sBteuHiJ8JVtubXKpHous67s1gvwERoCpu31/Bn xVcwZaLhIlRsL82eG5XUr2iZV5WH7G/lmyy0rRf2oo8JR0KC3uZ1BmhVxYztR2E0bsJb VjRVeP6vMJaYLmc8a7ih/P0Wr/kezDwDyER+hSIxkD0jS9UNQ7e0t22s6mTSi+Mq9TrG 1CLw== X-Gm-Message-State: AElRT7GwHQuBLz4EmVcH7gcNzQxCFQ67IWYassOB3yexdeHZHu+bTpjT XmkFUHzvaLCQwbW+yNn0B0SHk1Kj3Z0= X-Google-Smtp-Source: AIpwx48TJDMjtA4OUM1APC60ymFLf9g4sGieMKqUm5Ue/PGtuaBLhf6TRuAj/8ZNatVYRl6D3/9kIg== X-Received: by 10.223.209.17 with SMTP id a17mr8409857wri.278.1522393935201; Fri, 30 Mar 2018 00:12:15 -0700 (PDT) Received: from [172.20.10.4] ([5.170.107.145]) by smtp.gmail.com with ESMTPSA id i52sm15592235wra.82.2018.03.30.00.12.14 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 30 Mar 2018 00:12:14 -0700 (PDT) From: Luca Pulina To: caml-list@inria.fr Organization: University of Sassari Message-ID: <9714dba4-f5bc-167a-e41f-9369d1da2011@uniss.it> Date: Fri, 30 Mar 2018 09:12:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------71603214FEBF568105652A8A" X-Validation-by: lpulina@uniss.it Subject: [Caml-list] QBFEVAL'18 -- Registration closes in 1 week Reply-To: Luca Pulina X-Loop: caml-list@inria.fr X-Sequence: 16761 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is a multi-part message in MIME format. --------------71603214FEBF568105652A8A Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit ****************************************************************************************** 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 --------------71603214FEBF568105652A8A Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit

******************************************************************************************
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
--------------71603214FEBF568105652A8A--