As of summer 2025, the ASL requires written certification that all listed authors have consented to publication for meeting reports in the Bulletin of Symbolic Logic. Cambridge University Press can only publish abstracts for which we have obtained this permission, so failure to explicitly consent to publication when galley proofs are distributed will result in abstracts being removed from the meeting report.
Meeting Code of Conduct PDF (Approved by ASL Council, 2023)
ASL-JMM 2026 Winter Meeting Draft Program
ASL-APA 2026 Spring Meeting Draft Program
Kyoto, Japan: The biennial Asian Logic Conference is planned to be held at Kyoto Sangyo University.
Confirmed plenary speakers include: Artem Chernikov, Su Gao, Fenrong Liu, Takako Nemoto, and Kazushige Terui.
The Program Committee includes M. Banerjee, L. Ding, N. Greenberg, T. Kihara, K.M. Ng, D. Raghavan, K. Sano, K. Takeuchi, T. Usuba, and K. Yokoyama (chair).
The Organizing Committee consists of J. Brendle (co-chair), S. Katsumata, A. Kawamura, M. Kikuchi, H. Miyoshi (co-chair \& local chair), and K. Yokoyama.
More information can be found here: https://www2.kobe-u.ac.jp/~brendle/alc2025/main.html.
Washington, D.C., USA: The JMM will take place January 4-7, 2026 at the Walter E. Washington Convention Center in Washington D.C.
The invited speakers are Filippo Calderoni (Rutgers), Damir Dzhafarov (UConn), Garrett Ervin (Cal Tech), Joseph Miller (Wisconsin-Madison), Rahim Moosa (Waterloo), Jennifer Pi (Oxford), and Jenna Zomback (Amherst). The ASL turorial will be given by Deirdre Haskell (McMaster). There will be an ASL special session Computability and its applications organized by Wesley Calvert, Johanna Franklin, and Valentina Harizanov.
The program committee consists of Uri Andrews (chair), Alexi Block Gorman, and Assaf Shani.
Abstracts for contributed talks are due September 1 to the ASL office via email asl@uconn.edu. Applications for student travel funding are due October 4 to the ASL office via email asl@uconn.edu.
More information will be posted as it becomes available.
Palmer House, Chicago, IL: The 2026 ASL-APA meeting will be held in conjunction with the Central APA Division Meeting, February 18-21, 2026, at the Palmer House in Chicago, IL.
The invited speakers consist of Neil Barton (Singapore), Jason Zesheng Chen (UC Irvine), Mateusz Łełek (Warsaw), Øystein Linnebø (Oslo), James Walsh (NYU), and Francesca Zaffora Blando (Carnegie Mellon).
The program committee consists of Ali Enayat (Gothenberg), Joel David Hamkins (Notre Dame), and Snow Zhang (Berkeley).
The deadline for contributed abstracts is August 22, 2025 and should be submitted to the ASL office at asl@uconn.edu.
The deadline for applying for student travel funding is November 18, 2025. Applications should be submitted to the ASL office at asl@uconn.edu.
Universidad de los Andes, Bogotá, Colombia: SLALM XXI will take place June 1-5, 2026 at the Universidad de los Andes.
The local organizing committee consists of Alexander Berenstein, Pablo Cubides Kovacsics, and Alf Onshuus.
More information will be posted as it becomes available.
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). The program committee consists of Rachael Alvir (Waterloo), Paddy Blanchette (Notre Dame), James Cummings (CMU, chair), Andre Scedrov (UPenn), and Maryanthe Malliaris (Chicago).
More information will be posted as it becomes available.