[TYPES/announce] Final CfP: SPIN 2012 - 19th International Workshop on Model Checking Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple copies *** SPIN 2012: FINAL CALL FOR PAPERS *** 19th International Workshop on Model Checking Software - SPIN 2012 Oxford, July 23-24 2012 http://qav.cs.ox.ac.uk/spin

[TYPES/announce] ICTAC'12: Final Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers ICTAC 2012 9th International Colloquium on Theoretical Aspects of Computing URL: http://www.iiitb.ac.in/ictac 24 - 27 September 2012, Bangalore, India -

[TYPES/announce] Open DemTech PhD positions @ ITU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IT University seeks candidates for open PhD positions in the DemTech project. DemTech invites applications for several PhD positions on developing and evaluating trustworthy electronic elect