Polish Congress of Logic

Polish Congress of Logic, which will take place on September 22-26, 2025, at the Nicolaus Copernicus University in Toruń.

The conference aims to honour the legacy of outstanding Polish logicians, particularly those associated with the Lvov-Warsaw School and the Polish Mathematical School. The conference focuses on topics from various areas of logic and its applications, in particular, in the foundations of mathematics, computer science and linguistics. Submissions in the area of philosophy of science are also welcomed.

The Congress will feature plenary sessions, sections, and the following workshops: 3rd Workshop on Relating Logic (WRL3), 1st Workshop on Mechanisms and Causes (WMaC1), 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1), 3rd Workshop on Non-Fregean Logics (WNFL3).

We are pleased to announce the panel discussion “Logic in the Development of Artificial Intelligence”, which will take place during the Congress.

Submission deadline is extended to: June 15, 2025.

Submissions should be prepared using the provided latex template and sent to [email protected]. For workshop submissions, please include the workshop name in the email subject line. For regular submissions, please select relevant tags (at most three) from the list below:

●        automated reasoning and automated theorem proving,

●        deontic logic and action,

●        description theories,

●        epistemic logic,

●        formal theories of truth,

●        history of logic,

●        history of Polish logic,

●        infinitary logic,

●        intuitionistic logic,

●        logic and artificial intelligence,

●        logic and the foundations of computer science,

●        logic of questions,

●        many-valued logic,

●        modal logic,

●        model theory,

●        non-classical logic,

●        paraconsistent logic,

●        philosophical logic,

●        philosophy of logic,

●        philosophy of science,

●        proof theory,

●        recursion theory,

●        semantics of modal logic,

●        set theory and the foundations of mathematics,

●        temporal logic,

●        other: (please specify).

Further details about the Congress will be available at: https://logika.net.pl/pcl/

Programme Committee:

●        Cezary Cieśliński, Department of Logic, University of Warsaw

●        Janusz Czelakowski, prof. emeritus, University of Opole

●        Adam Grobler, prof. emeritus, University of Opole

●        Tomasz Jarmużek, Department of Logic, Nicolaus Copernicus University, Toruń

●        Dorota Leszczyńska-Jasion, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznań

●        Marcin Miłkowski, Department of Logic and Cognitive Science, Polish Academy of Sciences

●        Roman Murawski, prof. emeritus, Adam Mickiewicz University

●        Tomasz Placek, Department of Epistemology, Jagiellonian University

●        Kordula Świętorzecka, Department of Logic, The Card. Stefan Wyszyński University, Warsaw

●        Urszula Wybraniec-Skardowska, prof. emeritus, The Card. Stefan Wyszyński University, Warsaw

Organizers of the event: The Polish Association of Logic and Philosophy of Science; Department of Logic, Nicolaus Copernicus University, Toruń; Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznań; Department of Logic, The Card. Stefan Wyszyński University, Warsaw.