From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2B5CA7FEE2 for ; Tue, 23 Feb 2016 15:14:51 +0100 (CET) IronPort-PHdr: 9a23:d6aqPRKsw6sFWzXmDtmcpTZWNBhigK39O0sv0rFitYgULfvxwZ3uMQTl6Ol3ixeRBMOAu60C1rSd7v6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0ILqiavvpdX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD88Qa6tVYXK7mU6M9RL1eRHR6YiFmrPHs4BLKSA/K4noHTk0XlABJCk7L9kLAU4/1oxf94+5lxS2bO8TeULY1Qi/k7rs4ZgXvjXIjKjUwuFnKjs12heoPpAq8ox15yqbJZoCOL7x/YvWOLpshWWNdU5MJBGR6CYSmYt5TXuc= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpulina@uniss.it; spf=Pass smtp.mailfrom=lpulina@uniss.it; spf=None smtp.helo=postmaster@mail-wm0-f52.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lpulina@uniss.it) identity=pra; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="lpulina@uniss.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lpulina@uniss.it designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="lpulina@uniss.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="postmaster@mail-wm0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DQAAAsacxWjjRSfUpEGoQMbY15qlmEBxcGhzE7EQEBAQEBAQEBEAEBAQEHCwsJHzGCLYItCwYPAQUIAQEmDAY0AgUhAhECIwEFAS8GAgEBBRmHeQ4snzmBMT4xik1ngwaBOgEEgVuISQwYBgpxhReFcAGCWHKBfAstE4EnlwxwhGeCJIVjgVxKg3mCdA6FUIZohiMvgQ82gjwEgVFpAROGa4E6AQEB X-IPAS-Result: A0DQAAAsacxWjjRSfUpEGoQMbY15qlmEBxcGhzE7EQEBAQEBAQEBEAEBAQEHCwsJHzGCLYItCwYPAQUIAQEmDAY0AgUhAhECIwEFAS8GAgEBBRmHeQ4snzmBMT4xik1ngwaBOgEEgVuISQwYBgpxhReFcAGCWHKBfAstE4EnlwxwhGeCJIVjgVxKg3mCdA6FUIZohiMvgQ82gjwEgVFpAROGa4E6AQEB X-IronPort-AV: E=Sophos;i="5.22,489,1449529200"; d="scan'208";a="165708810" Received: from mail-wm0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Feb 2016 15:14:28 +0100 Received: by mail-wm0-f52.google.com with SMTP id g62so202885259wme.0 for ; Tue, 23 Feb 2016 06:14:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=reply-to:to:subject:from:organization:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=iwUSlNrWwcqjUfGWK3dHzrkmHLvvkbUEkMQiyJCtCr4=; b=jyJ2O8sx+/fbbLdSb7uOOtFbV1K3eDs1Y4lyYzYhJ2gGaejs2qYbRYXgIBioA+UWVR dIfITfsnVaRoj0WYmVVVya43f/7PffJf/EV7vdCxfxkA0Pk/TRr9C5n3nAAjIN9uq8Vm /50seMZitCfgXL4N4APp2t3JQTGwiJSaqXbDjtp/xhI1H3Wo9CMv0acbMsw0elfevWTx x3D3bb5zecplRnpCxfdDRCns/EV+chUxXkIEFxhGwDsGO7zy9WrIhhseuIOeLc333ZUi wvNisTqR1EZMfMZjC47hXuAMB8oYUMf3KW7IX8mRxbbOOaOOl+K1bQl2/EbQIYZMQMPW 1jsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:reply-to:to:subject:from:organization:message-id :date:user-agent:mime-version:content-transfer-encoding; bh=iwUSlNrWwcqjUfGWK3dHzrkmHLvvkbUEkMQiyJCtCr4=; b=gjdd6s2LKkY0qL+VfVzAXFoD/kvyPsOqpePm/vxB7rV9tAXpZDc/SeT+Ru26rUMeKQ 6Gyg5ccPLlHXCfoCx3YMnRPKf0RPcnL/HeAxSe4xbz4vvWQp2XAkpuZrOVAcZ5wZ9wOx Aa/N0dJ4+ubQclZ1dVEyQ3my6niOExrw8CS6/aZm4lLyxd4dfn3sDJFgMDCQTsNFkMA5 baNZkCjkQKhCayZuc290YxrKT78TJcsJaxF3oPb+QbKoNjxisqFAAhwWctP+3sZ0tS5G HvelGFeK4vCFkenI3ntbpKNVPlshvtDhWbOBafNns8JSukxissIp6fae9lRh44x8Fsge tzwQ== X-Gm-Message-State: AG10YOQi/LSwLkp8pRcVCJ9znJdo72OikIm8MRgOmn8pOeZYNcAOwH5HdeifrtFC/unByueX X-Received: by 10.28.2.68 with SMTP id 65mr17705203wmc.85.1456236868520; Tue, 23 Feb 2016 06:14:28 -0800 (PST) Received: from [172.16.43.76] ([192.167.71.12]) by smtp.gmail.com with ESMTPSA id js8sm29982599wjc.37.2016.02.23.06.14.26 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 23 Feb 2016 06:14:27 -0800 (PST) Reply-To: lpulina@uniss.it To: caml-list@inria.fr From: Luca Pulina Organization: University of Sassari Message-ID: <56CC6943.10102@uniss.it> Date: Tue, 23 Feb 2016 15:14:27 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: lpulina@uniss.it Subject: [Caml-list] QBFEVAL'16 - Solver submission deadline approaching [apologies for any cross-posting] ****************************************************************** QBFEVAL'16 - Competitive evaluation of QBF solvers Second Call for Solvers & Benchmarks A joint event with SAT 2016 - The Nineteenth International Conference on Theory and Applications of Satisfiability Testing - Bordeaux, France, July 5-8, 2016 ****************************************************************** QBFEVAL'16 will be the 2016 competitive evaluation of QBF solvers, and the eleventh evaluation of QBF solvers and instances ever. QBFEVAL'16 will award solvers that stand out as being particularly effective on specific categories of QBF instances. The evaluation will run using the computing infrastructure made available by StarExec. 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. People thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge 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. For questions, comments and any other issue regarding QBFEVAL'16, please get in touch with qbf16@qbflib.org. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval16.php Important Dates Registration open: February 1st 2016 Registration close: February 29th 2016 Solvers participating in competitive tracks due: March 1st 2016 Final versions of solvers participating in competitive tracks due: March 15th 2016 Benchmarks due: March 15th 2016 Solvers participating in non-competitive tracks due: April 30th 2016 Results: presented at SAT'16 Organizing committee Organization Luca Pulina, University of Sassari Judges Hubie Chen, University of the Basque Country and Ikerbasque Martina Seidl, Johannes Kepler Universität Linz Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Assistant Professor of Computer Science POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies University of Sassari e-mail lpulina@uniss.it http://sites.google.com/site/lpulina