LPAR-19:Editor's Preface

This volume contains short papers presented at the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), held on December 12-17, 2013 in Stellenbosch, South Africa.

Following the call for papers, LPAR-19 received a record number of 152 submissions, materializing in 136 submissions with authors representing 31 different countries. Each submission was reviewed by at least three of the 37 PC members. The PC was assisted by 174 additional reviewers and decided to accept 44 regular papers and 8 tool descriptions and experimental papers. Once again the EasyChair system provided an indispensable platform for all matters related to the reviewing process, production of these proceedings, program and Web page generation, and registration of participants.

A record number of workshops collocated with LPAR-19. The International Workshop on Algebraic Logic in Computer Science was organized by Clint van Alten of the University of the Witwatersrand and Petr Cintula and Carles Noguera of the Academy of Sciences of the Czech Republic. The 2nd Workshop on Automata, Logic, Formal languages, and Algebra (ALFA'13s) was organized by Volker Diekert, Manfred Kufleitner, and Michael Matthiesen of the University of Stuttgart. The 7th International Workshop on Analytic Proof Systems (APS-7) was organized by Matthias Baaz and Christian Fermüller of the Vienna University of Technology. The 10th International Workshop on the Implementation of Logics (IWIL-10) was organized by Stephan Schulz of the TU München, Geoff Sutcliffe of the University of Miami, and Boris Konev of the University of Liverpool. The First Workshop on Logics and Reasoning for Conceptual Models was organized by Maria Keet  of the University of KwaZulu-Natal, Diego Calvanese  of the Free University of Bolzano, and Szymon Klarman and Arina Britz  of the CSIR-Meraka Institute in Pretoria. We were fortunate in having Laura Kovacs (Chalmers University of Technology) again as the LPAR-19 workshop chair.

Another key person in the LPAR community is Geoff Sutcliffe. This year, in his 5th LPAR organization, he teamed up with Bernd Fischer of the University of Stellenbosch. We thank them for the excellent organisation.

Finally, we acknowledge sponsorship from Microsoft Research.


Ken Mcmillan
Aart Middeldorp
Geoff Sutcliffe
Andrei Voronkov
July 27, 2014
Manchester