Call for Participation

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

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