LPAR 2024C: Editor's Preface

This volume contains the short presentation papers presented at LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning held on May 23-29, 2024 in Port Louis. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas. 

The  LPAR-24 program featured four invited talks given by Erika Ábrahám (RWTH Aachen University, Germany), Armin Biere (University of Freiburg, Germany), Joost-Pieter Katoen (RWTH Aachen University, Germany), and Kuldeep Meel (University of Toronto, Canada). We warmly thank them all for their participation and contributions.

We thank Geoff Sutcliffe, Kim Guého, Priya Gowreesunkur, Jean Daniel Ross, Sheetal Kalisaran, and Hello Islands for their help in organizing the conference. We also thank EasyChair for sponsorship, and for providing an amazing tool for submitting papers, collecting reviews, and producing the LPAR-25 proceedings as an EPiC volume.


Nikolaj Bjørner
Marijn Heule
Andrei Voronkov
May 24, 2024
Mauritius