Logic List Mailing Archive

CfR: Logic Colloquium 2025 – European Summer Meeting of the Association for Symbolic Logic, 7–11 July 2025, Vienna (Austria)

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025. This is the final call for participation.


==========================

PROGRAM
==========================


# Gödel lecture:


* Joan Bagaria (ICREA) will give the Gödel Lecture.


# Plenary speakers:

* B. Afshari (Gothenburg),
* U. Buchholtz (Nottingham),
* T. Colcombet (Paris IRIF),
* S. Gandon (Clermont-Ferrand),
* P. Lutz (UC Berkeley),
* M. Malliaris (Chicago),
* S. Shelah (Hebrew U),
* B. Siskind (TU Wien),
* S. Smets (Amsterdam).


# Tutorials:


* H. Towsner (UPenn),
* D. Sinapova (Rutgers).

# Special sessions:


* Proof Theory. Organized by Matthias Baaz (TU Wien) and Stefan Hetzl (TU Wien).

Speakers:
- Anupam Das
- Luisa Deprés
- Anela Lolić
- Dale Miller

* Model Theory. Organized by Amador Martin-Pizarro (Freiburg) and Jonathan Kirby (UEA).

Speakers:
- Jana Marikova
- Pierre Touchard
- Tingxiang Zou

* Set Theory. Organized by Aristotelis Panagiotopoulous (UniVie), Farmer Schlutzenberg (TU Wien), and Vera Fischer (UniVie).

Speakers:
- Jan Grebik
- Rahman Mohammadpour
- Jonathan Schilhan

* Computability Theory. Organized by Paul Shafer (Leeds) and Laurent Bienvenu (Bordeaux).

Speakers:
- George Barmpalias
- Ellen Hammatt
- Giovanni Soldà

* Logic in Computer Science. Organized by Brett McLean (UGent) and Michael Pinsker (TU Wien).

Speakers:
- Szymon Toruńczyk
- Jakub Opršal

* Logic and Leibniz. Organized by Juliette Kennedy (Helsinki).

Speakers:
- Filippo Costantini
- Marko Malink
- Massimo Mugnai
- Alessia Salierno
- Anubav Vasudevan

* Condensed Mathematics. Organized by Jeffrey Bergfalk (Barcelona) and Chris Lambie-Hanson (CAS).

Speakers:
- Ko Aoki
- Dagur Asgeirsson
- Dianthe Basak
- Matteo Viale

==========================
IMPORTANT DATES
==========================

May 30: Deadline for registration
July 7–11: Logic Colloquium

==========================
Registration
==========================

For registration, follow the link on the website:
https://www.colloquium.co/lc2025

==========================
Programme Committee
==========================
*Juan Aguilera (TU Wien),
*Mikołaj Bojańczyk (Warsaw),
*Nicola Gambino (Manchester),
*Nina Gierasimczuk (TU Denmark),
*Rosalie Iemhoff (Utrecht),
*Juliette Kennedy (Helsinki, chair),
*Sandra Müller (TU Wien),
*Daniel Palacín (Madrid),
*Ludovic Patey (Paris),
*Andrés Villaveces (Bogotá).

==========================
Organizing Committee
==========================
*Juan Aguilera (chair),
*Anela Lolić (co-chair),
*Matthias Baaz (co-chair),
*Miguel Aguilar,
*Fernando Barrera,
*Kees van Berkel,
*Anton Fernández,
*Mariami Gamsakhurdia,
*Martina Iannella,
*Thibaut Kouptchinsky,
*Stella Mahler,
*Marietta Meszlenyi,
*Rahman Mohammadpour,
*Grigorii Stepanov,
*Corey Switzer.

==========================
Sponsors
==========================
Association for Symbolic Logic, TU Wien, Vienna Tourist Board, Österreichischer Wissenschaftsfonds (FWF), European Research Council (ERC).

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


Contact us: lc25@dmg.tuwien.ac.at<mailto:lc25@dmg.tuwien.ac.at>.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php