[TYPES/announce] DICE 2013 - call-for partcipation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DICE 2013 ยงยง (DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY)
[TYPES/announce] Control Operators and their Semantics (COS'13) - Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Control Operators and their Semantics (COS'13) - Call for Papers Satellite