[TYPES/announce] Workshop on Logic and Computational Complexity (LCC '10)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =

[TYPES/announce] Deadline Extended: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final CALL FOR PAPERS = 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010) 21 - 24 September 2010, SINGAPORE