14th International Workshop on the Implementation of Logics

CALL FOR PAPERS: deadline April 10th, 2023.

The 14th International Workshop on the Implementation of Logics will be held on June 4th, 2023, in conjunction with the 24th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, in Manizales, Colombia.

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
• 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 paper (up to 15 pages) via the EasyChair page for IWIL2023: https://easychair.org/conferences/?conf=iwil2023

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 10th, 2023
• Notification of acceptance: May 2nd, 2023
• Camera ready versions due: May 22nd, 2023
• Workshop: June 4th, 2023
• Final versions due: June 19th, 2023

Program committee (so far - more coming):

• Konstantin Korovin (Co-Chair) University of Manchester
• Stephan Schulz (Co-Chair) DHBW Stuttgart
• Michael Rawson (Co-Chair) TU Wien
• Katalin Fazekas TU Wien
• Jasmin Blanchette Ludwig-Maximilians-Universität München
• Simon Schwarz Max-Planck-Institute for Informatics
• Franz Brauße University of Manchester
• Petra Hozzová TU Wien
• Johannes Schoisswohl TU Wien
• Alexander Steen Uni Greifswald
• Jan Jakubův Czech Technical University
• Boris Konev University of Liverpool
• Daniela Kaufmann TU Wien
• Christoph Wernhard University of Potsdam
• Giles Reger Amazon Web Services, University of Manchester
• Armin Biere University of Freiburg
• Yevgeny Kazakov The University of Ulm
• Martina Seidl Johannes Kepler University Linz
• Eugenia Ternovska Simon Fraser University
• Haniel Barbosa Universidade Federal de Minas Gerais
• Ahmed Bhayat University of Manchester
• Andrew Reynolds University of Iowa
• Jens Otten University of Oslo
• Pascal Fontaine Université de Liège, Belgium
• (more to follow)