2019/08/21, 10:00, Dr. Jun Pang （University of Luxembourg）
Archive for the ‘学术报告’ Category
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
