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). The present conference in 68th in the series.
Topics: algebraic logic, model theory, proof theory, philosophical logic