Вчера мы отметили не только наступление Старого Нового года, но и Всемирый день логики ЮНЕСКО 2024. Празднование приняло форму круглого стола на тему «Формальные методы и их приложения». Наши замечательные приглашённые докладчики рассказали о приложениях формальных методов в естественных науках, программировании, философии и лингвистике. Доклады и последующее обсуждение было насыщенным и крайне интересным. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен. Подписывайтесь на наши медиа, нажимайте на колокольчик, ставьте реакции, продолжайте праздновать и радоваться.