TRENDS 2020/22: Trends in Logic XX. Logic and Reasoning: Formal and Informal Taras Shevchenko National University of Kyiv Kyiv, Ukraine, May 18-20, 2022 |
Conference website | https://trends2020.knu.ua/ |
Submission link | https://easychair.org/conferences/?conf=trends202022 |
Submission deadline | January 15, 2022 |
Trends in Logic is the conference series of the journal Studia Logica (see http://www.studialogica.org and http://link.springer.com/journal/11225).
The 20th Trends in Logic international conference, Logic and Reasoning: Formal and Informal is organized by the Department of Logic at the Faculty of Philosophy of the Taras Shevchenko National University of Kyiv, in co-operation with Studia Logica. Initially it was scheduled to May, 2020. However, the conference was postponed because of the covid-19 pandemic, and now it will take place on May 18-20, 2022.
Submission Guidelines
Those, who have not yet submitted papers for the conference can now do that on an additional basis. Abstracts of at most three pages length (including references) should be submitted electronically as pdf documents using the EasyChair submission page at
https://easychair.org/my/conference?conf=trends202022
List of Topics
-
modern approaches to proof theory;
-
structural proof theory and structural reasoning;
-
proof-theoretic methods in non-classical logics;
-
proof-theoretic semantics;
-
Kripke models and algebraic methods in semantics;
-
semantic analysis of non-classical logics;
-
semantic modelling of knowledge representation and reasoning;
-
provability logic;
-
description logic, defeasible reasoning and non-monotonic logic;
-
inductive reasoning and probabilistic logic;
-
automated reasoning;
-
formal models of argumentation;
-
abstract argumentation systems;
-
argumentation schemes and patterns;
-
practical reasoning and argumentation, argumentation in interpersonal communication;
-
argumentation in special contexts: finance, medicine, law, policy making, academy, (social) media, etc.;
-
dialogue logic, empirical logic, informal logic;
-
informal fallacies and cognitive biases in relation to reasoning.
Committees
Program Committee
- Iryna Khomenko (Taras Shevchenko National University of Kyiv, Ukraine)
- Jacek Malinowski (Polish Academy of Sciences, Poland)
- Gabriel Sandu (Helsinki University, Finland)
- Cristian Santibanez (Catholic University of the Most Holy Conception, Chile)
- Yaroslav Shramko (Kryvyi Rih State Pedagogical University, Ukraine)
- Rich Thomason (University of Michigan, USA)
- Yde Venema (University of Amsterdam, Netherlands)
- Heinrich Wansing (Ruhr-University Bochum, Germany)
Organizing committee
- Leonid Hubersky (Taras Shevchenko National University of Kyiv)
- Anatoly Konversky (Taras Shevchenko National University of Kyiv)
- Iryna Khomenko (Taras Shevchenko National University of Kyiv)
- Yaroslav Shramko, (Kryvyi Rih State Pedagogical University)
- Larysa Komakha (Taras Shevchenko National University of Kyiv)
- Sergey Rudenko (Taras Shevchenko National University of Kyiv)
- Nadiya Kozachenko (Kryvyi Rih State Pedagogical University)
Invited Speakers
- Hans van Ditmarsch (French National Centre for Scientific Research, France)
- Valentin Goranko (Stockholm University, Sweden)
- Dale Hample (University of Maryland, USA)
- Hitoshi Omori (Ruhr-University Bochum, Germany)
Venue
The conference will be held in Taras Shevchenko National University of Kyiv
Contact
All questions about submissions should be emailed to kyivconference@gmail.com