[TYPES/announce] Automated Formal Methods '09: Second Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Automated Formal Methods (AFM09) June 27, 2009, Grenoble, France http://fm.csl.sri.com/AF

[TYPES/announce] Lecturer in Computer Science, University of Leicester

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, Please pass on details of the lectureship below. Applications specializing in algorithms, semantics or modelling are welcomed. Roy Crole. Lecturer in Computer Science De

[TYPES/announce] Final CfP: ICTAC'09 - Last Chance

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Our apology for possible multiple copies. -- LINE + EXTENDED DEADLINE + EXTENDED DEADLINE + EXTENDED DEADLINE + EXT 12 Ap

[TYPES/announce] CFP: JFP Special Issue on Generic Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] OPEN CALL FOR PAPERS JFP Special Issue on Generic Programming Deadline: 1 October 2009 http://www.

[TYPES/announce] STOP 2009 [Deadline Extension]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [N.B. Deadline extended to April 13th] Call for Papers Script to Program Evolution (STOP)