The 5th annual Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th. This year the workshop has become international.

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.

Like last year, this year we again held it in a mixed format.

• everyone could take part in full-time participation in the seminar without prior registration in room 34-17 of the Institute of Mathematics and Computer Science of the Siberian Federal University (Krasnoyarsk, Svobodny ave., 79).
• online participation was possible with pre-registration. The link to the event was available only to registered participants.

Participation was available to everyone (including junior students).

Recall that the first workshop in support of Jean-Yves Béziau's initiative to recognize January 14 as World Logic Day took place in 2019. For the last three years it has been held 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 and Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by IM&CS Youth Center.

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

The 5th annual Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th between 17:00 and 20:00 local time (CET+6).

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 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 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.

In 2022, the workshop was held in a mixed format with covid-free restrictions for participants.

Organizing Committee:
Stepan I. Bashmakov (chairman), Kirill Smelikh and Elizaveta Brylyakova.

Within the framework of the workshop, several scientific reports were held - with a methodological and historical nature, and setting out new scientific results. The traditional coffee break, dedicated to the celebration of the traditional Russian holiday - Old New Year - was also took place.

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

17:00 - the beginning of the meeting

• 17:10 Sergey A. Drobyshevich (Ruhr University, Bochum, Germany) - "On normal companions of intuitionistic modal logics" (online);
• 17:35 Veta F. Yun, Larisa L. Maksimova (IM SB RAS, Novosibirsk) - "Perceptibility and Recognizability Properties" (online);

18:05 - virtual/real coffee break
18:20 - the second half of the meeting

• 18:20 Stepan I. Bashmakov (SibFU, Krasnoyarsk) - "Where are we heading?".
• 18:35 Tatyana Yu. Zvereva (SibFU, Krasnoyarsk) - "On the formulaic characterization of properties of LTK.sl_U".
• 18:55 Elizaveta V. Brylyakova, Aleksandr A. Mukosiy (SibFU, Krasnoyarsk) - "Structural questions for unifier diagrams".
• 19:15 Kirill A. Smelykh (SibFU, Krasnoyarsk) - "Semantics of CTLK. Computer iterative modeling of formulas".
• 19:40 Anna K. Koscheeva (UdSU, Izhevsk) - "Formalization of culture formation technology based on the structural analysis of applied logics of professional languages" (online).

The 5th workshop became the most massive in terms of the number of listeners, which certainly indicates an increase in interest in the project and the field of logic as a whole. Selected photos of the workshop: