Call for Participation

The First Tsinghua Logic Summer School

June 28 – July 4, 2021, 

Beijing, China

诚邀参加第一届清华逻辑学暑期学校

（线上线下混合式）

6.28 – 7.4， 2021，

北京，中国

Description

The Tsinghua University – University of Amsterdam Joint Research Centre for Logic is initiating a Logic Summer School Program from the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.

Format

Due to COVID2019, for those who are unable to come to Tsinghua University, the first Tsinghua summer school will also be held virtually via Zoom.

清华大学-阿姆斯特丹大学逻辑学联合研究中心从2021年开始举办逻辑学暑期学校，邀请知名学者授课，向国内外本科生、研究生和青年教师开放。暑期学校旨在为广大学员提供系统学习逻辑学、了解逻辑学领域最新研究进展、开展学术交流的平台，进一步推动逻辑学知识的普及，促进逻辑学与哲学、计算机科学、语言学、数学和认知科学等学科的交叉研究，发展逻辑学教育事业，为未来学术研究培养后备人才。

第一届暑期学校将于2021年6月28日至7月4日举行。由于新冠疫情的影响而无法到清华线下参与的学员可以通过Zoom线上全程参与暑期学校。

Program

The first Tsinghua Logic Summer School is devoted to two areas where recent progress has been fast. One is about topological semantics of modal logics, whose applications can be found in a variety of fields ranging from the foundations of mathematics to epistemology. The other is about the notion of causality, which is a topic connecting logic, language and AI.

本次暑期学校共开设两门课程，“模态逻辑的拓扑语义”与“条件句与因果性”。拓扑语义近年来被广泛用于形式认识论的研究而因果性则是包括人工智能等许多领域关注的核心概念。

·Topological Semantics of Modal Logic, by Nick Bezhanishvili (ILLC, UvA)

·Conditionals and Causality, by Robert van Rooij (ILLC, UvA)

Each course consists of five lectures from Monday (June 28) to Friday (July 2), each lecture will be three 45 mins sessions. There will be a small amount of homework every day. There will be Q&A sessions on July 3. The final exam, which is optional, is scheduled for the final day, July 4. Depending on their interests, participants can register one or two courses. Some preknowledge of formal logic is strongly recommended.

For those who attend the lectures and pass the exam, the Joint Research Centre will award a certificate at the closing ceremony.

两门课程均为英文授课，每门课16课时：从6月28日到7月2日五天，每天三个课时，每课时45分钟并布置相应的课后习; 7月3日设置答疑课， 7月4日安排考试。学员可根据兴趣选修课程。对于参加并完成课程（课程参与+平时作业成绩+考试成绩）的学员，联合研究中心将颁发结业证书。欢迎对逻辑学感兴趣的学生和老师参加。

Registration

To attend the courses, registration is required, though no registration fee will be charged. The participants have to take care of their own expenses. Please fill the registration form and send it to Chenwei Shi (scw@mail.tsinghua.edu.cn), having “Registration TogicS + the candidate’s full name” as the subject.

§  ·Deadline for registration: April 15

§  ·Notification of acceptance: April 21

     The sooner you register, the more likely we can accept your registration. The priority will be given to master students and undergraduate students.

     Please contact Chenwei Shi ( scw@mail.tsinghua.edu.cn ) if you have any questions.

两门课程均对校内外师生免费开放。因课程容量有限，敬请填写报名表格并以 “Registration TogicS + the candidate’s full name” 为题发送邮件至 scw@mail.tsinghua.edu.cn。

§  报名截止日期：4月 15日;

§  通知日期：4月 21日。

报名先到先得，本科生与硕士生优先。若有疑问请咨询石辰威（scw@mail.tsinghua.edu.cn）。

Notice: Please check the course content and the registration form on the website of JRC for Logic:

注意：课程内容简介及报名表格请移步中心网站查阅：

http://tsinghualogic.net/JRC/?page_id=1636

（转自微信公众号“清华逻辑”）