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. It will be held on 28-30 June 2023, at Department of Logic, Institute of Philosophy, Jagiellonian University in Kraków.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. We welcome submissions on all areas of mathematical logic, but we will also accept a limited number of contributions on philosophy and/or history of logic. The list of our preferred topics is below.

List of Topics

• Algebraic logic 
• Model theory
• Proof theory
• Philosophical logic
• History of logic

Program and Organising Committee

• Zalan Gyenis
• Tomasz Kowalski
• Piotr Łukowski
• Katarzyna Słomczyńska
• Adam Trybus

Venue

The conference will be held in the Institute of Philosophy building on Grodzka 52, room 28. 

Contact

If you have questions about the conference, in particular about submissions, please email us at <dlg@iphils.edu.pl>.