[TYPES/announce] Summer School on Mechanized Logic for High Assurance Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Only 10 more places are available.  Deadline is April 29th, 2011.] Summer School on Mechanized Logic for High Assurance Software May 30 - June 1, 2011, Halmstad University, Halmstad, Sweden

[TYPES/announce] Summer school on Applied Functional Programming at Utrecht University; deadline for registration May 15

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Again we will teach an "Applied Functional Programming Summer in Haskell" school this year at Utrecht University. In the previous two occasions students were all very happy with the school

[TYPES/announce] INTRUSO 2011: Deadline Extended to May 11

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] INTRUSO 2011 1st INternational Workshop on TRUstworthy Service-Oriented Computing Affiliated with 5th IFIP International Conference on Trust Management (IFIPTM'11) Copenhagen, June 27, 20

[TYPES/announce] Two Postdoc Positions at the IT University of Copenhagen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The IT University of Copenhagen invites applications for several Postdoctoral fellow positions on trustworthy electronic election technology. The positions are part of the DemTech project,

[TYPES/announce] Another(!) PhD Position at Strathclyde

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hot on the heels of Patricia Johann's advertisement, here's another PhD Position in the Mathematically Structured Programming Group, Dep

[TYPES/announce] Extended deadline; IFIP sponsorship: IFIP Working Conference on Domain-Specific Languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IFIP Working Conference on Domain-Specific Languages (DSL) 6-8 September 2011, Bordeaux, France http://dsl2011.bordeaux.inria.fr/ CALL FOR PAPERS (EXTENDED DEADLINE; IFIP SPONSORSHIP) Domai

[TYPES/announce] CfP: SEFM'11 - Deadline EXTENDED till May 9

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS - SEFM 2011 The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) 14-18 November 2011 Montevideo, Uruguay URL: http://www.fing.edu.uy/i