Image of , Mauritus
15th International Workshop on the Implementation of Logics

General Information

The 15h International Workshop on the Implementation of Logics will be held May 26th, 2024 in conjunction with the 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning on Mauritius.

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 1st, 2024
Notification of acceptance: April 22nd, 2024
Paper/Abstract submission deadline (2nd round): April 29th, 2024
Notification of acceptance (2nd round): May 13nd, 2024
Camera-ready paper versions due: May 20th, 2024
Workshop: May 26th, 2024


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-2024.

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.


The preliminary proceedings are now available.


Invited speaker

Tanel Tammet, Tallinn University of Technology

Full program

The program is now available at the LPAR/IWIL smart site.

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
Konstantin Korovin (co-chair) The University of Manchester
Cláudia Nalon University of Brasília
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 Max-Planck-Institute for Informatics
Martina Seidl Johannes-Kepler Universität Linz
Alexander Steen Universität Greifswald
Christoph Wernhard Universität Potsdam
Zsolt Zombori Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences

Previous Workshops