Description
This is a discussion list for topics related to the Programming Languages meets Program Verification (PLPV, www.plpv.org) workshop. Both technical subjects and organizational ones (e.g., should we have a demo day at the next PLPV) are welcome for discussion.