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 2427 June 2025 at the Jagiellonian University in Krakw, Poland.



This special anniversary edition will feature two thematic parts:



- Konferencja Historii Logiki (KHL)  2425 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  2627 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-Universitt 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