LPOP 2018

Workshop on Logic and Practice of Programming (LPOP)

Part of the Federated Logic Conference (FLoC) 2018

July 18, 2018

Oxford, UK


Logic is fundamental in programming. In particular, logic programming has seen great successes in challenging application areas such as deductive databases, program analysis, and security.  However, programming in practice has been dominated by imperative programming instead of declarative programming.

The workshop on Logic and Practice of Programming (LPOP) aims to bring together the best people from multiple areas related to programming with logic, and programming in practice, including but not limited to:

  • Traditional logic programming

  • Deductive database programming

  • Constraint programming

  • Mathematical programming

  • Answer set programming

  • Extended logic programming

  • Business rule programming

in order to discuss the integration of declarative and imperative programming. The ultimate goal is to improve programming with logic for the practice of programming and improve the practice of programming with logic.

LPOP encourages participants to contribute the best state-of-the-art in all related areas and discuss ideas for general and specific research directions in integrating declarative and imperative programming.  The goal is to better understand the current situation and find the best approaches going forward.


LPOP will consist of invited talks, presentations of position papers, and panel discussions.

Call for Position Papers

For position papers, the authors are requested to submit a statement of 2 pages. There are many possible themes for a position paper, including a survey of the authors' relevant recent research, a discussion of deficiencies in current languages and tools, challenges for future research, and a vision for change.

Submissions must be made in Springer's LNCS format via the page:


The papers will be uploaded to arxiv for future reference after the workshop has been completed.

Important Dates

Paper submissions: May 4, 2018

Notification: May 18, 2018

Camera-ready: June 1, 2018

Invited Speakers

John Hooker               Carnegie Mellon University

Rustan Leino              Amazon Web Services

Nicola Leone              University of Calabria

Michael Leuschel       University of Dusseldorf


Each panel topic, chair, and panelists will be announced here.


General Chairs

David S. Warren, Stony Brook University



Yanhong (Annie) Liu, Stony Brook University



Program Chairs

Marc Denecker, Katholieke Universiteit 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  

Neng-Fa Zhou        City University of New York