AI in Model Theory
Conference on artificial intelligence in model theory.
Conferences
Upcoming meetings and an archive of selected conferences.
Upcoming conferences and seminars
Model theory meetings (MODNET)
Meeting announcements from the MODNET network.
Structures and Patterns: Model Theory, Combinatorics, and Geometry
IASM–BIRS five-day workshop.
PKU model theory seminar
Upcoming talks and seminar archive at Peking University.
Previous conferences
Beijing Model Theory Conference
June 15–20, 2026.
Chinese Annual Conference on Mathematical Logic
June 5–7, 2026.
Δ25 Logic Workshop at BICMR
December 20, 2025.
Beijing Model Theory Conference
July 8–12, 2024.