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.

FormatLPOP 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.