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
