LPAR 2023: Editor's Preface

This volume contains the papers presented at the 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-24), held during June 4-9, 2023, in Manizales Colombia. 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. 

Following the call for papers, LPAR-24 received 58 submissions. Each submission was reviewed by at least three of the 42 Program Committee (PC) members. We sincerely thank all the PC members and external reviewers for their tireless work and endless discussions that helped to shape the LPAR-24 exciting program.

This year there were two exciting events collocated with LPAR-19. The 14th International Workshop on the Implementation of Logics was organized by Konstantin Korovin, Michael Rawson, Stephan Schulz and Simon Schwarz. In addition, David Toman held a tutorial titled “From Data Independence to Ontology Based Data Access (and back)”. 

The  LPAR-24 program featured four invited talks given by Konstantin Korovin (The University of Manchester, UK), Mauricio Ayala-Rincón (Universidade de Brasília, Brazil), Marijn Heule (Carnegie Mellon University, USA), and Roderick Bloem (Graz University of Technology, Austria). We warmly thank them all for their participation and contributions.

LPAR-24 is grateful for the generous support from the Faculty of Exact and Natural Sciences of the National University of Colombia. We thank the local organizers, Professor Fabian Fernando Serrano Suarez at the University, and the local organizers from Campus. We also thank EasyChair for sponsorship, and for providing an amazing tool for submitting papers, collecting reviews, and producing the LPAR-24 proceedings as an EPiC volume.