2013年9月1日—6日在我校组织召开的Theories of Programming and Formal Methods与 The 10th International Colloquium on Theoretical Aspects of Computing(ICTAC 2013)两个重要国际学术会议即将开始，学术活动邀请了一批包括欧洲科学院院士、英国皇家科学院/工程院院士等的中外著名计算机领域科学家与学者与会，并作专题报告。
会议一：Theories of Programming and Formal Methods
时间：9.1—9.3（8:30）
地点：逸夫楼一楼报告厅
会议二：The 10th International Colloquium on Theoretical Aspects of Computing(ICTAC 2013)
时间：9.4—9.6
地点：数学馆113
