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