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

State Key Laboratory of Computer Science


Archive for the ‘学术报告’ Category

SKLCS seminar on“ Scalable Analysis and Control of Boolean Networks”

2019/08/21, 10:00, Dr. Jun Pang (University of Luxembourg)

Beyond NP Revolution

2019/07/17, 10:00, Kuldeep Meel, the National University of Singapore

慕课中的故事化学习法:双城记

2019/07/09, 14:00, Prof. Lee, Jimmy Ho Man (李浩文), the Chinese University of Hong Kong

Augmenting Stream Constraint Programming with Eventuality Conditions

2019/07/09, 10:00, Prof. Lee, Jimmy Ho Man, the Chinese University of Hong Kong

Formal Proofs of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq and Isabelle

2019/07/03, 15:00, Jean-Jacques Lévy, Irif, Inria Paris

Rss Feeds