Department of Logic of the Jagiellonian University and Studia Logica organise a common event:

Cracow Logic Conference 69 and Trends in Logic 24 -- 90 Years of Studia Logica

with a historical lecture on Jan Łukasiewicz 1934 Studia Logica volume.

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 and Doctoral School in the Humanities, Jagiellonian University, Kraków.

Submission Guidelines

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. Please, submit an abstract not longer than 4 pages. Results presented at the conference and not previously published will be considered for publication in the proceedings. The list of our preferred topics is below.

List of Topics

• Algebraic Logic (including categorical and topological methods)
• Model Theory (including abstract model theory)
• Proof Theory 
• Non-classical and applied logic
• Philosophy / History of logic

Conference fees

The fee comes in three categories:

• standard: EUR250
• young researcher: EUR150
• student: EUR50

where by young researcher we mean someone within 5 years from PhD completion. Participants from low-income countries can apply for a fee reduction. Payment methods will be announced in due course.

Invited Speakers

• Guillermo Badia
• Marta Bilkova
• Thomas Ferguson
• Mai Gehrke
• Dorota Leszczyńska-Jasion
• Francesco Paoli
• Michał Stronkowski
• Kordula Świętorzecka
• Yde Venema

Committees

Program Committee

• Andrzej Indrzejczak
• Tomasz Kowalski
• Piotr Łukowski 
• Jacek Malinowski 
• Heinrich Wansing

Organizing committee

• Adam Trybus
• Piotr Łukowski
• Tomasz Kowalski
• Zalán Gyenis

Venue

Opening and sessions on the 18th of June: Auditorium of Collegium Novum, Gołębia 24 (24 Gołębia St, Kraków).

Sessions for the following days (19-21 June): JU Doctoral School in the Humanities, Rynek Główny 34 (34 Main Square, Kraków), 2nd floor.

Contact

Do not hesitate to email us at <dlg@iphils.uj.edu.pl> if you have any questions about the conference, in particular about submissions.