[TYPES/announce] CiE 2009: COMPUTABILITY IN EUROPE 2009 - Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** In response to requests, we have extended the deadline for submissions to 1st Feb

[TYPES/announce] GTTSE 2009 --- First call for participation (06-11 July 2009)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] GTTSE 2009, 06-11 July, 2009, Braga, Portugal 3rd International Summer School on Generative and Transformational Techniques in Software Engineering http://gttse.wikidot.