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