Cracow Logic Conference

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

Wiesław Dziobiak

University of Puerto Rico at Mayagüez

Categorical Duality for Algebraic Lattices

CLoCk

Nick Galatos

University of Denver

Title of his talk: TBA

Peter Jipsen

Chapman University

Title of his talk: TBA

Zalán Molnár

Eötvös Loránd University of Sciences

On choice principles and their equivalents for infinite graphs

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

Full Name Email Affiliation Fee category

Standard (€200) Young Researcher*/Retired (€100) Student (€50)

I need an invoice

Name on invoice: Organization: Address (street, number): City: Postal code: Country: Further info for us (e.g. if we should include a grant number, etc.):

Human verification: 7 - 4 =

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

Zalán Gyenis

Tomasz Kowalski

Krzysztof Krawczyk

Piotr Łukowski

Adam Trybus

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