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. June 23–August 29, 2025: Reverse Mathematics Workshop, University of Vienna, Austria.

2. July 7–11, 2025: Logic Colloquium 2025, Technical University of Vienna, Austria.

3. July 14–18, 2025: Computability in Europe 2025, University of Lisbon, Portugal.

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

5. September 8–12, 2025: Asian Logic Conference, Kyoto Sangyo University, Japan.

6. 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 in 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.

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.