[TYPES/announce] POPL 2014: final call for papers

2013-07-04 Thread Viktor Vafeiadis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Diego, USA http://popl.mpi-sws.org/2014/ The submission webpage is now open:

[TYPES/announce] FroCoS 2013 Call for Participation

2013-07-04 Thread Christophe Ringeissen
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France

[TYPES/announce] Course: Dependently typed metaprogramming (in Agda)

2013-07-04 Thread Ohad Kammar
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logic, Semantics, and Programming Languages Group, University of Cambridge presents: Dependently typed metaprogramming (in Agda) by Conor McBride, MSP, University of

[TYPES/announce] CSL'13 call for participation

2013-07-04 Thread Ronchi Della Rocca Simona
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] __ CSL 2013