Logic List Mailing Archive

CfP: Logic Colloquium 2025, 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 Universitt (TU) Wien in Vienna, Austria from July 7 to 11, 2025.

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

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


# Gdel lecture:


* Joan Bagaria (ICREA) will be giving the Gdel 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).


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


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


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


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


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


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


==========================
ABSTRACT SUBMISSION
==========================

The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Contributed abstracts should be submitted to Shannon Miller at asl@uconn.edu<mailto: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/.


See the webpage https://www.colloquium.co/lc2025 for full instructions.

==========================
IMPORTANT DATES
==========================
April 1: *Registration open*
April 15: Deadline for ASL student travel applications
April 15: Deadline for contributed talks
April 25: Notification of student travel grants
May 1: Notification of acceptance of contributed talks
May 5: Deadline for early registration
May 30: Deadline for registration
July 711: Logic Colloquium

==========================
ASL Student travel award
==========================
Graduate students and recent PhDs may apply for ASL travel support. Student travel award applications (with accompanying recommendation letters) should be sent to Shannon Miller at asl@uconn.edu<mailto:asl@uconn.edu> by the deadline of April 15, 2025. See the webpage https://www.colloquium.co/lc2025 for full instructions.

==========================
Programme Committee
==========================
*Juan Aguilera (TU Wien),
*Mikoaj Bojaczyk (Warsaw),
*Nicola Gambino (Manchester),
*Nina Gierasimczuk (TU Denmark),
*Rosalie Iemhoff (Utrecht),
*Juliette Kennedy (Helsinki, chair),
*Sandra Mller (TU Wien),
*Daniel Palacn (Madrid),
*Ludovic Patey (Paris),
*Andrs Villaveces (Bogot).

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

==========================
Sponsors
==========================
Association for Symbolic Logic, TU Wien,
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