报告题目：1. Abstraction of Elementary Hybrid Systems by Variable Transformation

2. A Quantifier-Elimination Heuristic for Octagonal Constraints

3. A tool chain for practical controller synthesis of metric temporal logic MTL_{0,∞}

4. Stochastic Modelling and Analysis of Driver Behaviour

5.基于随机进程代数的工作流程建模及分析

6. Internet of Vehicles: ICT for Intelligent Transportation Systems

7. Smart Grid---On Power Grid of the Future

8.大规模百科知识库构建

9. Feature-based Modulation Techniques for Robust Watermarking

10. On the List-Decodability of Random Rank Metric Codes

11. On the List-Decodability of Self-Orthogonal Codes and Their Applications to Quantum Codes

12. Puncturing Pattern and Interleaver Recovery for Turbo codes

13. Quantum Convolutional Codes Derived from Constacyclic Codes

报告人：1．詹乃军教授（中国科学院软件研究所）

2．Deepak Kapur教授（Univ. of New Mexico, Albuquerque, NM USA）3．李广元博士（中国科学院软件研究所）

4．赵一石博士（中国地质大学（武汉）计算机学院）

5．陈潇博士（江苏大学计算机学院）

6．王超博士（同济大学信息与通信工程系）

7．孙洪剑博士（英国Durham大学工程与计算机学院）8．冯岩松博士（北京大学信息科学技术学院）9．朱新山博士（天津大学自动化学院）

10．丁洋博士（上海大学数学系）

11．金玲飞博士（复旦大学数学系）

12．黄鑫梅博士（南京林业大学数学系）

13．颜廷苏博士（湖州师范学院数学系）

报告时间：20日（星期六）上午8:30-11:50,

21日（星期日）上午8:00-11:50

报告地点：京华大酒店报告厅（文昌路与大学北路交叉口）

主办单位：扬州大学数学科学学院 、信息科学学院

欢迎广大师生参加！