  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.
