Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)

TL;DR

This workshop proceedings compiles abstracts and position papers from the second LPOP workshop, fostering interdisciplinary exchange of logic-based practices in programming within the context of SPLASH 2020.

Contribution

It provides a platform for sharing practical applications of logic across diverse computer science fields, promoting interdisciplinary collaboration.

Findings

Facilitates cross-disciplinary dialogue using formal logic.

Highlights practical logic applications in programming.

Connects diverse research areas through a common logical framework.

Abstract

This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction with the ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) 2020. 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.