Write a Blog >>
LPOP 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Conference Editions
Sun 15 - Fri 20 November 2020 Online Conference

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