Upcoming meetings:
Definability and Computation, Tianyuan Mathematical Research Center, Kunming city, China, 21 June-26 June, 2026.
Archived meetings:
Model Theory and Interactions in the Yangtze Delta 2025.Â
Logic workshop in Nanjing 2021.
Logic workshop in Nanjing 2019.
Logic 2013.
Conference on computability, complexity and randomness 2008.