[TYPES/announce] Deadline Extension: MISS 2011 workshop (ex ACP4IS) at AOSD 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [sorry for duplicate reception of this cfp] * 1st AOSD Workshop on Modularity in Systems Software
[TYPES/announce] CSL'11 call for papers and workshop proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS AND WORKSHOP PROPOSALS CSL 2011 20th Annual Conference of the European Association for Computer Science Logic