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 579D481798 for ; Mon, 8 Jul 2013 16:03:27 +0200 (CEST) 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 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusFAAHG2lHAH1kG/2dsb2JhbABagzuCbKxYAZMOdIJoJwMFSDAEHU0Lh3sMmDOXbYgGjjOERmkDlACDUpFJgy0ggSw X-IPAS-Result: AusFAAHG2lHAH1kG/2dsb2JhbABagzuCbKxYAZMOdIJoJwMFSDAEHU0Lh3sMmDOXbYgGjjOERmkDlACDUpFJgy0ggSw X-IronPort-AV: E=Sophos;i="4.87,1020,1363129200"; d="scan'208";a="25024895" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 08 Jul 2013 16:03:26 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id D43AF1215D9; Mon, 8 Jul 2013 10:03:25 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20130708140325.D43AF1215D9@mcclellan.cs.miami.edu> Date: Mon, 8 Jul 2013 10:03:25 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 10th IWIL Workshop, in South Africa 10th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2013.html The 10th International Workshop on the Implementation of Logics will be held on December 14th, 2013, colocated with the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Stellenbosch, South Africa. 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, and non-monotonic logics + 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 + Practical constraint handling + 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 papers (up to 15 pages). Submissions should be made via EasyChair at http://www.easychair.org/conferences/?conf=iwil2012 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. Proceedings will be published as EasyChair Proceedings. If number and quality of the submissions warrant it, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates: Submission of papers/abstracts: October 14th, 2013 Notification of acceptance: November 11th, 2013 Camera ready versions due: December 2nd, 2013 Workshop: December 14th, 2013 Program committee: Stephan Schulz (Co-Chair) TU München Geoff Sutcliffe (Co-Chair) University of Miami Boris Konev (Co-Chair) University of Liverpool Leonardo de Moura Microsoft Research Peter Baumgartner NICTA/Australian National University Uwe Waldmann MPI für Informatik Guillaume Burel ENSIIE/Cedric Andrew Reynolds University of Iowa Tommi Junttila Aalto University Konstantin Korovin The University of Manchester Graham Steel INRIA