[TYPES/announce] Call for Participation: 2007 Workshop on ML

[ 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,

[TYPES/announce] 14 month position Imperial College London

[ 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

[TYPES/announce] Call for Participation: PLPV 2007

[ 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.