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

no code implementations • 17 Nov 2022 • David S. Warren, Peter Van Roy, Yanhong A. Liu

This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop.

Formal Logic Position

LPOP: Challenges and Advances in Logic and Practice of Programming

no code implementations • 15 Aug 2020 • David S. Warren, Yanhong A. Liu

This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Federated Logic Conference (FLoC) 2018.

AppLP: A Dialogue on Applications of Logic Programming

no code implementations • 7 Apr 2017 • David S. Warren, Yanhong A. Liu

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.