[TYPES/announce] PLPV Discuss

[Aaron Stump]

PLPV Discuss

http://groups.google.com/group/plpv-discuss

The Programming Languages meets Program Verification (PLPV) workshop
has had as its goal, for its three meetings to date, to bring together
researchers from different communities interested in language-based
approaches to program verification.  The newly created "PLPV Discuss"
list, hosted on Google Groups, will provide a forum for discussing
both technical topics related to the workshop (see www.plpv.org for a
sample of these), and organizational matters and initiatives related
to the workshop.

The discussion list will begin as a public, unmoderated list.  The
organizers reserve the right to change to a moderated forum if need
arises.  We welcome researchers interested in PLPV and related topics
to join.  An initial post requesting feedback on a proposed journal
special issues on benchmark problems is there for discussion now.

Aaron Stump, Hongwei Xi