[TYPES/announce] Summer School Proof, Truth, Computation (PTC 2014)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Summer School Proof, Truth, Computation (PTC 2014) 20-25 July 2014, Chiemsee, Germany Call for applications

[TYPES/announce] Early registration - Modularity'14

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** MODULARITY '14 *** 13th International Conference on Modularity April 22-25, 2014 Lugano, Switzerland http://modularity.info/ In cooperation with: * ACM SIGSOFT * ACM SIGPLAN

[TYPES/announce] CFP: 9th Workshop on Security and High Performance Computing Systems (SHPCS 2014)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] --- CALL FOR PAPERS 9th Workshop on Security and High Performance Computing

[TYPES/announce] Kick-off meeting -- IHP thematic trimester -- Tuesday April 22

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We are glad to announce the kick-off meeting of the thematic trimester ** Semantics of proofs and certified mathematics ** which will be held at Institut Henri Poincaré (IHP),

[TYPES/announce] IWACO 2014: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** 6TH INTERNATIONAL WORKSHOP ON ALIASING, CAPABILITIES AND OWNERSHIP (IWACO) Co-located with ECOOP 2014 July 28th,