Annual 3rd Krasnoyarsk Logical Workshop (14.Jan.21): Dedicated to the 3rd World Logic Day

Online in a Zoom

In 2019, supporting the proposal of Jean-Yves Béziau, our logical team organized the 1st Krasnoyarsk Logical Workshop dedicated to the celebration of the 1st World Logic Day (a lot of useful information about the worldwide celebration of Logic Day in 2019 is available in the article by Jean-Yves). Later that year, 14 January 14th was proclaimed by UNESCO (including thanks to our support) as a official World Logic Day (here see proclamation).

In 2020, already in the status of a UNESCO official date, we have successfully organized the 2nd workshop (for more details, see here).

In 2021, amid the coronavirus pandemic, the already traditional Krasnoyarsk Logical Workshop was held online in the form of the Zoom conference as an official even of the World Logic Day project of UNESCO through CIPSH (Conseil International de Philosophie et des Sciences Humaines).

The event was supported by Department of Algebra and Mathematical Logic (represented by Stepan I. Bashmakov) and Krasnoyarsk Mathematical Center.

Information and technical support for the event provided by IM&CS Youth Center.

A registration form was available for everyone who wanted to take part in the preparation period. The link to the event will be available only to registered participants. Registration was open to everyone (including junior students).

Applications for participation with a report were accepted until January 11, 18:00 local time (CET+6).

Organizing Committee:
Stepan I. Bashmakov (chairman), Tatyana Zvereva and Alexander Astrotenko

What is special about January 14th?
- January 14 - New Year according to the Julian calendar;
- January 14, 1901 - the birthday of Alfred Tarski;
- January 14, 1978 - the day of the death of Kurt Gödel.

Within the framework of the workshop, several scientific reports were held - with a methodological and historical nature, and setting out new scientific results. Unfortunately we had to cancel the traditional coffee break, dedicated to the celebration of the traditional Russian holiday - Old New Year... However, those participants that wished it stock up on cookies, sandwiches and coffee to consume during the scheduled break.

The third KLW became the largest in terms of geography and the number of members: it included 16 participants, among them, 2 doctors and 7 candidates of sciences, 6 undergraduate and graduate students, and one post-graduate student.

The meeting started at 17:00 local time (11:00 CET). The program of the workshop:

17:00 - the beginning of the meeting

18:20 - virtual coffee break
18:40 - the second half of the meeting

  • 18:40 Vitaly V. Rimatsky (Dept H&AM IM&CS SibFU) - "About describing the semantic properties of logics using admissible rules"
  • 19:00 Tatyana Yu. Zvereva (Dept A&ML IM&CS SibFU) - "A formula characterization for linear multiagent logic of non-transitive non-reflexive time with the universal modality"

Selected screens of the workshop:

По часовой стрелке: А.Д.Яшин, С.И.Башмаков, А.К.Кощеева и С.П.Одинцов

Доклад С.П.Одинцова

С.П.Одинцов о регулярных логиках

Доклад А.Д.Яшина и А.К.Кощеевой

А.К. Кощеева

Доклад В.В. Римацкого

Доклад Т.Ю. Зверевой

Коллективный скрин участников, спиралью по часовой стрелке: С.П.Одинцов, М.И.Голованов, С.И.Башмаков, А.К.Кощеева, С.А.Дробышевич, Т.Ю.Зверева, А.Д.Яшин

Башмаков С. И.