讲座
- The Opacity of Real-time Automata 2019-09-18
- Information Sciences Seminar——Safe Inputs Approximation for Black-Box Systems 2019-09-11
- Information Sciences Seminar——程序侧信道安全形式化验证 2019-07-25
- Information Sciences Seminar——Trusted Computing based Protocols: Modeling and Analysis 2019-07-04
- Information Sciences Seminar——Blockchain based protocols for fair trading 2019-05-30
- PCA in the space of phylogenetic trees 2019-05-14
- Information Sciences Seminar——Matching mu-logic: A powerful logic for specifying and reasoning about fixpoints and induction, programming languages, and program specification and verification 2019-05-23
- Towards Safety Verification of Autonomous Systems 2019-05-07
- School Colloquium——Formal Design, Implementation and Verification of Blockchain Languages 2019-04-19
- Turing degrees of orderings on computable torsion-free abelian groups 2018-12-20
- Algorithmic, Analytic and Arithmetic Aspects of D-finite Functions 2018-12-18
- Cyber-security: the Journey from Formal Methods, Program Analysis, Data Analytics to Artificial Intelligence 2018-12-16
- 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