ICTAC 2013
发布时间:2013-09-02 浏览量:5138
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
快速通道: