$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

2025 Fudan Logic Summer School

Time: Jul 21 - Aug 1, 2025
Location: Fudan University (Handan Road Campus)

Schedule

The first week (Jul 21 - Jul 25):

喻良:

The second week (Jul 28 - Aug 1):

Ben Castle:

Room: TBA

Hours:

  • Lecture 1: 9:15 - 10:30 (GMT+8)
  • Lecture 2: 11:00 - 12:15 (GMT+8)
  • Section: 15:00 - 17:00 (GMT+8)

Recursion Theory

TBA

Program:

Lecturer:

喻良是南京大学数学学院教授。喻良的研究方向包括递归论(可计算性理论)、集合论和算法随机性理论等。喻良教授曾在 Journal of Symbolic Logic、Advances in Mathematics、Transactions of the American Mathematical Society、Computability、Israel Journal of Mathematics 等期刊发表多篇论文。

Model Theory

TBA

Lecturer:

Ben Castle is a mathematical logician at Department of Mathematics, University of Illinois, Urbana-Champaign. He is specializing in model theory and its interactions with algebra, geometry, and combinatorics. Before coming to Illinois, Castle held postdoctoral positions at the Fields Institute, Notre Dame University, Ben-Gurion University of the Negev, and the University of Maryland; during this time, his work focused on studying reconstruction theorems in geometry from a model-theoretic lens. He holds a PhD in mathematics from UC Berkeley.

Organizers

Contact: logic@fudan.edu.cn

2025复旦大学数理逻辑暑期学校由复旦大学教务处与哲学学院主办,复旦大学哲学学院逻辑学教研室承办