World Logic Day was celebrated for the first time on January 14, 2019. The date chosen, 14 January, corresponds to the date of death of Kurt Gödel and the date of birth of Alfred Tarski, two of the most prominent logicians of the twentieth century. On 26 November 2019, UNESCO proclaimed 14 January to be World Logic Day and included it in its list of International Days. This year, World Logic Day will be celebrated for the fourth time. The event is very popular worldwide. Last year there were 82 scientific events in 40 countries and this year 50 countries have already registered to participate.

For a second time, after January 15, 2021, the logicians at the Bulgarian Academy of Sciences and the Sofia University “St. Kliment Ohridski” will celebrate together World Logic Day organizing a Joint Meeting of the Algebra and Logic Seminar at the Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences, the Seminar of the Department of Mathematical Logic and Its Applications of the Faculty of Mathematics and Informatics of Sofia University “St. Kliment Ohridski”, the Seminar of Logic at the Institute of Philosophy and Sociology of the Bulgarian Academy of Sciences, and the Department of Artificial Intelligence and Linguistic Technologies of the Institute of Information and Communication Technologies of the Bulgarian Academy of Sciences.

The meeting will be held on January 14, 2022 (Friday) from 10:00 to 15:30 Bulgarian time (+2UCT) and the opening ceremony will be from 10:00 to 10:30.

The scientific forum is already included in the official program of the Fourth World Logic Day.

The scientific program of the event consists of 6 research talks by scientists of the four institutions and one talk by a Polish mathematician. More information for our meetings dedicated to the World Logic Days in 2021 and 2022 may be found on the home page of the Algebra and Logic Seminar of the Institute of Mathematics and Informatics. The abstracts of the talks could also be found on the same web page.

The event will take place via ZOOM and everybody is cordially invited to participate by following the link:

Topic: Joint Seminar on the occasion of World Logic Day 2022

Time: Jan 14, 2022, 10:00 Sofia

Meeting ID: 865 3670 2054

Passcode: 328563