2025 North American Annual Meeting of the Association for Symbolic Logic

The 2025 North American Annual Meeting of the Association for Symbolic Logic will be held May 13-16, 2025 at New Mexico State University.

Plenary Speakers

Sergei Artemov (CUNY)
Ben Castle (Illinois Urbana-Champaign)
Patrick Lutz (UC Berkeley)
Maryanthe Malliaris (Chicago)
Alejandro Poveda (Harvard)
Felix Weilacher (UC Berkeley)

Tutorial Speakers

Mariya Soskova (Wisconsin–Madison)
Julia Wolf (Cambridge)

 

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
Proof Assistants: Jonathan Weinberger and Patricia Johann 

 

Contributed talks

The deadline for contributed talk submissions is February 13, 2025. Abstracts should be sent to asl@uconn.edu and must abide by the rules listed on this page: https://aslonline.org/rules-for-abstracts/

ASL Student Travel Awards 

The deadline for student travel applications is February 13, 2025.  Applications should be sent to asl@uconn.edu and must abide by the rules listed on this page: https://aslonline.org/student-travel-awards/

Links

The Association for Symbolic Logic: aslonline.org
ASL Code of Conduct: aslonline.org/meet/aslcodeofconduct/

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