[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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