校级报告（5场）

题  目：超越自我，我的未来我做主

报告人：张成奇（教授）

主持人：林学民 （教授）

时  间：2012年9月19日（周三） 13：30—15：00

地  点：数学馆201室

报告题目: Formal and Engineering Models for Application to Architecture Adequation in Embedded System Design

报告人：Robert de Simone（教授）

主持人：陈仪香（教授）

报告时间：2012年9月21日（周五）14:00—15:30

报告地点：中山北路校区数学馆201

题  目：Using SOA and Cloud in a research project on Cutaneous T-Cell Lymphoma

报告人：Andreas Dress（教授）

主持人：曾振柄 （教授）

时  间：2012年10月8日（周一） 8：30—10：00

地  点：数学馆201室

题  目：Stability Criteria for Large Complex Systems with Time Delays and Asymmetric Couplings

报告人：林伟（教授）

主持人：曾振柄 （教授）

时  间：2012年10月8日（周一） 10：30—12：00

地  点：数学馆201室

题  目：Towards Connecting Big Data with Many People

报告人：裴键 （教授）

主持人：林学民（教授）

时  间：2012年10月10日（周三）  13：30—15：00

地  点：数学馆201室

院级报告（4场）：

题  目：Overview: Cloud Computing and Workflow Research in the Next Generation Software Platform Group

报告人：刘晓 （副教授）

主持人：陈仪香（教授）

时  间：2012年9月12日（周三） 14：00—15：30

地  点：数学馆201室

题  目：可视计算的进展与展望：规则与呈现

报告人：王长波（教授）

主持人：钱卫宁（教授）

时  间：2012年10月17日（周三）  13：30—15：00

地  点：数学馆201室

题  目：数据库评测的发展和探讨

报告人：金澈清（教授）

主持人：钱卫宁（教授）

时  间：2012年10月17日（周三）  13：30—15：00

地  点：数学馆201室

题  目：Bell 多项式与mGVE的可积性

报告人：陈勇（教授）

主持人：曾振柄（教授）

时  间：2012年10月24日（周三）  13：30—15：00

地  点：数学馆201室

题  目：基于高阶规约的有效验证方法研究

报告人：陈铭松 （副教授）

主持人：刘静（教授）

时  间：2012年10月31日（周三）  13：30—15：00

地  点：数学馆201室

题  目：非对称群密钥协商及其应用

报告人：张磊（副教授）

主持人：刘静（教授）

时  间：2012年10月31日（周三）  13：30—15：00

地  点：数学馆201室

题  目：基于环境的多形态时间需求建模

报告人：陈小红（讲师）

主持人：刘静（教授）

时  间：2012年10月31日（周三）  13：30—15：00

地  点：数学馆201室