Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Call for Participation: The First Tsinghua Logic Summer School

June 28 – July 4, 2021, Beijing, China

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.

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.

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.

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.