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

2022/11/17 by David S. Warren, Peter Van Roy, Warren, David S. +3
Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)

paper · pdf · doi:10.48550/arxiv.2211.09923

openalex publication_date 2022/11/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
• Proceedings of the 12th International Workshop on Logic Programming Environments
• Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
• Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain
• Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)