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 ESMTPS id 3ECAE5D4 for ; Tue, 25 Feb 2020 16:55:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,484,1574118000"; d="scan'208";a="437622311" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Feb 2020 17:55:45 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 200047F42C; Tue, 25 Feb 2020 17:55:45 +0100 (CET) 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 03C237F3B1 for ; Tue, 25 Feb 2020 17:52:58 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-oi1-f225.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Ateyp+RHXQHDIYKwSJH7FbJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78osmwAkXT6L1XgUPTWs2DsrQY0raQ4vqrCT1IyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRq7oR/Vu8UIjodvKaI8wQbVr3VVfO?= =?us-ascii?q?hb2WxnKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQLJbETorLXk76NXkuhff?= =?us-ascii?q?QwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi86JmQwLmhS?= =?us-ascii?q?sbKzI09nzch8pth6xZvR2hvQRyzZPKbo+SN/RwcKPTcMgGSWZdQspdSzZMDp+g?= =?us-ascii?q?Y4YJEuEPPfxYr474p1YWohuxGw6sBO3hyjJTmnD2xrc20+EgEQ7c2QwgHsgCv2?= =?us-ascii?q?rJo9XoMqoZTO67zK7NzTrZbvNW3y/w55bQchA7pvGMQ6x/cdDLxUkoDQPFgU2c?= =?us-ascii?q?ppL/MDOO1uUCr2ib4PBhVeK1kWInrBtxojepy8wxiYfJnpoYxk7Y+Sh92oo4Jt?= =?us-ascii?q?21RFRmbdOlEpZcrT+WO5V2T886Xm1lvDg2xqcItJKmZiQHy5AqywTCZ/CZdYWD?= =?us-ascii?q?/wjtW/yLIThigXJoYLK/iAi28Uin0uD8U9O70FdOriZcldnMt20B2wXd6sSZVP?= =?us-ascii?q?dw/l2t2TmI1wDU5eFEJV47mbDHJJ4mx748jpsTsULdES/qgEj6krOae0E+9uWr?= =?us-ascii?q?6+nreKjqq56eOoNulA3yLKQjltS6AesiMwgOW2ab+f671L3m5UD5T6tFjvo4kq?= =?us-ascii?q?nXq53VOd8bqrS8Aw9UyIkj7he/Ay2439sFgHkLNEhFdw6fj4j1J1HOJ+j1Auul?= =?us-ascii?q?jFSplDdn3vTGPrz6ApXRNXXDi7fgfbNl60FG0gYzzNZf54hVCr4bOv7zVFXx55?= =?us-ascii?q?TkCUptOAWxx6PjCc5h/oIYQ2OGRKGDZvD8q1iNs+0iJOeCTIQO/jP8Iv0kofPi?= =?us-ascii?q?kCxq0WQBdLWkiMNEIEuzGe5rdh3APSjcx+wZGGJPhTIQCfTwgQTeAzVIIXOzVq?= =?us-ascii?q?c9oDw3FdD+VNqRdsWWmLWEmRyDMNhWa2RBUA7eFH7pc8CDWq5JZnjIf4lulTsL?= =?us-ascii?q?UbXnQIgkh0n35V3KjoF/J++RwRU28Jfq1dx7/erWzE1g/icyCsWU1mDLQm1pzD?= =?us-ascii?q?oF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BQAgC8T1VehuGnVdFlhDmBHVVchHWEB?= =?us-ascii?q?oQcoW6BEANUAQgBAwEMIwwEAQGGQBwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQg?= =?us-ascii?q?LCwgphT4Mgjsigx8LIwEBIwMFDTs0HQgBBQEiHAsOgwQBgnsPoSmBBD2MWoJ/A?= =?us-ascii?q?QEFgkWDHgkjgR8JCQEIgSaHRoIZgkUaggCBETaFfwECARqBCxWDbIIsmCOXd4o?= =?us-ascii?q?XhU2JOyiOeYw1hEeRH4IGkmQPI4FGgXpygzoJRxgNV41gg1mFFIVfIzMCjEGCQ?= =?us-ascii?q?wEB?= X-IPAS-Result: =?us-ascii?q?A0BQAgC8T1VehuGnVdFlhDmBHVVchHWEBoQcoW6BEANUAQg?= =?us-ascii?q?BAwEMIwwEAQGGQBwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQgLCwgphT4Mgjsig?= =?us-ascii?q?x8LIwEBIwMFDTs0HQgBBQEiHAsOgwQBgnsPoSmBBD2MWoJ/AQEFgkWDHgkjgR8?= =?us-ascii?q?JCQEIgSaHRoIZgkUaggCBETaFfwECARqBCxWDbIIsmCOXd4oXhU2JOyiOeYw1h?= =?us-ascii?q?EeRH4IGkmQPI4FGgXpygzoJRxgNV41gg1mFFIVfIzMCjEGCQwEB?= X-IronPort-AV: E=Sophos;i="5.70,484,1574118000"; d="scan'208";a="340403092" X-MGA-submission: =?us-ascii?q?MDHqd5T9hcPhmuJIKTf6P5Y6kp9yZasgV32K4I?= =?us-ascii?q?MRV8aPkQTbdYbZ5IvNlkTmRuZYV9lNV7V/1y4V5CgMJrctFIiR9/uVkj?= =?us-ascii?q?v4tC5P0PZKJ6LBhmBX7UhXzSjwSJ8M2EgOtoz767SGKK3QIQCLLdz0np?= =?us-ascii?q?18bwjXOEvQPuvsnXyTcVF5bw=3D=3D?= Received: from mail-oi1-f225.google.com ([209.85.167.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Feb 2020 17:52:56 +0100 Received: by mail-oi1-f225.google.com with SMTP id l136so13198237oig.1 for ; Tue, 25 Feb 2020 08:52:56 -0800 (PST) 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=Nvn4M23k/WX/pdOGL4IJ0mR33nT/GFe/8Yr3jGQqKPU=; b=H1zsMKY2hIqOGHePm7ipwLrEfVy6b3jBpYnfKTV5CXDM2KuVCQ5rvh1+QEOlAr7A32 8DcifRbu4cYWky0mTmPaL61sZnTpHvEfOUecS4Gf4r4CmB+xIpA0n5C1U44y81pyyyTZ VlekSmSFNLBYxk/BxmJl01WqDFZYrMdIdwuj1mEea6pOJjsyy5vKGRLSL76MHZ7Wq1Dc u/B9hJai9DaQ9P1+DOwe5NWObMQshX7s+DxZjk23pd4HBTGKxzx2CNE8WBVb+Ghlp6o+ DgqZYB1JizWdwK03QE8f68gbRIIa/MYtHt0TmA6g0OTnem2Rv2aNhxM0Sj9YL29ReSje 35Pg== 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=Nvn4M23k/WX/pdOGL4IJ0mR33nT/GFe/8Yr3jGQqKPU=; b=cLnxCAkrnBw1wt159nhJgfumJycTTzOWjuUeOJL09kjQ5+0tlOm8F8vH3t2sG3dTTh kRgGIdjb4dfmeJZWUDkM0JnO4ScfhpPwh7Kdsr2Yj5V4XBEvmORZX7OlWiv3WWrIJvLq 7iQjmL/g87X+9W6SmP9HBsWb87bNwx2Iu9NRV1Gh3WEqW7ly/g8IE9lfoyNU40n6Ww8W khescomnLB3510sI3gLauV6sVmvD6H2If+yejiUmxY1sJZ0bESfpNP8xpMwzreRe7C0l 8/2mcyMZbkeM6jpYPZoy5AGjSwsuJcSaHOldLIgvYBZf7nJe9I7Q61GMM8KKURr4BhEZ ejKw== X-Gm-Message-State: APjAAAXnkJ1CT0ME168Z6xaC6KhQLpW2sYu5bQRB4pbo2yoqaDhyKVLz 3Ar8om/AeUV3ez7OEs/96U/sCvFYW2LMWQU5QtuD/JC2FHwOhg== X-Google-Smtp-Source: APXvYqy/tUbZOI1PUkxoiXikCB6UWx7aFNyHx1vap7/3yvDKf0ULEBYZm/UUtPvdYx4h++C7Dn0ZFA1MfRlM X-Received: by 2002:a05:6808:4c7:: with SMTP id a7mr4371716oie.83.1582649575424; Tue, 25 Feb 2020 08:52:55 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id e9sm16234otk.3.2020.02.25.08.52.54 for ; Tue, 25 Feb 2020 08:52:55 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id E7ECB1700639; Tue, 25 Feb 2020 11:52:38 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20200225165238.E7ECB1700639@cs.miami.edu> Date: Tue, 25 Feb 2020 11:52:38 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IWIL-14 at LPAR-23 - Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 18015 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: 14th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2020.html CALL FOR PAPERS Deadline: April 12th, 2020. The 14th International Workshop on the Implementation of Logics will be held on 22nd May 2020, in conjunction with the 23rd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, in Alicante, Spain. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, non-monotonic reasoning + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages) via the EasyChair page for IWIL2020. https://easychair.org/conferences/?conf=iwil2020 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. The proceedings will be published as a volume of Kalpa Publications in Computing. Important Dates: + Submission of papers/abstracts: April 12th, 2020 + Notification of acceptance: April 30th, 2020 + Camera ready versions due: May 15th, 2020 + Workshop: May 22nd, 2020 Program committee (so far - more coming): Konstantin Korovin (Co-Chair) University of Manchester Stephan Schulz (Co-Chair) DHBW Stuttgart Martin Suda (Co-Chair) Czech Technical University in Prague Armin Biere Johannes Kepler University Linz Franz Brausse University of Manchester Pascal Fontaine Université de Liège, Belgium Thibault Gauthier Czech Technical University in Prague John Hester University of Florida Jan Jakubuv Czech Technical University Yevgeny Kazakov The University of Ulm Jens Otten University of Oslo Giles Reger University of Manchester Andrew Reynolds University of Iowa Martina Seidl Johannes Kepler University Linz Alexander Steen University of Luxembourg Geoff Sutcliffe University of Miami Josef Urban Czech Technical University in Prague Petar Vukmirovic Vrije Universiteit Amsterdam to be completed