Dov M. Gabbay: seminar on abstract argumentation and case study (March 25th)
道夫·戈贝教授召开的关于抽象论辩与案例研究的线上研讨会。
Reading Club on March 25th (领读人：李浦银)
The paper discussed in this reading club is Automatic evaluation of design alternatives with quantitative argumentation.
Mehdi Dastani: seminar on norms & ML (March 23rd)
梅迪·达斯塔尼教授召开的关于规范和机器学习的第13次线上研讨会。
Bruno Bentzen: Toward a Mechanization of a Classical Proof of Completeness for Intuitionistic Logic.
关于直觉逻辑完全性证明的一种经典机制。主讲人为浙江大学哲学学院“百人计划”研究员。