LPOP

LPOP 2020 with SPLASH 2020

Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submission ...