Logic of Programs and Their Applications, Proceedings