Conferences

The following is a list of upcoming logic conferences (or summer schools) on my radar. Feel free to let me know if you have any suggestions!

1. September 1–December 12, 2025: Trimester Program: "Definability, decidability, and computability", University of Bonn, Germany.

2. October 24-26, 2025: Model Theory at Notre Dame in honor of Zoé Chatzidakis, University of Notre Dame, USA.

3. January 4-7, 2026: ASL Winter Meeting with JMM, Walter E. Washington Convention Center, Washington D.C., USA.

4. June 1-5, 2026: SLALM XXI, Universidad de los Andes, Columbia.

5. July 19–22, 2026: ASL North American Annual Meeting, University of Pennsylvania, USA.

Some logic conferences occurring periodically:

1. ASL North American Annual Meeting, taking place every summer somewhere in the US.

2. IMS Graduate Summer School in Logic, taking place every summer at NUS (Singapore).

3. Midwest Computability Seminar, taking place every semester in Chicago (UChicago/UIC).

4. Graduate Student Conference in Logic (GSCL), taking place every April at UW-Madison/Notre Dame/UIC/UChicago.

5. ASL Logic Colloquium (European Summer Meeting), taking place every summer somewhere in Europe.

6. Computability in Europe (CiE), taking place every summer somewhere in Europe.

7. ASL Winter Meeting with JMM, taking place every winter with the Joint Mathematics Meeting (JMM).

8. South Eastern Logic Symposium (SEALS), taking place every March at University of Florida.

9. Mid-Atlantic Mathematical Logic Seminar (MAMLS), taking place every fall at Rutgers University.

Other useful links:

1. Meetings sponsored by the ASL.

2. Subscribe to the computability theory mailing list for conference announcements.

3. Announcements from computability.org.

4. Meetings from the Model Theory Network.

5. Online Logic Seminar happening every Thursday on Zoom.