Meetings

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: The 21st SLALM (Simposio Latino Americano de Lógica Matemática) will be held on June 1-5, 2026 at the Universidad de los Andes in Bogotá, Colombia.

The SLALM is the most prominent conference series on logic in Central and South America. Held biannually and conducted in English, it is an official meeting of the Association for Symbolic Logic. The website above gives substantial further information, including the invited plenary and tutorial speakers so far confirmed, as well as special sessions, committees, the tentative schedule, and travel and local information.

Contributed talk submissions are due by December 31. Attendee registration will be open through April 15.

Some NSF support is offered for participants (including students) based in the USA. To inquire about its availability, please e-mail Russell Miller, co-Secretary-Treasurer of the ASL at russell.miller@qc.cuny.edu.

The local organizing committee consists of Alexander Berenstein, Pablo Cubides Kovacsics, and Alf Onshuus.

More information can be found here: https://slalm21.uniandes.edu.co/en/#registration.

Swansea University, Wales, UK: The 2026 Logic Colloquium will be held at Swansea University, June 29 - July 3, 2026, and will be co-located with the British Logic Colloquium.

The local organizing committee consists of Troy Astarte, Arnold Beckmann, Ulrich Berger, Oliver Kullmann, Jay Morgan, Eike Neumann, Arno Pauly, Olga Petrovska, Cecilia Pradic, Monika Seisenberger (chair), Anton Setzer, Mukesh Tiwari, John Tucker, and Manlio Valenti. 

The program committee consists of Albert Atserias (Barcelona), Fernando Ferreira (Lisbon, chair), Anton Freund (Würzburg), Jonathan Kirby (East Anglia), Leszek Kołodziejczyk (Warsaw), Françoise Point (Mons), Gil Sagi (Haifa), Monika Seisenberger (Swansea), Paul Shafer (Leeds), and Boban Velickovic (Paris).

More information can be found here: https://logiccolloquium2026.github.io/.

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. The North American Annual meeting has been officially designated as a Satellite Event to the 2026 ICM.

Invited speakers include W. Brian (UNC Charlotte), V. De Risi (CNRS), J. Kennedy (Helsinki), J. Lutz (Iowa), L. Moss (Indiana), and C. Terry (UIC) with tutorials by N. Ramsey (Notre Dame) and M. Harrison-Trainor (UIC).

There will be special sessions (with organizers in parentheses) in Computability Theory (D. Hirschfeldt and K. Lange), Logic in Computer Science (E. Pimentel and V. Tannen), Model-Theoretic Algebra in memory of Zoé Chatzidakis (B. Castle and F. Jahnke), Proof Theory (M. Rathjen and J. Walsh), and Set Theory (J. Moore and D. Sinapova).

Funding for this meeting will come from the NSF. Student travel applications are due to asl@uconn.edu by April 19, 2026.

For contributed talks, at least one author must be an ASL member. Submissions are due to asl@uconn.edu by April 19, 2026.

The local organizing committee consists of Aaron Anderson (Penn Math), William Ewald (Penn Law, co-chair), Kenneth Gill (La Salle), 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), Maryanthe Malliaris (Chicago), and Andre Scedrov (UPenn).

More information can be found here: https://awainverse.github.io/asl-nam-2026/.