LPOP 2018 - Workshop on Logic and Practice of Programming (LPOP)

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