[TYPES/announce] Deadline Extension: MISS 2011 workshop (ex ACP4IS) at AOSD 2011

2011-01-06 Thread Bram Adams
[ 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

2011-01-06 Thread Marc . Bezem
[ 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