Workshop on Logic and Practice of Programming (LPOP)

Part of the Federated Logic Conference (FLoC) 2018

July 18, 2018

Oxford, UK



Overview


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.



Format

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:


https://www.easychair.org/conferences/?conf=lpop2018


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


Panels


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


Organization


General Chairs

David S. Warren, Stony Brook University

warren@cs.stonybrook.edu

http://www.cs.stonybrook.edu/~warren


Yanhong (Annie) Liu, Stony Brook University

liu@cs.stonybrook.edu

http://www.cs.stonybrook.edu/~liu



Program Chairs

Marc Denecker, Katholieke Universiteit Leuven

marc.denecker@cs.kuleuven.be

https://people.cs.kuleuven.be/~marc.denecker


Tuncay Tekle, Stony Brook University

tuncay@cs.stonybrook.edu

http://www.cs.stonybrook.edu/~tuncay



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