Cracow Logic Conference 2023

Contact Register

CallCLoCk poster

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). The present conference is 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.

We call for papers on all areas of mathematical logic; we will also accept a limited number of non-mathematical contributions on history and/or philosophy of logic. Paper submission is via EasyChair page. Submissions open on 1 May 2023 and close on 18 June 2023. The conference fee is PLN100.

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

Program and organizing committee

Invited speakers

Invited speakers

Schedule

The final version of the schedule is available here in pdf. If you wish to participate as an online audience, please contact the organisers (adam[dot]trybus[at]uj.edu.pl) to be given access to the meeting.
WEDNESDAY THURSDAY FRIDAY
9:00
-
9:30 		REGISTRATION,
OPENING 		TARMO UUSTALU

The proof theory of skew logics
9:30
-
10:00 		WESLEY FUSSNER

Interpolation in exchange-free logics 		JUDIT MADARÁSZ

Hajnal Andréka's conjecture on concept
algebras of classical and relativistic spacetimes
10:00
-
10:30 		COFFEE BREAK
10:30
-
11:00 		COFFEE BREAK DANIEL GAINA

Horn clauses in hybrid-dynamic
quantum logic 		COFFEE BREAK
11:00
-
11:30 		ANDRZEJ INDRZEJCZAK

Proof-theoretic formulation of
Quinean set theory NF 		PIOTR BŁASZCZYK

Infinity of Euclid's straight line
and circular inversion
11:30
-
12:00 		KATARINA MAKSIMOVIC

Lambda terms as graphs 		JANUSZ KACZMAREK

On the Negation of the Atomic State of Affairs.
Algebraic and Topological Analysis (Interpretation)
12:00
-
12:30 		YAROSLAV PETRUKHIN

Normalisation for Segerberg's natural
deduction system for Boolean n-ary connectives 		JACEK MALINOWSKI

Connexive Logics via Relating Semantics
  		MICHAŁ GIL-SANCHEZ

Invariants preserverved by
the information projection
12:30
-
14:30 		LUNCH BREAK LUNCH BREAK LUNCH BREAK
14:30
-
15:00 		YAROSLAV SHRAMKO

Dualities in constructive logics

ONLINE 		MICHAL BOTUR

Tense algebras
 		EUGENIUSZ WOJCIECHOWSKI

Intuicyjna interpretacja logiki
trójwartościowej i logiki czterowartościowej
15:00
-
15:30 		ADAM OLSZEWSKI

About logically probable sentences
15:30
-
16:00 		MICHAŁ WROCŁAWSKI

Degree spectra of relations on
natural numbers and integers 		KRZYSZTOF KRAWCZYK

Congruence Extension Property in
Varieties of Modal Algebras 		KAZIMIERZ CZARNOTA

Leśniewskis mereology as the partition theory
of real objects and intentional objects
16:00
-
16:30 		DARIUSZ KALOCIŃSKI

A hypothesis concerning
intendedness of a model 		ATTILA JOÓ

Weakly reflecting graph properties
16:30
-
17:00 		ZALÁN MOLNÁR

Remarks on the ultrafilter
extensions with infinite degree 		AMITAYU BANERJEE
Interrelations between Kurepa’s principle,
infinite Ramsey’s theorem, and a variant of
Erdős–Dushnik–Miller theorem without
the Axiom of Choice


Booklet

The conference booklet is available here.

Venue

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

For more information, visit this page

Contact

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