Logic and Practice of Programming
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, 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.