IWIL-2024: Editor's Preface

The International Workshop on the Implementation of Logics series started in 2000 on Réunion, and has been held in conjunction with the International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) for 15 events so far.

The 14th and 15th installments co-located with LPAR 2023 in Manizales, Colombia, and LPAR 2024 in Balaclava, on Mauritius in the Indian Ocean. The IWIL programs consisted of presentations for contributed and reviewed papers, invited talks, and panel discussions.

Each submitted paper was assigned to 3 members of the program committee and received at least two reviews. The committee decided to accept 4 papers in 2023 and 3 papers in 2024. 

This volume collects final versions of the six presented papers not already published in other venues.

IWIL-23 Contributions: 

• Jack McKeown (University of Miami, United States): A Framework for Running Reinforcement Learning Experiments in E
• Geoff Sutcliffe, Jack McKeown (University of Miami, United States) and Alexander Steen (University of Greifswald, Germany): A Chat with Bard
• David Fuenmayor, Christoph Benzmüller (Otto-Friedrich-Universität Bamberg, Germany): Searching for Wormholes in Proof-Space

IWIL-24 Contributions

• Stephan Schulz (DHBW Stuttgart, Germany): Shared Terms and Cached Rewriting
• Jack McKeown, Geoff Sutcliffe (University of Miami, United States): Dataset-Specific Strategies for the E Theorem Prover
• David Fuenmayor (University of Bamberg, Germany), Jack McKeown, Geoff Sutcliffe (University of Miami, United States): Towards StarExec in the Cloud