PLPV Discuss

plpv-discuss@googlegroups.com

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.

Language

English (United States)

Privacy

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post

Invited users

can join group