From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 8B63B7FB82 for ; Sun, 28 Feb 2016 11:32:27 +0100 (CET) IronPort-PHdr: 9a23:0kTMSBPtsBUe//Do1jAl6mtUPXoX/o7sNwtQ0KIMzox0Kfz/rarrMEGX3/hxlliBBdydsKIbzbSI+Pm8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxib75osGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoXzNNbSajxY4g/SLVZCnxmbzF0t/vTtRjYTQqJ6T41CTpK10ARRiKNrEqiBtai+hf94+F03S3fOcztUZg1Xy6j5uFlUkzShT8DJgI+pWXPl8hxiqtzvRSgvAc5wpKHTpuSMa9aY6jUNesHQWtHV44FUzRcBoK6ZqMSCesaJqBZs9+u9BM1sRKiCFz1V6vUwThSiyqtgfw3 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-f49.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.49; 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.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; 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-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DOAADmy9JWjjFSfUpEGoQMbbhLhAcXBocYPBABAQEBAQEBARABAQEBBwsLCR8xQQEEDQGBXoIoCwYPAQUIAQEmDAQCNAIFFgsCCwMCAQIBIgEFAS8GAgEBBRmHfQQKLKF3gTE+MYpNZ4MGgToBBIFbiAcMGAYKcYUXiElygXwLLROBJ5cRcYRogiSFZYFeS4N5gnQOhVCGaYYjL4EPN4I/gVFpARODT4I7XoE7AQEB X-IPAS-Result: A0DOAADmy9JWjjFSfUpEGoQMbbhLhAcXBocYPBABAQEBAQEBARABAQEBBwsLCR8xQQEEDQGBXoIoCwYPAQUIAQEmDAQCNAIFFgsCCwMCAQIBIgEFAS8GAgEBBRmHfQQKLKF3gTE+MYpNZ4MGgToBBIFbiAcMGAYKcYUXiElygXwLLROBJ5cRcYRogiSFZYFeS4N5gnQOhVCGaYYjL4EPN4I/gVFpARODT4I7XoE7AQEB X-IronPort-AV: E=Sophos;i="5.22,514,1449529200"; d="scan'208";a="166224874" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Feb 2016 11:32:26 +0100 Received: by mail-wm0-f49.google.com with SMTP id l68so25409894wml.0 for ; Sun, 28 Feb 2016 02:32:26 -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=dbIJKws60lv1lkca1GhJpXYZT6wVj4q5YdUjyNVYNvo=; b=xoW6MjHK1CSaFq4GhkM1GQrUyK0f8C7+JuKleC8Um2uR6ho+TRo6fh75MWqzdfYu6o YhCB8euiplWwbk81EBxDCn3ZeFz4+gI9ZanuFAizNhmMP5WPrK+Er5nZ7tTsL8HrN6lz YXLAWDSkQjqP2Yl3pYMD2JdOIzjMMeF3ecNsG0bVhoeONZ0p5NkHz5YFavyBEqjqWmlx UOOSkaVrT12p0nOnFpqpPIMdM0JV2Lp+vFC5ruDL3snCrek0TtY6b8MEQPWqVOsizLqo vLWFmykpa4uqYoVJ6/gx/BD+N+uWqViq+6qaJvJud77skcGf2pNALHQ7BQqwxKOqWThi 3YGw== 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=dbIJKws60lv1lkca1GhJpXYZT6wVj4q5YdUjyNVYNvo=; b=Lej+lGXhIlbiMNUDhpPMVM55wMUaLXbHT6Wx/eyi8x23IbQs6QDoyV6azYh5xzAMOs McsIbtXf2CG2ZsRE0jOX7qo8AIO0HS6MmnocOMYrQB2F1MWv3CmPCEv4c+eNFOOgm/wR xj5ktOmpZyNhMlb5FMmGTWGqqbdjqzJ5X/n6+H9jZN8RsNAFSDPUObxPmalSndjoCaQi VuwoSMmljwsAjXs1S2M0d4wV1b6d/yx5t6v6aU8kp/Q6N5LBDFM0NG3gUYiAIhal4qnm AjJTi+36WhADZKQ5Tr1cReIRLnZZrKelQVAhORo2Z4cu6jYjbp0YcxOhIoY9Aoy9gKjG Jcpw== X-Gm-Message-State: AD7BkJI612keMOg5bgXJoGdpyu7MdOYIimj58QauH/k8nGs0p0wdksgNVtDgC+jwwW+/FBNI X-Received: by 10.194.57.16 with SMTP id e16mr9660263wjq.105.1456655546685; Sun, 28 Feb 2016 02:32:26 -0800 (PST) Received: from [172.20.10.2] ([62.19.39.101]) by smtp.gmail.com with ESMTPSA id c26sm10894152wmi.24.2016.02.28.02.32.25 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 28 Feb 2016 02:32:25 -0800 (PST) Reply-To: lpulina@uniss.it To: caml-list@inria.fr From: Luca Pulina Organization: University of Sassari Message-ID: <56D2CCB8.4000300@uniss.it> Date: Sun, 28 Feb 2016 11:32:24 +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 - Deadlines extension! [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: March 7th 2016 (NEW) Solvers participating in competitive tracks due: March 7th 2016 (NEW) Final versions of solvers participating in competitive tracks due: March 22nd 2016 (NEW) Benchmarks due: March 22nd 2016 (NEW) 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