[TYPES/announce] Call for papers: Workshop on Termination (WST 2009)

2009-03-13 Thread voigt
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Discussion of type-based approaches for dealing with termination would be very much welcome! . Tenth International

[TYPES/announce] ECOOP 2009 Call for Student Volunteers

2009-03-13 Thread Dave Clarke
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ECOOP'2009 23rd European Conference on Object Oriented Programming July 6th - 10th 2009, Genova, Italy http://2009.ecoop.org CALL FOR STUDENT