Meetings – Association for Symbolic Logic

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)

Meeting Code of Conduct webpage

2026 Logic Colloquium Book of Abstracts

2026 North American Annual Meeting Draft Program

Registration for the 2026 North American Annual Meeting is open. Late registration will begin July 1.

View by Type:

By Keyword:

Archives by Year/Type

June 29-July 3, 2026 2026 Logic Colloquium (European Summer Meeting)
July 19-22, 2026 2026 ASL North American Annual Meeting
January 12-15, 2027 ASL Winter Meeting with JMM
March 24-27, 2027 2027 ASL-APA Meeting (with the Pacific APA Division Meeting)
September 6-10, 2027 2027 Logic Colloquium (European Summer Meeting)

June 29-July 3, 2026: 2026 Logic Colloquium (European Summer Meeting)

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 plenary speakers are J./ Aguilera, C./ Antos-Kuby, L./ Cohen, S./ Gao, Å./ Hirvonen, T./ Kihara and N./ Pischke. The Gödel Lecturer will be given by John Burgess (Princeton). Tutorials will be presented by P./ Hieronymi and R./ Santhanam. The meeting includes special sessions in Computability in Analysis; Pure and Applied Proof Theory; History of Logic and Computing; Model Theory; Set Theory; and Type Theory. 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).

The contributed abstract deadline has been extended to April 13, 2026: they are due to asl@uconn.edu and must abide by the rules described here: https://aslonline.org/rules-for-abstracts/.

NSF funding is available for graduate students that are USA citizens, residents, and/or international students enrolled at US universities – applications are due to asl@uconn.edu by March 23, 2026.

Funding is also available for non-US based graduate students and recent PhDs – applications are due to m.seisenberger@swansea.ac.uk and manlio.valenti@swansea.ac.uk by March 23, 2026.

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

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. 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). Phokion Kolaitis will also be delivering his retiring presidential address.

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/.

January 12-15, 2027: ASL Winter Meeting with JMM

Chicago, IL, USA: The JMM will take place January 12-15, 2027 at McCormick Place, Lakeside Center, and South Building, Chicago, Illinois, USA.

The program committee consists of A. Tserunyan, M. Harrison-Trainor, and T. Scanlon (chair).

The first two days of the JMM will include the ASL-AMS Special Session on Groups in Computability Theory and Descriptive Set Theory, organized by T. Ho, K. Oyakawa, and I. Scott, and also the ASL Tutorial in Logic.

The deadline for contributed abstracts from ASL members for this meeting is September 15, 2026: they should be submitted as ASL Contributed Talks via the JMM website https://jointmathematicsmeetings.org/jmm\, which is also the site for JMM registration.

To participate in either the ASL Winter Meeting or the events of the larger JMM, one must register for the entire Joint Mathematics Meetings.

The deadline for applications for ASL student travel grants is October 12, 2026 and should be sent to Shannon Miller at asl@uconn.edu, following the rules for Student Travel Awards.

The AMS has its own separate programs of JMM travel grants: see https://www.ams.org/grants-awards/travel-grants for that information.

More information will be posted as it becomes available. The website can be found here: https://www.ams.org/meetings/national/national.

March 24-27, 2027: 2027 ASL-APA Meeting (with the Pacific APA Division Meeting)

Portland, OR, USA: The 2027 ASL-APA meeting will be held in conjunction with the Pacific APA Division Meeting, March 24-27, 2027 at the Hilton Portland Downtown in Portland, Oregon, USA.

The program committee chair is Wes Holliday.

More information will be posted as it becomes available. The website can be found here: https://www.apaonline.org/events/EventDetails.aspx?id=1858195&group=.

September 6-10, 2027: 2027 Logic Colloquium (European Summer Meeting)

Universität Passau, Passau, Germany: The 2027 Logic Colloquium will take place September 6-10, 2027 at the Universität Passau in Passau, Germany. Note that the dates are somewhat later in the year than usual.

More information will be posted on the website as it becomes available.