[ The Types Forum (announcements only),
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