The 2025 North American Annual Meeting of the Association for Symbolic Logic will be held May 13-16, 2025 at New Mexico State University.
Local Organizing Committee
John Harding (chair)Andre Kornell
Joel Lucero-Bryan
Patric Morandi
Bruce Olberding
Ilya Shapirovsky
Son Tran
Plenary Speakers
Maryanthe Malliaris
Alejandro Poveda
Ben Castle
Patrick Lutz
Felix Weilacher
Sergei Artemov
Tutorial Speakers
Julia Wolf
Mariya Soskova
Special Session Organizers
Computability Theory: Meng-Che (Turbo) Ho and Manlio Valenti
Model Theory: Nick Ramsey and Gabe Conant
Combinatorics and Logic: Andrew Marks, Damir Dzhafarov and Artem Chernikov
Modal Logic: Wesley Holiday and Ilya Shapirovsky
Set Theory: Dima Sinapova and Clinton Conley
The conference is funded with the support of the following organizations:
Association for Symbolic Logic
Charles and Nita Swartz Endowment
College of Arts and Sciences
Kist Endowment
NSF DMS, Grant 2231414 "Research Training Group in Logic and Its Application"
