The 6th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th.

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 hold 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 is possible with pre-registration. The link to the event will be available only to registered participants.

Participation is 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. In 2020-22 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):
2nd Krasnoyarsk Logical Workshop
3rd Krasnoyarsk Logical Workshop
4th Krasnoyarsk Logical Workshop
Last year, our workshop became international.

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, 18:00 local time (CET+6).

The 6th annual Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th between 16:30 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. In 2023 all of Russian seminars have lost the status of an official event, however, we have gained the international level of our workshop. This year we are again part of a large international project by Jean-Yves Béziau: https://worldlogicday.com/events/2024/annual-6th-krasnoyarsk-logical-wor....

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

Within the framework of the workshop, there will be several reports — 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 — will also take place.

We plan to start the meeting at 16:30 local time (10:30 CET). The workshop program is still at the stage of formation:

16:30 - the beginning of the meeting. Introductory speech by Stepan I. Bashmakov.

• 16:50 Alexander S. Gerasimov (Peter the Great St.Petersburg Polytechnic University, SPb, Russia) - "Comparing Hilbert-type and Gentzen-type calculi for first-order rational Pavelka logic" (online);
• 17:25 Stepan I. Bashmakov (SibFU, Krasnoyarsk) - "Relational approaches to modeling interaction agents in temporal logics";
• 17:45 Tatyana Yu. Zvereva (SibFU, Krasnoyarsk) - "Linear step-like logic of knowledge LTK.sl: semantics, FMP and unification";
• 18:05 Kirill A. Smelykh (SibFU, Krasnoyarsk) - "A relational version of the multi-agent logic of computing trees CTK".

18:25 - virtual/real coffee break
18:45 - the second half of the meeting

• 18:45 Aleksandr A. Polyakov (SibFU, Krasnoyarsk) - "Tuple semantics";
• 19:05 Aleksandr A. Mukosiy (SibFU, Krasnoyarsk) - "The existence of pantaloons in unifier diagrams";
• 19:20 Elizaveta V. Brylyakova (SibFU, Krasnoyarsk) - "On the question of define the equivalence of unifiers";
• 19:35 Nikolay V. Shilov (Innopolis University, Tatarstan, Russia) - "Movies that need to know (at least a little) mathematical logic to understand" (online).

20:00 - the ending of the meeting.