LPOP 2018

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


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