报告时间：11月22日 周四9:00-16:00
报告地点：中北校区数学馆201
| 11月22日 | 报告内容 |
| 9:00 – 9:30 | 报告题目:From Kleene Algebra to Synchronous Kleene Algebra 报告人:Jana Wagemaker, Leiden Unversity |
| 9:30-10:00 | 报告题目:Games for multi-agent systems verification 报告人:Patrick Gardy, ECNU |
| 10:00-10:30 | 报告题目:Reo, Constraint Automata and Synchronous Kleene Algebra 报告人:Marcello Bonsangue, Leiden Unversity |
| 10:30-11:00 | 报告题目:Towards scalable muHORS model checking and its applications 报告人:Xin Li, ECNU |
| 11:00-11:30 | 报告题目:A Reo Model of Software Defined Networks 报告人:Feng Hui, Leiden Unversity |
| 13:30-14:00 | 报告题目:A New Semantics of CCSL 报告人:Keyin Li, ECNU |
| 14:00-14:30 | 报告题目:Extending the NetKAT model with Virtual Local Area Networks 报告人:Shuangqing Xian, Leiden Unversity |
| 14:30-15:00 | 报告题目:A Decision-Making Model for Autonomous Cars Based on Local Traffic and Estimation 报告人:Bingqing Xu, ECNU |
| 15:00-15:30 | 报告题目:Towards Quantum Automata Learning 报告人:Wenjing Chu, Leiden Unversity |
| 15:30-16:00 | 报告题目:Bisimulations for Probabilistic and Quantum Processes 报告人:Yuxin Deng, ECNU |
华东师范大学beat365手机中文官方网站
学院地址：上海中山北路3663号理科大楼
上海市浦东新区楠木路111号
院长信箱：yuanzhang@sei.ecnu.edu.cn | 办公邮箱：office@sei.ecnu.edu.cn | 院办电话：021-62232550
Copyright Software Engineering Institute