2026 Mar 19 16:00-17:30 Hugh Woodin (Harvard University) Can AI discover truth which is beyond proof?

We examine the question through the lens of modern and future Set Theory. More>>

2026 Feb 26 14:00-15:30 Haoxuan Yin (尹昊萱, University of Oxford) Modal Logic as a Type System for Metaprogramming

Metaprogramming languages allow programmers to construct, manipulate and run code. In the presence of imperative features, ensuring program safety is challenging, as free variables can be passed around in references. In this talk, I present Layered Modal ML (LMML), a metaprogramming language that supports storing and running open code under a strong type safety guarantee. The type system utilises contextual modal types (Hu & Pientka, ESOP 2024) to track and reason about free variables in code explicitly….More>>

2026 Mar 19 14:00-15:30 Wenfei Ouyang (欧阳文飞, Tsinghua University) 余代数与模态逻辑

本期进阶读书会将于 2026年3月19日（周四）14:00-15:30 在清华大学逻辑学中心举行，由清华大学欧阳文飞同学报告 Yde Venema 编写的讲义 Coalgebra and Modal Logic: A First Introduction 的 1.2 节，重点介绍模态逻辑的 bounded morphism 在 coalgebra 中的定义。More>>