-
24 Oct
Information Sciences Seminar——First steps toward verified programming of embedded systems
时间：2018-10-24 15:00-16:00
报告人: Prof. Jean-Pierre Talpin（CNRS, France）
-
23 Oct
Filtered Hyperbolic Moment Equations
时间：2018-10-23 14:00-15:00
报告人: Julian Koellermeier（Freie Universität Berlin）
-
17 Oct
Information Sciences Seminar——智能科学的特征、使命与挑战
时间：2018-10-17 15:00-16:00
报告人: 赵川副教授（成都理工大学）
-
17 Oct
Information Sciences Seminar——智能科学研究进展
时间：2018-10-17 14:00-15:00
报告人: 史忠植研究员（智能信息处理重点实验室、中国科学院计算技术研究所）
-
17 Oct
Interaction by Composition
时间：2018-10-17 13:00-15:00
报告人: Prof. Farhad Arbab (CWI and Leiden University, the Netherlands)