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 F15AA5D5 for ; Tue, 28 May 2019 12:53:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,523,1549926000"; d="scan'208";a="385048633" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 May 2019 14:53:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A4727826E4; Tue, 28 May 2019 14:53:28 +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 3FA487ED69 for ; Tue, 28 May 2019 14:43:16 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-pf1-f228.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AmtmifRKDSnFgrHUKMtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKPnxwZ3uMQTl6Ol3ixeRBMOHsqsC0rCL+P28EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCegbb9oMRm6swXcusYWjIZtN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9gr9FrhympBJxzY7abZqJOPZiYq/RYckXSXZdUstXSidPApm8?= =?us-ascii?q?b4wKD+cZMuZXsY79p1UArRalGQasH/njyjpJhnDs2K060v4tHh/b0ww9Gd8FrX?= =?us-ascii?q?rarNLwNKgIUOC1yrHFwivZYPNN2Tby9IjIfQogofGWR75wdtDRyUYpGgjYjVuQ?= =?us-ascii?q?sZToMy2J2ukJqWSW7OptWfixh2I6tw19uCajytkvh4XRm44Yzk7I+T93zYooP9?= =?us-ascii?q?G1S0p2bcS5HJdOsSyRKpF4Tdk4Q25yvSY30r0GtoC/fCgN0JknwgTQa/2Dc4SR?= =?us-ascii?q?+hLjWvudLS52hH57Zr6yhAy+8Uenyu37Wcm01EhFojBZndnLs3ABzx3T6s6ZRf?= =?us-ascii?q?th5kqtxyqD2gTJ5uxHIU04j7TXJ4M9zrIqiJYfr0fOEjfzmErsja+Wcksk+vKv?= =?us-ascii?q?6+TierjmqYGTN4h6igHwKakhhte/Df49MggPRWeb/OW82Kf98kLkXbVGluc2nb?= =?us-ascii?q?XBsJDGOcQboba0DBNP3YYm7xazFjOm0NUDnXkbN19FYxKGj43xO17UOvz4DPG/?= =?us-ascii?q?g06tkDhx3fzGMKfhUd3xKS2Xm77kefN56lVA4As119FWoZxOXOIvOvX2D0D8s9?= =?us-ascii?q?LWJhQidQm1yuPmTthxy9BNEVmTC7OUZfuB+WSD4fgidrHVOd0l/Q3lIv1g3MbA?= =?us-ascii?q?yH80nVhHI/us1JoTLWi2R7FoeR/JJ3XrhdgFHCEBuQ9sFLW72m3HaiZaYjOJZ4?= =?us-ascii?q?x54zg6DIy8CoKaGtKmm/qE3S6+H9tban0UUwnQQ0etTJ2NXrI3UAzXOtVoy2BW?= =?us-ascii?q?XqPnTo4o0BDouQPnmeJq?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BYAgDmK+1ch+TSVdFkHgEGBwaBZYJ6U?= =?us-ascii?q?lqNDqYdA1QBCAEDAQwjDAEBhyUbBwEENBMBAwEBBAEBAgEBAwETAQEBCA0JCCk?= =?us-ascii?q?jDII6IoMSIwEBJhI7NB0IAQUBIhyDGQGCCg+dEDyKL4IggnkBAQWCSIMKByCBJ?= =?us-ascii?q?wkJAQiBIoZ9ghGCRReBf4NuB4NNAQIBGIIUgm+CJotInCZpCYhDhEiIDSeMTIl?= =?us-ascii?q?9hAGPb48PDyGBRYF4coM6CYEOeBqDVoUUhVsjMwGPFQEB?= X-IPAS-Result: =?us-ascii?q?A0BYAgDmK+1ch+TSVdFkHgEGBwaBZYJ6UlqNDqYdA1QBCAE?= =?us-ascii?q?DAQwjDAEBhyUbBwEENBMBAwEBBAEBAgEBAwETAQEBCA0JCCkjDII6IoMSIwEBJ?= =?us-ascii?q?hI7NB0IAQUBIhyDGQGCCg+dEDyKL4IggnkBAQWCSIMKByCBJwkJAQiBIoZ9ghG?= =?us-ascii?q?CRReBf4NuB4NNAQIBGIIUgm+CJotInCZpCYhDhEiIDSeMTIl9hAGPb48PDyGBR?= =?us-ascii?q?YF4coM6CYEOeBqDVoUUhVsjMwGPFQEB?= X-IronPort-AV: E=Sophos;i="5.60,523,1549926000"; d="scan'208";a="385045461" X-MGA-submission: =?us-ascii?q?MDHa/g2vzUU3Oh+pPzmiKgznDfNqrQo7C2zSgK?= =?us-ascii?q?rlZyWBOxQYrzQ8ku40ZRUQvj06Yx6uNninAn+3a90O4bAVHP6rHdM37F?= =?us-ascii?q?YiSEnBFUpkjlTUACGRqohIing0T2RL/XBflM1Sqgu8ng+EepOU0K1z0/?= =?us-ascii?q?ZTNjmxFNf7hyM2jXCmt00QHg=3D=3D?= Received: from mail-pf1-f228.google.com ([209.85.210.228]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 May 2019 14:41:34 +0200 Received: by mail-pf1-f228.google.com with SMTP id z28so11418624pfk.0 for ; Tue, 28 May 2019 05:41:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=8rZkY2NGQfgrFP32lBPnnWuMv3Q5cIKvwgYSxHuC2EM=; b=Mbcmvg1ViFLG7Fq/elwREuHks3Lk8WO3In0wl39iC4b5mPPEF4qOwf5iEd0KifD5oq IyqyNEn5jMulXpN0O/FVft79FqD25+PbfTpBaloTpb27wlt63h0bUp+0DdpXe0JhNlCu 8+ivOE+NH+lM4ebGNDgAPItVgtJaWQ7fgw/hAM9tPlbyiMyHyVI+tiY3gyG0fBUmO5KY oMjh3aI/KWjK+au0ObGKtv9xinjIyA6X1h/4AIdQLSrXYFChZ1jN05VCLMh3Gq1Nxc+M Bd09LKqN+J83mbLKC9YC1CGLPqAiIYcaMXYs0JJfa8fPxpH37z84ZGlz/IL24P0fifvS wgMQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=8rZkY2NGQfgrFP32lBPnnWuMv3Q5cIKvwgYSxHuC2EM=; b=iPUJfv7h2XjWATHYcGk0zJzTH8XurNwJEbUXfTG7Tj77tDqOKKWoY6FuW/S7T3yR9f 9O+xC2k5Y6/23zgb/B/74++mVQR8lj70Iah1sCPg/1WsWEeEJOWdHSa6hgn0tVLnHsrM 9edIpmQCY8eZ75N1QF1kUh/DfZz+Uvfd8fKIkXJ9U+tzmUkebSjBmPceIDllKa99R7zB 0LiFR9K9BKQSxVrJVSdsG5qiuX1czy7JeaejAL2F4O9qgAhzvqsvNeVZuJLr6rRiea0O EDzub0cGf80Yprnjt0bEVn+t4WYIi2Sv9t1g/qNqRphWd042meFSU8X8GKdyuK2TY6ON xhhQ== X-Gm-Message-State: APjAAAUArXeDbOxPDLwTP8SA0mu9/lnd+5PBzDcb3IDPWmDu6Fao+3Ju ONWOZOGZ9Jzk5tQf7vREvfE0rJWzhfeqnFC/+4nIvPv58ZjPbQ== X-Google-Smtp-Source: APXvYqygLs0lmgBE5iBE0smknP2nkUs0BfdiEo+Qpaf3Oxf5ZK+8aizOunD5Y1+CLZ3ZfvjeISj0Xq/IZSJK X-Received: by 2002:a17:90a:e17:: with SMTP id v23mr5607429pje.139.1559047290818; Tue, 28 May 2019 05:41:30 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id m9sm162391pjv.8.2019.05.28.05.41.30 for ; Tue, 28 May 2019 05:41:30 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 65DED1700A24; Tue, 28 May 2019 08:41:11 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190528124111.65DED1700A24@cs.miami.edu> Date: Tue, 28 May 2019 08:41:11 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] The 6th Vampire Workshop - CFP Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17580 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: ========================= Vampire 2019: The 6th Vampire Workshop July 7, 2019, affiliated with SAT 2019 Lisboa, Portugal https://easychair.org/smart-program/Vampire2019/index.html ========================= CALL FOR PAPERS ========================= IMPORTANT DATES: - Submission deadline: June 16, 2019 - Notification of acceptance: June 19, 2019 - Workshop day: July 7, 2019 WORKSHOP AIM: The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION: We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 1-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link : https://easychair.org/conferences/?conf=vampire2019 The workshop proceedings is planned to be published in the EasyChair EPiC series. PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology) Andrei Voronkov (University of Manchester and EasyChair) ------------------------------------------------------------------------------