Cracow Logic Conference (CLoCk) is the oldest Polish conference series on logic. For many years it existed under a deceptive name Konferencja Historii Logiki (Conference on the History of Logic), and was for the most part limited to the Polish logic community. This year's conference will be the 69th in that series: LXIX KHL for those who care. Since 2023, CLoCk went truly international and welcomes contributions on all areas of symbolic logic. Purely philosophical contributions are not automatically excluded, but are frowned upon. CLoCk also sees itself as a continuation of the AsubL workshop series, so mathematical approaches to nonclassical logics are preferred.
Trends in Logic is the conference series of the journal Studia Logica aimed at worldwide promotion of logic and Studia Logica. The series began in 2003, and have been held annually at different logic centres. Apart from Poland, Trends in Logic conferences were held in Denmark, China, Belgium, The Netherlands, Germany, Italy, USA, Georgia, Argentina, Brazil, Russia and Ukraine. The series has been instrumental in increasing the visibility of Studia Logica and elevating its international standing.
The conference will be held on 18-21 June 2024, and hosted by Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków. Co-organized by the JU Doctoral School in the Humanities.
We welcome submissions on all areas of symbolic logic. We understand this term as meaning "mathematical logic not limited to classical logic". We may also accept a limited number of contributions on philosophy and/or history of logic. The submissions must be original. Submissions of results already published or submitted for publication elsewhere are acceptable but the submission must clearly indicate this, and failure to do so will result in immediate rejection. Such submissions will not be considered for publication in the proceedings. The list of our preferred topics include Algebraic logic, Model theory, Proof theory, Philosophical logic, History of logic.
Paper submission is via EasyChair page.
Important dates
Opening and sessions on the 18th of June: Auditorium of Collegium Novum (24 Gołębia, Kraków)
The venue for the conference sessions for the rest of the days (19-21 June) will be at the JU Doctoral School in the Humanities, 34 Rynek Główny (Main Square), 2nd floor, 31-010 Kraków.
If you have questions about the conference, in particular about submissions, please email us at
trends-in-logic[at]iphils.uj.edu.pl.