Meetings

Technische Universitat (TU) Wien, Vienna, Austria: The 2025 ASL Logic Colloquium will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

Joan Bagaria (ICREA) will be giving the Gödel Lecture. Invited speakers include B. Siskind (TU Wien), S. Shelah (Hebrew U), M. Malliaris (Chicago), S. Smets (Amsterdam), S. Gandon (Clermont-Ferrand), P. Lutz (UC Berkeley), B. Afshari (Gothenberg), U. Buchholtz (Nottingham), and T. Colcombet (Paris IRIF). Tutorials will be given by H. Towsner (UPenn) and D. Sinapova (Rutgers).

Special sessions (with organizers in parentheses) will include: Set Theory (A. Panagiopoulous, F. Schlutzenberg, V. Fischer), Model Theory (A. Martin-Pizarro, J. Kirby), Proof Theory (M. Baaz, S. Hetzel), Computability (P. Schafer, L. Bienvenu), Philosophy (D. Rabouin, V. De Risi, J. Kennedy), and Condensed Math (J. Bergfalk, C. Lambie-Hanson).

The program committee consists of Juan Aguilera (Vienna), Mikołaj Bojańczyk (Warsaw), Nicola Gambino (Manchester), Nina Gierasimczuk (TU Denmark), Rosalie Iemhoff (Utrecht), Juliette Kennedy (Helsinki, chair), Sandra Mueller (Vienna), Daniel Palacin (Madrid), Ludovic Patey (Paris), and Andres Villaveces (Bogota).

Contributed abstracts should be submitted to Shannon Miller at asl@uconn.edu by the deadline of April 15, 2025. Abstracts MUST use the template and abide by the format as listed at https://aslonline.org/rules-for-abstracts/.

Student travel applications and recommendation letters should be sent to Shannon Miller at asl@uconn.edu by the deadline of April 15, 2025. Applicants do not need to be ASL members to be eligible for funding but applications must follow the rules listed at the bottom of this webpage: https://aslonline.org/student-travel-awards/.

There are NSF and non-NSF funds available for student travel awards - NSF funds are restricted to students who are US citizens or permanent residents and to international students enrolled at US universities. Air travel paid for using NSF funds must comply with the Fly America Act.

Additional funding for this meeting comes from the Philiumm project, which has funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Advanced Grant ADG No. 101020985.

More information can be found here: https://www.colloquium.co/lc2025.

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.

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

More information will be posted as it becomes available.