[TYPES/announce] PLAS 2010: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for Participation ACM SIGPLAN Fifth Workshop on Programming

[TYPES/announce] Coq-Workshop: Call for informal presentations (updated information)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Coq Workshop Second Call for informal presentations and demonstrations The Coq workshop will take place on July 9th, as part as the FLoC federated conference in Edinburgh, Scotland.

[TYPES/announce] *SOS 2010* 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** SOS `10 - Structural Operational Semantics 2010 An Affiliated Workshop of CONCUR 2010 August 30, 2010, Paris, France

[TYPES/announce] LFMTP 2010 at FLoC: Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - CALL FOR Participation Logical Frameworks and