Cracow Logic Conference (CLoCk) is the rebranded version of the oldest Polish conference series on logic, which existed for many years under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic). The present conference is the 70th in the series. It will be held on 24-27 June 2025, at Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków.

Marking the 70th anniversary of the series, the first two days (24-25 June) are dedicated to Konferencja Historii Logiki (KHL). The topics of KHL, apart from historical threads, include current achievements on history and/or philosophy of logic.

CLoCk is held on 26-27 June. We call for 30-minute contributed talks on all areas of mathematical logic, especially on Algebraic logic, Model theory, Proof theory.

Important dates
KHL: 24–25 June 2025
CLoCk: 26–27 June 2025

Abstract submission deadline: 31 May, 2025
Notification of authors: 10 June, 2025
Registration deadline: 20 June, 2025

Confirmed Invited Speakers

KHL

Wieslaw Dziobiak

Wiesław Dziobiak


University of Puerto Rico at Mayagüez

Categorical Duality for Algebraic Lattices

CLoCk

Nick Galatos

Nick Galatos


University of Denver

Title of his talk: TBA
Peter Jipsen

Peter Jipsen


Chapman University

Title of his talk: TBA
Zalan Molnar

Zalán Molnár


Eötvös Loránd University of Sciences

On choice principles and their equivalents for infinite graphs
Grigory Olkhovikov

Grigory Olkhovikov


Ruhr-Universität Bochum

Title of his talk: TBA

Venue

The conference will be held in Kraków, somewhere in the city center. Specific location TBD.

Registration



Payment information

Payments can be made via bank transfer to the following account:

Name of the bank: Bank PEKAO SA
Bank address: ul. Szpitalna 15, 31-024 Kraków, Poland
Account number: PL83 1240 4722 1111 0000 4857 9179
BIC/SWIFT: PKOPPLPW

Payment reference: 2100450
Please make sure to include this number as a message to the payee.


*by young researcher we mean someone within 5 years from PhD completion.
Participants from low-income countries can apply for a fee reduction.

Organizers and committee

Zalan Gyenis

Zalán Gyenis

Tomasz Kowalski

Tomasz Kowalski

Krzysztof Krawczyk

Krzysztof Krawczyk

Piotr Lukowski

Piotr Łukowski

Adam Trybus

Adam Trybus


If you have questions about the conference, in particular about submissions, please email us at tomasz.s.kowalski[at]uj.edu.pl.