-
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)
-
16 Oct
Information Sciences Seminar——Efficient Fully Homomorphic Encrytion Scheme
时间：2018-10-16 15:00-16:00
报告人: Xuhong Gao（Clemson University）
-
10 Oct
Interaction by Composition
时间：2018-10-10 13:00-15:00
报告人: Prof. Farhad Arbab (CWI and Leiden University, the Netherlands)
-
26 Sep
CAM Seminar——A New and Enhanced Semidefinite Relaxation for a Class of Nonconvex Complex Quadratic Problems with Applications in Wireless Communications
时间：2018-09-26 10:30-11:30
报告人: Ya-Feng Liu（Associate Professor of Academy of Mathematics and Systems Science, Chinese Academy of Sciences）
-
12 Sep
Information Sciences Seminar—— COMPOSITIONAL SEMANTICS FOR NEW PARADIGMS: PROBABILISTIC, HYBRID AND BEYOND
时间：2018-09-12 13:00-14:00
报告人: Renato Neves（Minho Uniersity, Portugal）
-
10 Sep
Information Sciences Seminar——Smart Black-box Testing - Combining Model Learning and Model-based Testing
时间：2018-09-10 13:00-15:00
报告人: Bernhard K. Aichernig（Graz University of Technology, Austria, Europe）
-
05 Sep
CAM Seminar——Vesicle problem: modelling and computation
时间：2018-09-05 10:30-11:30
报告人: Prof. Ming-Chih Lai（National Chiao Tung University）