14th International Workshop on the Implementation of Logics
           http://www.eprover.org/EVENTS/IWIL-2020.html

                        CALL FOR PAPERS
                   Deadline: April 12th, 2020.

The 14th International Workshop on the Implementation of Logics will be held on
22nd May 2020, in conjunction with the 23rd International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning, in Alicante, Spain.

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 IWIL2020.
   https://easychair.org/conferences/?conf=iwil2020

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: April 12th, 2020
+ Notification of acceptance:     April 30th, 2020     
+ Camera ready versions due:      May 15th, 2020     
+ Workshop:                       May 22nd, 2020                  

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  
Armin Biere    Johannes Kepler University Linz
Franz Brausse    University of Manchester
Pascal Fontaine    Université de Liège, Belgium
Thibault Gauthier    Czech Technical University in Prague
John Hester    University of Florida
Jan Jakubuv    Czech Technical University
Yevgeny Kazakov    The University of Ulm
Jens Otten    University of Oslo
Giles Reger    University of Manchester
Andrew Reynolds    University of Iowa
Martina Seidl    Johannes Kepler University Linz
Alexander Steen    University of Luxembourg
Geoff Sutcliffe    University of Miami
Josef Urban    Czech Technical University in Prague
Petar Vukmirovic    Vrije Universiteit Amsterdam
to be completed