Workshop Report

Logic and Practice of Programming (LPOP)

Please find the workshop report here:

LPOP: Challenges and Advances in Logic and Practice of Programming