LPOP 2020
Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States
co-located with SPLASH 2020
Conference Editions
Sun 15 - Fri 20 November 2020 Chicago, Illinois, United States

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