The ASL Council approved the Code of Conduct in March 2023 for ASL meetings and it is encouraged that ASL-Sponsored meetings adopt it as well. The meeting code of conduct will be posted on the conference websites for all ASL meetings and there is a longer version here with additional procedural information. You can also read the entirety of the Code of Conduct on its webpage.
- May 13-16, 2025 2025 ASL North American Annual Meeting
- July 7-11, 2025 2025 ASL Logic Colloquium (European Summer Meeting)
- July 19-22, 2026 2026 ASL North American Annual Meeting
May 13-16, 2025: 2025 ASL North American Annual Meeting
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.
July 7-11, 2025: 2025 ASL Logic Colloquium (European Summer Meeting)
Technische Universitat (TU) Wien, Vienna, Austria: The 2025 ASL Logic Colloquium will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.
Joan Bagaria (ICREA) will be giving the Gödel Lecture. Invited speakers include B. Siskind (TU Wien), S. Shelah (Hebrew U), M. Malliaris (Chicago), S. Smets (Amsterdam), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), B. Afshari (Gothenberg), U. Buchholtz (Nottingham), and T. Colcombet (Paris IRIF). Tutorials will be given by H. Towsner (UPenn) and D. Sinapova (Rutgers).
Special sessions (with organizers in parentheses) will include: Set Theory (A. Panagiopoulous, F. Schlutzenberg, V. Fischer), Model Theory (A. Martin-Pizarro, J. Kirby), Proof Theory (M. Baaz, S. Hetzel), Computability (P. Schafer, L. Bienvenu), Philosophy (D. Rabouin, V. De Risi, J. Kennedy), and Condensed Math (J. Bergfalk, C. Lambie-Hanson).
The program committee consists of Juan Aguilera (Vienna), Mikołaj Bojańczyk (Warsaw), Nicola Gambino (Manchester), Nina Gierasimczuk (TU Denmark), Rosalie Iemhoff (Utrecht), Juliette Kennedy (Helsinki, chair), Sandra Mueller (Vienna), Daniel Palacin (Madrid), Ludovic Patey (Paris), and Andres Villaveces (Bogota).
Contributed abstracts should be submitted to Shannon Miller at asl@uconn.edu by the deadline of April 15, 2025. Abstracts MUST use the template and abide by the format as listed at https://aslonline.org/rules-for-abstracts/.
Student travel applications and recommendation letters should be sent to Shannon Miller at asl@uconn.edu by the deadline of April 15, 2025. Applicants do not need to be ASL members to be eligible for funding but applications must follow the rules listed at the bottom of this webpage: https://aslonline.org/student-travel-awards/.
There are NSF and non-NSF funds available for student travel awards - NSF funds are restricted to students who are US citizens or permanent residents and to international students enrolled at US universities. Air travel paid for using NSF funds must comply with the Fly America Act.
More information can be found here: https://www.colloquium.co/lc2025.
July 19-22, 2026: 2026 ASL North American Annual Meeting
University of Pennsylvania, Philadelphia, PA, USA: The 2026 ASL North American Annual Meeting will be held at the University of Pennsylvania campus in University City in West Philadelphia, PA, USA from July 19 through July 22, 2026.
The 2026 International Congress of Mathematicians (ICM) will be held at the Pennsylvania Convention Center in Center City Philadelphia July 23-30, 2026. Local organizers have applied to the ICM to designate the ASL meeting as a Satellite Event to the 2026 ICM.
The local organizing committee consists of Aaron Anderson (Penn Math), William Ewald (Penn Law, co-chair), Giorgi Japaridze (Villanova), Steven Lindell (Haverford CS), Andre Scedrov (Penn Math), Val Tannen (Penn CS), Henry Towsner (Penn Math, co-chair), and Scott Weinstein (Penn Phil).
More information will be posted as it becomes available.