The Coq mailing list

[geoff AT cs.miami.edu]

     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