Please find the workshop report here:
LPOP: Challenges and Advances in Logic and Practice of Programming