General Information

Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic). The present conference is 68th in the series. It will be held on 28-30 June 2023, at Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków.

EasyChair announcement page has a few more details. We call for papers on all areas of mathematical logic; we will also accept a limited number of non-mathematical contributions on history and/or philosophy of logic. Paper submission is via EasyChair page. Submissions open on 1 May 2023 and close on 18 June 2023. The conference fee is PLN100.

Program Committee:
Zalan Gyenis, Tomasz Kowalski, Piotr Łukowski, Katarzyna Słomczyńska, Adam Trybus


This website contains details about the venue, the schedule, the invited speakers, the submissions, and the past installments. If you have questions, do not hesitate to contact the organisers.