[TYPES/announce] PLACES 2013 Deadline Extension and Final CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ The themes of PLACES include types, concurrency and mobility. SG ] FINAL CALL FOR PAPERS PLACES'13 Programming Language

[TYPES/announce] CfP: Advances in Systems of Systems an ETAPS workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] AiSoS - Advances in Systems of Systems http://aisos.cs.aau.dk We are delighted to present a new *ETAPS* workshop with a focus on the growing trend of more complex systems of

[TYPES/announce] Short student talks @ POPL 2013 (Deadline: 21 December!!!)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Rome, Italy January