6.27 – 7.3， 2022， 北京，中国
清华大学-阿姆斯特丹大学逻辑学联合研究中心从2021年开始举办逻辑学暑期学校，邀请知名学者授课，向国内外本科生、研究生和青年教师开放。暑期学校旨在为广大学员提供系统学习逻辑学、了解逻辑学领域最新研究进展、开展学术交流的平台，进一步推动逻辑学知识的普及，促进逻辑学与哲学、计算机科学、语言学、数学和认知科学等学科的交叉研究，发展逻辑学教育事业，为未来学术研究培养后备人才。
第二届暑期学校将于2022年6月27日至7月3日举行。由于新冠疫情的影响而无法到清华线下参与的学员可以通过Zoom线上全程参与暑期学校。
课程
本次暑期学校共开设两门课程，“逻辑、数据和不完全信息”与“混合逻辑中的推理与可表达性”。
- Logic, Data and Incomplete Information， 授课教师：Phokion G.Kolaitis （University of California Santa Cruz & IBM Research）
- Expressivity and Inference in Hybrid Logic, 授课教师：Patrick Blackburn （Section for Philosophy and Science Studies, IKH, Roskilde University） 。
两门课程均为英文授课，每门课16课时：从6月27日到7月1日五天， 每天三个课时，每课时45分钟并布置相应的课后习题; 7月2日设置答疑课， 7月3日安排考试 。 学员可根据兴趣选修课程。对于参加并完成课程（课程参与+平时作业成绩+考试成绩）的学员，联合研究中心将颁发结业证书。欢迎对逻辑学感兴趣的学生和老师参加。
注册
两门课程均对校内外师生免费开放。请有兴趣参加的各位务必于报名前仔细阅读课程介绍，确保能够在课程开始前基本掌握其中所要求的预备知识，以保证课堂听课与互动效果。以下为具体报名要求：
- 请在此报名页面填写基本信息；
- 报名需推荐人一名，推荐人一般情况下应为报名人所在院校老师；推荐人需发送邮件至xkb@mail.tsinghua.edu.cn确认报名人基本信息与自我陈述内容属实。
为保证课堂效果，每门课容量设置为30人左右。若报名人数过多我们将根据报名人的自我陈述内容进行筛选。清华在校学生可直接通过选课系统注册暑期课程，课程名“逻辑学专题与前沿”（00692241-90）。
报名截止日期：6月 10日;
通知日期：6月15日。
若有疑问请咨询石辰威（ scw@mail.tsinghua.edu.cn ）。