[TYPES/announce] DICE 2013 - call-for partcipation

2013-02-13 Thread Simona Ronchi della Rocca
[ 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

2013-02-13 Thread Ugo de' Liguoro
[ 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