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 -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
