General Info

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.

Registration

If you wish to attend the conference but not plan to submit a talk, please use the EasyChair submission page putting "No talk" in the Title field, any string of letters in the Abstract field, and any three lines in the Keywords field.

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. 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. If you wish to attend the conference but not plan to submit a talk, please use the same submission page putting "No talk" in the Title field, any string of letters in the Abstract field, and any three lines in the Keywords field.

Important dates

Conference fees


The fee comes in three categories: where by young researcher we mean someone within 5 years from PhD completion. Participants from low-income countries can apply for a fee reduction.

Payments can be made via bank transfer to the following account:
Name of the bank: Bank PEKAO SA
Bank address: ul. Szpitalna 15, 31-024 Kraków, Poland
Account number: PL83 1240 4722 1111 0000 4857 9179
BIC/SWIFT: PKOPPLPW
Payment reference: 2100415 (Please include this number as a message to the payee).

Please send us an email at trends-in-logic[at]iphils.uj.edu.pl confirming your payment and indicating whether you would like to receive an invoice (if so, please provide the invoice details).

Invited speakers

Venue

Opening and sessions on the 18th of June: Aula (1st floor) 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.


Schedule + Booklet (of abstracts)


An outline of the schedule can be found under this link. Detailed version with the abstracts is here.



A B C D E F G H I J K L
1
Cracow Logic Conference LXIX and Trends in Logic XXIV
90 Years of Studia Logica


18-21 June, 2024, Kraków
2
3
4
5
Tuesday, June 18 Wednesday Thursday Friday
6
9:00
-
9:30 		REGISTRATION,
OPENING 		Guillermo Badia Dorota Leszczyńska-Jasion Kordula Świętorzecka
7
8
9:30
-
10:00 		Jacek Malinowski
9
10
10:00
-
10:30 		Anna Brożek and Zofia Hałęza COFFEE COFFEE COFFEE
11
12
10:30
-
11:00 		General discussion of the history of
Studia Logica 		Mai Gehrke Marta Bílková Ondrej Majer and Igor Sedlar Camillo Fiore and Bruno Da Ré
13
14
11:00
-
11:30 		Yde Venema Gaia Belardinelli and Ondrej Majer Camillo Fiore
15
16
11:30
-
12:00 		Wesley Fussner and Peter Jipsen Piotr Kulicki Pablo Cobreros, Isabel Grábalos Palomino, Joaquín Toranzo Calderón, Javier Viñeta and Martina Zirattu Paweł Płaczek Piotr Błaszczyk Andrea Sabatini
17
18
12:00
-
14:00 		LUNCH BREAK LUNCH BREAK LUNCH BREAK LUNCH BREAK
19
20
21
14:00
-
14:30 		Michał Stronkowski Michał Wrocławski Sebastian G.W. Speitel Francesco Paoli Yaroslav Petrukhin Agustina Borzi, Aylén Bavosa Castro, Joaquín Toranzo Calderón, Bruno Da Ré and Ariel Roffé
22
23
14:30
-
15:00 		Katarzyna Słomczyńska and Tomasz Kowalski Agata Tomczyk José Martín Castro-Manzano Rodrigo Mena Gonzalez
24
25
15:00
-
15:30 		BREAK COFFEE COFFEE Nicolò Zamperlin
26
27
15:30
-
16:00 		Thomas Ferguson Filip Jankovec, Petr Cintula and Carles Noguera András Kornai Martina Zirattu and Agustina Borzi Ren-June Wang
28
29
16:00
-
16:30
30
31
18:00 DINNER

Committees


 Program committee

 Organizing committee


Contact

If you have questions about the conference, in particular about submissions, please email us at
trends-in-logic[at]iphils.uj.edu.pl.