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