Dear Colleagues,
We are pleased to announce the 70th edition of the Cracow Logic Conference to be held on 24–27 June 2025 at the Jagiellonian University in Kraków, Poland.
This special anniversary edition will feature two thematic parts:
– Konferencja Historii Logiki (KHL) – 24–25 June
Marking the 70th edition of KHL, dedicated to the history and philosophy of logic,
including contemporary developments in these areas. Mostly in Polish.
– CLoCk – 26–27 June
Focusing on all areas of mathematical logic, with particular emphasis on:
– Algebraic Logic
– Model Theory
– Proof Theory
Confirmed Invited Speakers:
– Nick Galatos (University of Denver)
– Grigory Olkhovikov (Ruhr-Universität Bochum)
Important Dates:
– Abstract Submission Deadline: 31 May 2025
– Registration Deadline: 20 June 2025
For more information and to submit your abstract, please visit our website:
https://iphils.uj.edu.pl/clock
We look forward to your participation in this event.
Best regards,
The CLoCk 2025 Organizing Committee