[TYPES/announce] Deadline extension: WWV 2009

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] *** * DEADLINE EXTENSION* *

[TYPES/announce] POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- POPL 2010 - CALL FOR CO-LOCATED EVENT PROPOSALS POPL 2010, the 37th ACM SIGPLAN-SIGACT

[TYPES/announce] FM 2009: Call for Tutorial Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Tutorial Proposals Formal Methods 2009, Eindhoven, The Netherlands symposium 4-6 November, tutorials 2 3 November FM2009 is the sixteenth international symposium of the

[TYPES/announce] TPHOLs'09 Last Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LAST CALL FOR PAPERS: TPHOLs 2009 The 22th International Conference on Theorem Proving in Higher Order Logics 17 - 20 August 2009 in Munich, Germany **

[TYPES/announce] Postdoc Positions at the CLIP group, Spain

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Application deadline 13th of February (for the 5 years position) and 18th of February (for the 3 years

[TYPES/announce] post-doc position at ENS Lyon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = POST-DOC POSITION at ENS Lyon on implicit computational complexity and concurrency