ICTAC 2013
发布时间:2013-09-02 浏览量:5138

     201391日—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.38:30

地点逸夫楼一楼报告厅

 

会议二The 10th International Colloquium on Theoretical Aspects of Computing(ICTAC 2013)

时间:9.49.6

地点:数学馆113

 

 

program-ICTAC 2013.jpg

program-Theories of Programming and Formal Methods.jpg

华东师范大学beat365手机中文官方网站
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright Software Engineering Institute


XML 地图