Schedule for Dov Gabbay’s Seminar
Dov Gabbay的研讨会课程安排
Schedule for Mehdi & John-Jules’ Seminar
Mehdi & John-Jules研讨会的课程安排
Reading Club on Oct 14th (领读人：陈东恒)
The paper discussed in this reading club is Complexity of Abstract Argumentation.
Zhejiang-Cambridge Talk Series: Type Theory and Logic / Formalised Mathematics: Obstacles and Achievements
Lawrence Paulson是剑桥大学计算逻辑教授，美国计算机协会会士，英国皇家学会院士。
Zhejiang-Cambridge Talk Series: Outline of a Mathematical Theory of Tree-like Structures
Marcelo Fiore教授是剑桥大学基督学院院士，主攻方向为计算机科学的数学基础。
Zhejiang-Cambridge Talk Series: Programming Language Semantics
Andrew Pitts教授是剑桥大学计算机科学与技术学院教授，主攻方向为计算机理论科学。
Summer Courses on Thomas McClelland’s “Being Human in an AI World”
托马斯·麦克兰德，2012年获苏克赛斯大学哲学博士，2019年起任剑桥大学哲学讲师。麦克兰德博士的研究领域涵盖心智哲学、心理学、意识的形而上学、美学和商业伦理学。
The closing workshop of the AuReLeE project was successfully held at the Campus Belval in Luxembourg
The closing workshop of the AuReLeE project was successfully
held from Friday 15 July to Friday 22 July.
The First Luxembourg Workshop on Epistemology & AI was successfully held.
The workshop was successfully held from June 28th 2022 to June 29th 2022 at the University of Luxembourg.
Summer Courses on Alexander Bird’s Book “Knowing Science”
伯德教授（Alexander Bird）现任剑桥大学哲学教授，曾任爱丁堡大学的哲学系主任。伯德教授主要关注知识论、形而上学、科学哲学。