计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for the ‘学术报告’ Category

Classification Program for Counting Problems

2019/06/12, 10:00 to 12:00. Jin-Yi Cai

The mCRL2 behavioural specification language and tools, including new developments

2019/05/30, 15:00 to 18:00. Prof. Jan Friso Groote, Technical University Eindhoven

Symbolic semantics for Open Systems and their Bisimulation algorithms

2019/05/21, Dr. Eric Madelaine

The Evolutionary Benefit of Recombination

2015/08/28, Andy Lewis-Pye

不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导

2015/01/08, 卜磊

Rss Feeds