Call for Papers – Polish Congress of Logic, September 22-26, 2025, Toruń
Abilio Rodrigues Filho
Deall all,
Just forwarding a CFP that might interest some of you. Feel free to share it with anyone who might be interested.
******************************************************************************************
Polish Congress of Logic, September 22-26, 2025, Toruń
The Polish Association of Logic and Philosophy of Science invites submissions for presentations at the Polish Congress of Logic, which will take place on September 22-26, 2025, at the Nicolaus Copernicus University in Toruń.
Submissions should be prepared using the provided latex template and sent to ptlifn.s...@gmail.com. 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).
The Congress will feature plenary sessions, sections, and the following workshops:
§ 3rd Workshop on Relating Logic (WRL3)
Organized by Mateusz Klonowski (Department of Logic, Nicolaus Copernicus University in Toruń) and Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences).
§ 1st Workshop on Mechanisms and Causes (WMaC1)
Organized by Michał Oleksowicz (Department of Logic, Nicolaus Copernicus University in Toruń) and Mateusz Chwastyk (Institute of Physics, Polish Academy of Sciences).
§ 1st Symposium on the Languages and Logics of Syllogistics (SYLLOS1)
Organized by Luis Estrada-González (National Autonomous University of Mexico (UNAM)) and Tomasz Jarmużek (Department of Logic, Nicolaus Copernicus University in Toruń).
§ 3rd Workshop on Non-Fregean Logics (WNFL3)
Organized by Dorota Leszczyńska-Jasion and Szymon Chlebowski (Department of Logic and Cognitive Science, Adam Mickiewicz University in Poznań).
During the Congress there will also be a tutorial entitled “Formal Theories of Definite Descriptions”. The tutorial is prepared by Nils Kürbis and Michał Zawidzki (Department of Logic and Methodology of Science, University of Lodz).
Another event that will take place during the Congress is a panel discussion entitled “Logic in the development of artificial intelligence”. The panel will be attended by:
§ Rajeev Gore, Monash University, Australia
§ Wojciech Jamroga, Nicolaus Copernicus University in Toruń, Poland
§ Damian Niwiński, University of Warsaw, Poland
§ Marek Sergot, Imperial College London, England
§ Josef Urban, Czech Technical University in Prague, Czech Republic
The following keynote speakers have confirmed their lectures:
§ Johan van Benthem, University of Amsterdam, Netherlands
§ Otávio Bueno, University of Miami, USA
§ Hans van Ditmarsch, University of Toulouse, France
§ Davide Fazio, University of Teramo, Italy
§ Joanna Golińska-Pilarek, University of Warsaw, Poland
§ Rajeev Gore, Monash University, Australia
§ Andrzej Indrzejczak, University of Łódź, Poland
§ Stavros Ioannidis, National and Kapodistrian University of Athens, Greece
§ Wojciech Jamroga, Nicolaus Copernicus University in Toruń, Poland
§ Fengkui Ju, Beijing Normal University, China
§ Max Kistler, University Paris 1 Panthéon-Sorbonne, France
§ Piotr Kulicki, John Paul II Catholic University of Lublin, Poland
§ Fenrong Liu, Tsinghua University, China
§ María Martínez-Ordaz, National Autonomous University of Mexico, Mexico
§ Manuel António Martins, University of Aveiro, Portugal
§ Lawrence S. Moss, Indiana University, USA
§ Damian Niwiński, University of Warsaw, Poland
§ Hitoshi Omori, Tohoku University, Japan
§ Francesco Paoli, University of Cagliari, Italy
§ Andrzej Pietruszczak, Nicolaus Copernicus University in Toruń, Poland
§ Tomasz Placek, Jagiellonian University, Poland
§ Ian Pratt-Hartmann, University of Manchester, England
§ Abilio Rodrigues Filho, Federal University of Minas Gerais, Brazil
§ Zuzana Rybaříková, University of Ostrava, Czech Republic
§ Marek Sergot, Imperial College London, England
§ Allard Tamminga, University of Greifswald, Germany
§ Andrew Tedder, Ruhr University Bochum, Germany
§ Leon van der Torre, University of Luxembourg, Luxembourg
§ Josef Urban, Czech Technical University in Prague, Czech Republic
§ Yiyan Wang, Shanxi University, China
§ Andrzej Wiśniewski, Adam Mickiewicz University in Poznań, Poland
Submission deadline: 30.08, 2025.
Programme Committee:
§ Cezary Cieśliński, Department of Logic, University of Warsaw
§ Janusz Czelakowski, University of Opole
§ Adam Grobler, University of Opole
§ Tomasz Jarmużek, Department of Logic, Nicolaus Copernicus University in Toruń
§ Dorota Leszczyńska-Jasion, Department of Logic and Cognitive Science, Adam Mickiewicz University in Poznań
§ Marcin Miłkowski, Department of Logic and Cognitive Science, Polish Academy of Sciences
§ Roman Murawski, Adam Mickiewicz University in Poznań
§ Tomasz Placek, Department of Epistemology, Jagiellonian University
§ Kordula Świętorzecka, Department of Logic, The Card. Stefan Wyszyński University in Warsaw
§ Urszula Wybraniec-Skardowska, The Card. Stefan Wyszyński University in Warsaw
Organizers of the event: The Polish Association of Logic and Philosophy of Science; Department of Logic, Nicolaus Copernicus University in Toruń; Department of Logic and Cognitive Science, Adam Mickiewicz University in Poznań; Department of Logic, The Card. Stefan Wyszyński University in Warsaw.
******************************************************************************************