Logic List Mailing Archive

CfR: Cracow Logic Conference (CLoCk 2025), 24–27 June 2025, Kraków (Poland)

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