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

program-ICTAC 2013.jpg

program-Theories of Programming and Formal Methods.jpg