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 9132A5D4 for ; Mon, 10 Sep 2018 15:54:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,356,1531778400"; d="scan'208";a="345757012" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Sep 2018 17:54:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A695A824F0; Mon, 10 Sep 2018 17:54:30 +0200 (CEST) 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 6EB8181792 for ; Mon, 10 Sep 2018 17:52:32 +0200 (CEST) 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-it0-f99.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Afkd7uR+yywMpD/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0OscTK2v8tzYMVDF4r011RmVBdqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgL2hi?= =?us-ascii?q?kANDA3/mHZh9dsgK5HvB6tuwZyz5LIbIyTKfFwfrndfdQfRWdZUcZeSStBAo2y?= =?us-ascii?q?b4YUE+UBJvxUr4z8p1QUqBu+BBOgC/3yxT9VgHL9wKM00+MkEQ7c3QwgGcoDv2?= =?us-ascii?q?rOo9XuNKYdTeC1w7PJzTXZdf9W3i396IfQfh8/ufGMR7VwcdTPxkk1DQ/FiU+Q?= =?us-ascii?q?qYPjMjiI1eoNq3CW4/R8We+rkWIqqAF8riKxyssxhYTFnIYYx1Tc+SlkxIs5O8?= =?us-ascii?q?e0RUBmbdK+E5ZdszuWO5ZoTs4kXmpmojw1yqcctp6+ZCUKyIooxxrYa/GfdoiH?= =?us-ascii?q?+BPjVOKILTd5mHJpZKuzhxi2/EWk0OH8Wc600FFFripBjNbArGwC1xvW6sSfS/?= =?us-ascii?q?t9+Fmu2SqX2gzN9u1JJVo4mKnbJpI73LI8i5UevV7HEyLygEn2ibWZdkQg+uim?= =?us-ascii?q?8eTnZbDmq4eTN4BqjQH+PKoul9ejDuQjKAQOWmmb9v651L3i50H2XqhFjuAunq?= =?us-ascii?q?nDrJ/aPdgbprK+AwJNzoks8RO/DzO/3NQcnHkHN05FdQmcj4npPlHOOOr3Ae2+?= =?us-ascii?q?g1SqijdrxurJMqfvApXXfTD/l+K1dr947wtYyREv5dFZ/ZNdTL8bdqHdQEj04d?= =?us-ascii?q?PVCRE3GwevhePmAdB8kI4SRDHcSpSFOb/f5AfbrtkkJPOBMddM6WTNbsM97vur?= =?us-ascii?q?tkcX3FoUfK2nx5wSMSzqFe8gJkSQZHuqj9scQz5T4lgOCdfygVjHagZ9Im6oVv?= =?us-ascii?q?tgtDogToenBILCAI2hne7ZhXrpLthtfmlDT2u0PzLoeoGDAapebSuTJopgjmRB?= =?us-ascii?q?W+nwDYAm0h6quUnxzL81duc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CnBADakpZbh2PWVdFchGSBJ4xki0CYV?= =?us-ascii?q?YEQA1MBCiOIRRkHAQQ0FAECAQECAQEBAQETAQEBCA0JCBsOIwyCNSKDBSMBASM?= =?us-ascii?q?DBQ07NB0IAQUBIhwLgw0BggEPmTM8ihyCHYJ1AQEFgXGDCQcfgVwICQEIhj2BU?= =?us-ascii?q?oJEF4IAgRKCZINJAQIBGIELFXSCZYImnAoJhjmCfIZCIohJhieLOohEDyGBOIF?= =?us-ascii?q?gDghygzoJgiqDToUUhVpTAYtKgksBAQ?= X-IPAS-Result: =?us-ascii?q?A0CnBADakpZbh2PWVdFchGSBJ4xki0CYVYEQA1MBCiOIRRk?= =?us-ascii?q?HAQQ0FAECAQECAQEBAQETAQEBCA0JCBsOIwyCNSKDBSMBASMDBQ07NB0IAQUBI?= =?us-ascii?q?hwLgw0BggEPmTM8ihyCHYJ1AQEFgXGDCQcfgVwICQEIhj2BUoJEF4IAgRKCZIN?= =?us-ascii?q?JAQIBGIELFXSCZYImnAoJhjmCfIZCIohJhieLOohEDyGBOIFgDghygzoJgiqDT?= =?us-ascii?q?oUUhVpTAYtKgksBAQ?= X-IronPort-AV: E=Sophos;i="5.53,356,1531778400"; d="scan'208";a="278386485" Received: from mail-it0-f99.google.com ([209.85.214.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2018 17:52:05 +0200 Received: by mail-it0-f99.google.com with SMTP id p79-v6so30155041itp.3 for ; Mon, 10 Sep 2018 08:52:05 -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=n2WlYk49jk/zmrWE4nEnJs9JjHw/D9DoRq0tgfdfKYc=; b=agSXkY5NAqqUlIhoVyK/bQo4Ur24dXZuU/dVF4RoXeEtsoeb512QRYi0B2eCGK/cCD JSFK7XJixBaPjSmEVopae0r8CA03Ovq9tNmbVAVNkTxnODP/x2Oo9BIhtKZngxawA70R aaJjeH5CtDe4e6UJmg0Nun2QacQcv4Cbuja+/drN58NCNB7JYQVZDbOO16oN3FB2eala iBs6pkInqEVb36VFeJMHZKpctwNQxfzvtUkeMtc6WbqB73EzmZCAZLSu2ST2Iqt01Kgy aKg3nX0MfffwANxO6Jc/0Wqf4HKJNOGNjz9Oa8ac9tBXjZnQ4PrI0CFEIpT8yAig2L7p a5xg== 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=n2WlYk49jk/zmrWE4nEnJs9JjHw/D9DoRq0tgfdfKYc=; b=akblK7PWxBiR6xeCiRNQtFQb5DKkUPZo6OAUY1ZS2CKfpzmkU+ZmUvMDs6TTkGCflS 1hiRQnDzFh2HmDxZ4wDjzOhgCaaoOMCmOyVKLItkP1wQe7sQmifyEhR09y1xkZmtEaBS l6o7pBqLWcx+Ipfsjc9UorFVVofqVn8n3xa0fxVuYKEcOv2bG4rvXQGreBUUrHhOBMcN hJ6ZlOvcaYf619oJGS+qlD8+A3Ios36JQ5Kzunmo1WaPD5MKt7enkU24lwv4nCpDJJIz GJjl38rycoQPgvyrBD2GVEO9ouYJvvi3dPg3iSKmjLQ5VGLDm3ZQkBeU4ulhL8YMHbtt aP6Q== X-Gm-Message-State: APzg51D/aMZIZGww8UQ+gP6Xkm4H/ob0FYREhWPrRa3NBLqtILFKhCkI G2GGfODo419V8vdJoKNMzOEtxWKEPnZ+iPefUtVoEFPOXlwCHw== X-Google-Smtp-Source: ANB0VdZ/rkh0v9pj9jf7PVxmJbH/chpAyEc9nUws7i3WJHDEmSailmKG+HBhzcmTMTii1nQtfd1/mE4yU6xt X-Received: by 2002:a02:39a:: with SMTP id e26-v6mr19153516jae.135.1536594724449; Mon, 10 Sep 2018 08:52:04 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id b63-v6sm4807221itd.2.2018.09.10.08.52.03 for ; Mon, 10 Sep 2018 08:52:04 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 44DF51700DBF; Mon, 10 Sep 2018 11:51:51 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.98) Message-Id: <20180910155151.44DF51700DBF@cs.miami.edu> Date: Mon, 10 Sep 2018 11:51:51 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 13th International Workshop on the Implementation of Logics Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17068 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 Deadline: October 1, 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: + Submission of papers/abstracts: October 1st, 2018 + Notification of acceptance: October 12th, 2018 + Camera ready versions due: October 29th, 2018 + Workshop: November 16th, 2018 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 Geoff Sutcliffe University of Miami -- 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