讲座
- Information Sciences Seminar——Proof verification, quantum entanglement and group representations 2018-11-27
- Information Sciences Seminar——智能计算算法的定位问题 2018-11-14
- Information Sciences Seminar——First steps toward verified programming of embedded systems 2018-10-24
- Information Sciences Seminar——智能科学的特征、使命与挑战 2018-10-17
- Information Sciences Seminar——智能科学研究进展 2018-10-17
- Interaction by Composition 2018-10-17
- Information Sciences Seminar——Efficient Fully Homomorphic Encrytion Scheme 2018-10-16
- Interaction by Composition 2018-10-10
- Information Sciences Seminar—— COMPOSITIONAL SEMANTICS FOR NEW PARADIGMS: PROBABILISTIC, HYBRID AND BEYOND 2018-09-12
- Information Sciences Seminar——Smart Black-box Testing - Combining Model Learning and Model-based Testing 2018-09-10