Please note that this newsitem has been archived, and may contain outdated information or links.
24 - 27 June 2025, Cracow Logic Conference (CLoCk 2025), Kraków, Poland
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 2627 June
Focusing on all areas of mathematical logic, with particular emphasis on Algebraic Logic, Model Theory, and Proof Theory
Confirmed Invited Speakers: Nick Galatos (University of Denver), Grigory Olkhovikov (Ruhr-Universität Bochum)
We call for 30-minute contributed talks on all areas of mathematical logic, especially on Algebraic logic, Model theory, Proof theory.
Please note that this newsitem has been archived, and may contain outdated information or links.