Logic and Practice of Programming (LPOP)

Oxford, UK, July 18, 2018 (held in conjunction with FLOC)

The focus of the 2018 Logic and Practice of Programming workshop is logic and declarative languages for the practice of programming. Of particular interest are languages that have a clear semantic foundation, so that they can be used for concise modeling of complex application problems, facilitating formal proofs and automated analysis, and that are also implementable, so that the implementations can run as specified, as part of real applications. Also of interest are the design of declarative languages, libraries, and tools that facilitate the construction of complex systems and applications, approaches to integrate declarative and procedural programming, and the use of declarative languages to facilitate other programming paradigms, e.g., distributed programming. The target audience for these languages are students who wish to model complex application problems, and practitioners who want to use them.

The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of "challenge problems", including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language. There will also be invited talks by the proponents of some well-known description methods. We will aim to group presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined.

Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and also to state whether they wish to present a talk at the workshop, explaining how they would express the challenge problems. Because we intend to bring together researchers from many parts of logic and declarative languages and practice of programming communities, it is essential that all talks be accessible to non-specialists. Instructions for preparing a position paper can be found here; follow this link for electronic submission through EasyChair.

The program committee will invite attendees based on the position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above.

Important Dates

Position paper due:   May 4, 2018
Attendee invitation:   May 18, 2018
Camera-ready:         June 1, 2018
Workshop:                July 18, 2018

Invited Speakers

John Hooker             Carnegie Mellon University
Rustan Leino             Amazon Web Services
Nicola Leone             University of Calabria
Michael Leuschel      University of Dusseldorf

Co-Chairs

David Warren            Stony Brook University
Annie Liu                   Stony Brook University

Program Committee Co-Chairs

Marc Denecker          KU Leuven
Tuncay Tekle             Stony Brook University

Program Committee

Molham Aref              Relational AI
Manuel Carro             IMDEA Software
Jason Eisner              Johns Hopkins University
Thomas Eiter             Technical University of Vienna
Jacob Feldman          OpenRules
Thom Frühwirth          University of Ulm
Michael Kifer              Stony Brook University
Mark Miller                 Google
Enrico Pontelli            New Mexico State University
Francesco Ricca        University of Calabria
Peter Van Roy            Université catholique de Louvain
Joost Vennekens        Katholieke Universiteit Leuven
Jan Wielemaker         Vrije  Universiteit Amsterdam
Neng-Fa Zhou            City University of New York