New Mexico State University, Las Cruces, NM: The 2025 ASL North American meeting will be held May 13-16, 2025 at New Mexico State University.
The local organizing committee consists of John Harding (chair), Andre Kornell, Joel Lucero-Bryan, Patric Morandi, Bruce Olberding, Ilya Shapirovsky, and Son Tran. The program committee consists of Uri Andrews, Valeria de Paiva, Ilya Shapirovsky, Caroline Terry, and Simon Thomas (chair).
The plenary speakers will be M. Malliaris (Chicago), A. Poveda (Harvard), B. Castle (Illinois Urbana-Champaign), P. Lutz (UC Berkeley), F. Weilacher (UC Berkeley), and S. Artemov (CUNY). The tutorial speakers will be J. Wolf (Cambridge) and M. Soskova (Wisconsin–Madison).
The special sessions (and their organizers) will be: 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 Shapirovskiy), Set Theory (Dima Sinapova and Clinton Conley), and Proof Assistants (Jonathan Weinberger).
The deadline for contributed talk submissions is February 13, 2025. Abstracts should be sent to Shannon Miller at asl@uconn.edu and must abide by the rules listed on this page: https://aslonline.org/rules-for-abstracts/.
The deadline for student travel applications is February 13, 2025. Applications should be sent to Shannon Miller at asl@uconn.edu and must abide by the rules listed on this page: https://aslonline.org/student-travel-awards/.
More information can be found here: https://math.nmsu.edu/asl-2025/index.html.