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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6B90F7FA5E for ; Wed, 26 Apr 2017 23:12:22 +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@mcclellan.cs.miami.edu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjvZzrB8cxycJbP9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0escTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgH1hi?= =?us-ascii?q?kEOTA38HrahtBsgK5HvB6tuwBzz5LSbYqINPR+ZKTdfdYCSGpOQMlRUCJBAo2n?= =?us-ascii?q?YoQTFOoNJ+NYr4jnqFsLrBuyHxejC/7yyjRVgnP43LM10+MvEQHIwQcuAs8OsG?= =?us-ascii?q?jIo9XxNacSX+61w7fNwTjFcvhY1zD96I3SfRAgp/GBRax/ftDKyUgvCwzFjk+f?= =?us-ascii?q?qY3/Pz+P0eQNqWeb4ux9Xuysk24qsxx9rzyxyss2hITFm5gZx1PA+CljwYs4I8?= =?us-ascii?q?CzRlRhbt6+CpRQsjmXN4toTcMmRGFloCM6xaEatp6/YicKzJAnyATZa/Cdb4eI?= =?us-ascii?q?+QjvVOOQIThigXJleaiziAiv/ki90uH8V8+030hWriddj9XBsm4B2wbd58SaUP?= =?us-ascii?q?dw/UOs1SyO2gzL7+FLO0E0la7VK547xb4wk4IesUvdES/xlkX2grSbeVk/+uSy?= =?us-ascii?q?7uTnY6/pppqdN4NulA7xL7kultSlAeskKggOQ3Sb+eOk2bL/50L5RbFKguQykq?= =?us-ascii?q?nYq5DaOd8WprW5Ag9QyoYs8QyzDzag0NQCnHkINkhJeBydj9uhB1abK/n9CbK7?= =?us-ascii?q?gk+wuDZt3fHPeLP7UbvXKX2Wn7rmc7hV4FUazQs6yNEZ6p5JQvEuLfX9VAfKqc?= =?us-ascii?q?DTCh43PQH1kLWvM8l0yo5LATHHOaSeKq6H6VI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ATCQACDAFZ/wZZH8BdHQEFAQsBGQYMh?= =?us-ascii?q?AuBDIMaiwSSGoF0AZUUASuKZxQBAQEBAQEBAQEBAWoogjMggmYhKk0wBB1NihI?= =?us-ascii?q?OmyySMogKB4NFiDKCZoNUgguCAAxcgjEFnVCHGYMxiDWCZI8HlCc2IYEHZ4R0D?= =?us-ascii?q?IJfJDWIdQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ATCQACDAFZ/wZZH8BdHQEFAQsBGQYMhAuBDIMaiwSSGoF?= =?us-ascii?q?0AZUUASuKZxQBAQEBAQEBAQEBAWoogjMggmYhKk0wBB1NihIOmyySMogKB4NFi?= =?us-ascii?q?DKCZoNUgguCAAxcgjEFnVCHGYMxiDWCZI8HlCc2IYEHZ4R0DIJfJDWIdQEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,255,1488841200"; d="scan'208";a="270679897" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 26 Apr 2017 23:12:21 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 18B2312150E; Wed, 26 Apr 2017 17:12:21 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170426211221.18B2312150E@mcclellan.cs.miami.edu> Date: Wed, 26 Apr 2017 17:12:21 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 4th Vampire Workshop - Call for Papers ========================= Vampire 2017: The 4th Vampire Workshop August 7, 2017, part of CADE 2017 Gothenburg, Sweden http://easychair.org/smart-program/Vampire17/index.html ========================= CALL FOR PAPERS ========================= IMPORTANT DATES: Submission deadline: July 1, 2017 Notification of acceptance: July 7, 2017 Workshop day: August 7, 2017 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 2-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=vampire17 The workshop proceedings will be published in the EasyChair EPiC series. PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology) Andrei Voronkov (University of Manchester, Chalmers University of Technology and EasyChair)