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 > <https://drive.google.com/file/d/1DZi---Nh24TjffiEqVblg4_LORqYFQdG/view?usp=sharing>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). > > 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. > > > > > ****************************************************************************************** > > > > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD23sKZLKVJwJyaJ-sCejC6G8yUjUVHx%3DQZiMOSeG3SxCNg%40mail.gmail.com.
