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.

Confirmed Invited Speakers

KHL

Wiesław Dziobiak

University of Puerto Rico at Mayagüez

Title of his talk: TBA

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

Title of his talk: TBA

Grigory Olkhovikov

Ruhr-Universität Bochum

Title of his talk: TBA

Organizers and committee

Zalán Gyenis

Tomasz Kowalski

Krzysztof Krawczyk

Piotr Łukowski

Adam Trybus