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 80009800D1 for ; Wed, 1 Feb 2017 16:24:55 +0100 (CET) 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=3A83YKIRQA46BKaEO3nU3cJ/qRGNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YxeN2/xhgRfzUJnB7Loc0qyN4vymBzNLvs3J8ChbNscTB1ld0Y?= =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Izkn9y1rpbaZgENgDumfZtzKg+3pEPfrJo4m4xnf6k8zRXHinBTPe?= =?us-ascii?q?FXzGZpY1+fgl68ycq38pAryDlMsPYg+cBNEPapN58kRKBVWWx1e1s+49fm4EHO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DUAQDL/JFYfQZZH8BdhGSBCYMJshOCD?= =?us-ascii?q?QGJGBgDAQEBAQEBAQESAQEWMC+CMxmCQSEnAwVIMAQdWIleDpxNkiaICgeDUIx?= =?us-ascii?q?2gVSBGYNYgjEFkDSLKIZngxyHc5EKkwEfN4FOhR6CDiI2hWCCPAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DUAQDL/JFYfQZZH8BdhGSBCYMJshOCDQGJGBgDAQEBAQE?= =?us-ascii?q?BAQESAQEWMC+CMxmCQSEnAwVIMAQdWIleDpxNkiaICgeDUIx2gVSBGYNYgjEFk?= =?us-ascii?q?DSLKIZngxyHc5EKkwEfN4FOhR6CDiI2hWCCPAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,320,1477954800"; d="scan'208";a="258415378" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 01 Feb 2017 15:57:38 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id AEE061214D2; Wed, 1 Feb 2017 09:57:37 -0500 (EST) To: caml-list@inria.fr Message-Id: <20170201145737.AEE061214D2@mcclellan.cs.miami.edu> Date: Wed, 1 Feb 2017 09:57:37 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] IWIL 2017 with LPAR-21 in Botswana - Call for Papers 12th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2017.html CALL FOR PAPERS Deadline: March 20, 2017. The 12th International Workshop on the Implementation of Logics will be held on 7th May 2017, in conjunction with the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at Cresta Riley's Hotel in Maun, Botswana. 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-2017. https://easychair.org/conferences/?conf=iwil2017 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 EPiC Computing. Important Dates: + Submission of papers/abstracts: March 20th, 2017 + Notification of acceptance: April 10th, 2017 + Camera ready versions due: April 21st, 2017 + Workshop: May 7th, 2017 Program committee (so far - more coming): Stephan Schulz (Co-Chair) DHBW Stuttgart Geoff Sutcliffe (Co-Chair) University of Miami Josef Urban (Co-Chair) Czech Technical University Armin Biere Johannes-Kepler Universität Linz Jasmin Blanchette INRIA Nancy/MPI für Informatik Guillaume Burel ENSIIE/CEDRIC Stefan Hetzl Vienna University of Technology Jan Hladik DHBW Stuttgart Tommi Junttila Aalto University Boris Konev University of Liverpool Jens Otten Universität Potsdam Giles Reger The University of Manchester Andrew Reynolds University of Iowa Peter Schneider-Kamp University of Southern Denmark Laurent Simon University of Bordeaux Martin Suda Vienna University of Technology Bob Veroff University of New Mexico Uwe Waldmann Max-Planck-Institut für Informatik Bruno Woltzenlogel Paleo Australian National University