10月28日:院系校庆学术报告(64周年校庆学术报告)
发布时间:2015-10-27 浏览量:5509

 10月28日:院系校庆学术报告(软件科学与技术系)

 

  目:On Coinduction and Quantum Lambda Calculi

报告人:邓玉欣 教授

主持人:张民 副教授

  间:10月28日 13:30—14:15

  点:中北校区数学馆201

 

  目:Bayesian Statistical Model Checking for Complex Stochastic Systems

报告人:张敏 副教授

主持人:张民 副教授

  间:10月28日 14:15—15:00

  点:中北校区数学馆201

 

  目:Decomposing Automatic Train Control Verification System with Projection

报告人:陈小红 副教授

主持人:张民 副教授

  间:10月28日 15:00—15:45

  点:中北校区数学馆201

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

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


XML 地图