[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Below is the preliminary program for the 2007 Workshop on ML, which is
co-located with ICFP 2007 and will take place on Friday, October 5.
The early registration deadline is this Friday,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have a 14 month position at Imperial College to work on the EU
project
MOBIUS. We will be working on the use of type systems to support
modular verification.
The text for the ad, and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Programming Languages meets Program Verification (PLPV) 2007
Affiliated with ICFP 2007
Freiburg, Germany
Topic:
PLPV is concerned with language-based approaches to program
verification.