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 ACF6E1E6 for ; Tue, 2 Oct 2018 17:25:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,332,1534802400"; d="scan'208";a="349157870" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Oct 2018 19:25:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2CC13824CF; Tue, 2 Oct 2018 19:25:41 +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 C9CC7824CF for ; Tue, 2 Oct 2018 19:21:04 +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-ua1-f98.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AosNHCBPGfUh6xT/e6c8l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf/6rarrMEGX3/hxlliBBdydt6obzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kaKTA392LZhMJwgq9AvB6tuwBzz5LObY2JKPZzeL7Wc9MARWpGW8ZcTyNBDZ27?= =?us-ascii?q?b4sBAeoMJvpXr5Lnq1sLrBuxHwysBOL1xjBWm3D2wKs32PkvHwHB2QwvBdMOsH?= =?us-ascii?q?LModrrLqgSSuC0w7XIzTrZbvNWwy3x6I/SchAuuf2DQ6pwcdDWyUkxCQzFlE+c?= =?us-ascii?q?qYv/PzOa0OkGrmuV7/J4WO6xl2Iqrxt9rzuvy8s2lIXFmJwZxkrA+Ch62Io5ON?= =?us-ascii?q?m1RFBhbdOqDZdcrSKXOo9sTs8/XW1lvjsxxKcctp6hZicKzYwqxx7BZPyDdIiF?= =?us-ascii?q?+hfjW/yQITd8nX5lZaiwiwur/UiuzuDxVdO40FlNripCndnMsm4C2wbP5ciAT/?= =?us-ascii?q?tx5kah2TCR2ADP8uxIP1w4mK7BJ5MiwrM8jIQfvVrdEiPsnEj7j7eadkA+9eip?= =?us-ascii?q?7+TnbK/mppiZN4JshQHxLKMumsKxAekjLgcORHKX+eG91LL5+E35Qa9GgeMrna?= =?us-ascii?q?nEqJzaP9gUpralAw9J1YYu8wqwAC2j0NQchHUHKFNFeAmbj4XyIFHPIPX4De+l?= =?us-ascii?q?jFi2kTdrwerGPrz7DZnXIHjDiuSpQbEov0VVzQ52ydFE+7pVDKsAKbT9QBmims?= =?us-ascii?q?bfC0o2Pgu6zc7sE5N414obWCSCDrLKY+vprVaU67d3cKG3b4gPtWOlcql317vV?= =?us-ascii?q?lXY83GQlU+ys1JoTZmq/G606cU6CJ3/ti9IAV2oGo1hnFbC4uBi5STdWIk2Kce?= =?us-ascii?q?ck/DhiVNCtFsHGR4mogfqM0DrpRsQLNFADMUiFFDLTT6vBW/oIb3jPcMpokzhB?= =?us-ascii?q?SLH4DoFwhVehswj1z7chJe3RqHUV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CABgAHqLNbh2LeVdFahHeBJ4hYhBCLP?= =?us-ascii?q?IMFlWQUgRADUwEKI4hZGQcBBDIWAQMBAQIBAQEBARMBAQEIDQkIKSMMgjUigwU?= =?us-ascii?q?jAQEjAwUNOzQdCAEFASIcC4MNAYIBD5t5PIocgh2CdQEBBYF8gxQHIIFcCAkBC?= =?us-ascii?q?IZcgVKCQxeCAIESgl0Hg0kBAgEYgQsVg1mCJp0+CYZIgw2GWCKIfoZcglqJNok?= =?us-ascii?q?hDyGBKASBbA4IcoM6CYIqGoM1hRSFWlMBjAaCTQEB?= X-IPAS-Result: =?us-ascii?q?A0CABgAHqLNbh2LeVdFahHeBJ4hYhBCLPIMFlWQUgRADUwE?= =?us-ascii?q?KI4hZGQcBBDIWAQMBAQIBAQEBARMBAQEIDQkIKSMMgjUigwUjAQEjAwUNOzQdC?= =?us-ascii?q?AEFASIcC4MNAYIBD5t5PIocgh2CdQEBBYF8gxQHIIFcCAkBCIZcgVKCQxeCAIE?= =?us-ascii?q?Sgl0Hg0kBAgEYgQsVg1mCJp0+CYZIgw2GWCKIfoZcglqJNokhDyGBKASBbA4Ic?= =?us-ascii?q?oM6CYIqGoM1hRSFWlMBjAaCTQEB?= X-IronPort-AV: E=Sophos;i="5.54,332,1534802400"; d="scan'208";a="349157363" Received: from mail-ua1-f98.google.com ([209.85.222.98]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Oct 2018 19:21:03 +0200 Received: by mail-ua1-f98.google.com with SMTP id y16-v6so1016840uaa.7 for ; Tue, 02 Oct 2018 10:21:03 -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=0EPW5ZsoTbgy7XNJqvtRPFILiQ8LCpBoax/4QJjkIC8=; b=fsNZtWPZxZDS4rYrTMX6QQYBNa7G7940AbRLTBhs3tZjKe4L4EPcX6VeKS9mLuYUHJ sP9uP3KBDfvBFOW0UXea5tUKTN5OS7LnA1B2jVx5OOQmwDduzUxUZrxBEgy+uAnUyaOu C18FHWStRlLoFRk4owiXI4ybaaG0KvwIEgKMyESIJ+H+1VjxgOpf153S7Zz3UFwlslCF cetmcI8M8zMMpckuqRQmELCAqxCiteVXQog8kyzx1ZZFilE4JCmaQVSdQ7QdKls3HLnT wu7nKFO17r9BKatO/5zbjW/E9apuVNnyi4WiPoE+tjUgKHE+4LUrqIBjUcFbq4jujWip vnWQ== 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=0EPW5ZsoTbgy7XNJqvtRPFILiQ8LCpBoax/4QJjkIC8=; b=X7CFcRbeIIP8t2fel784JQNH+dhGRQotPeXUHTQxYa9gwoXM6l/oKjU53AKCdICcIF yKC5mdSJLkgey1rRuDSw4yJB3ooIGI+AfrmdgNxfdcKi5JIT1rbd/4bjU7OFIWLipEEU QyR7O/g5ayptPGPysivVwVPWTBBQRoyKBfT1ntqfdcb/aiqffPrqZyF7DfhxG8rTdMgY pnuqdNRJAxxM9GHvqBUiXu3eSj2Y7+NLeLohRKGlUYyB63Z01ZbqlLBFTyz5Zb/wxxLG fEVgIkMpXClzbeBQFxEqt7/8SvKJRpTWJIWMEu0xVa7MLiBMOxkWWw3GnQG/UUQJWb4f xGTA== X-Gm-Message-State: ABuFfoilvov06Rbh5I7y0bnNFqNvtFgUKtW71qdmG/ztQcGUrUzBMSy1 RpKLHzVzJhrzquW36I1uWDrYq1JGwT9UAW5YFDhVvoZxVZcMrw== X-Google-Smtp-Source: ACcGV63eBPnAXW7niWj/QRWWRtIQ8Qdc6WEgTbXMDS81kcuUARLTSKeJXb1ih4JRvAASij45ligt6a8r7//L X-Received: by 2002:ab0:9db:: with SMTP id e27mr4618287uah.71.1538500862880; Tue, 02 Oct 2018 10:21:02 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id p62-v6sm1572860vsc.4.2018.10.02.10.21.02 for ; Tue, 02 Oct 2018 10:21:02 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id E66A31700DD7; Tue, 2 Oct 2018 13:20:34 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20181002172034.E66A31700DD7@cs.miami.edu> Date: Tue, 2 Oct 2018 13:20:34 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17090 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: The 13th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2018.html CALL FOR PAPERS Second Phase Submission Deadline: October 11, 2018. Authors will be notified by: October 19th, 2018. The 13th International Workshop on the Implementation of Logics will be held on 16th November 2018, in conjunction with the 22nd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at the Haile Resort in Awassa, Ethiopia. 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 IWIL-2018. https://easychair.org/conferences/?conf=iwil2018 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: First phase: + Submission of papers/abstracts: October 1st, 2018 + Notification of acceptance: October 12th, 2018 Second phase: + Submission of papers/abstracts: October 11st, 2018 + Notification of acceptance: October 19th, 2018 + Camera ready versions due: October 29th, 2018 + Workshop: November 16th, 2018 Program committee: 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 Universitaet Linz Jasmin Christian Blanchette Vrije Universiteit Amsterdam, LORIA Nancy Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA Yevgeny Kazakov Ulm University Jens Otten University of Oslo Giles Reger University of Manchester Andrew Reynolds University of Iowa Martina Seidl Johannes-Kepler Universit??t Linz Alexander Steen Freie Universitaet Berlin Geoff Sutcliffe University of Miami Josef Urban Czech Technical University -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs