Meetings

Upcoming meetings:

Conference on Limits on Computability, Definability, Provability–Celebrating the Mathematical and Professional Contributions of Chong Chi Tat, 09 Jan 2025–10 Jan 2025, IMS of NUS, Singapore.

CCR 2025 : Computability, Complexity and Randomness, 16-20 June, 2025, Bordeaux, France.

Workshop "Reverse Mathematics and Higher Computability Theory.", June 30–July 4 2025, The Erwin Schrödinger International Institute for Mathematics and Physics, Vienna, Austria.

2025 Fudan Logic Summer School, July 21-Aug 1, 2025, Fudan University, Shanghai, China.