Image of the Basílica Menor Inmaculada Concepción, Manizales
14th International Workshop on the Implementation of Logics

General Information

The 14th International Workshop on the Implementation of Logics will be held 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.

Important Dates

Paper/Abstract submission deadline: April 10th, 2023
Notification of acceptance: May 9th, 2023
Paper/Abstract submission deadline (2nd round): May 15th, 2023
Notification of acceptance (2nd round): May 22nd, 2023
Camera-ready paper versions due: May 29th, 2023
Workshop: June 4th, 2023


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) via the EasyChair page for IWIL-2023.

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. The final proceedings will be published via a suitable workshop proceedings publisher.

Program committee

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

Previous Workshops