Уважаемые коллеги! 14 января (да, в воскресенье) мы проводим очередной круглый стол, посвящённый Всемирному дню логики ЮНЕСКО. В этот раз круглый стол будет посвящён формальным методам и их приложению в разных областях знания. Начало круглого стола в 11:50 по времени Екатеринбурга (9:50 по Москве). С программой круглого стола можно ознакомиться на нашем сайте. Для участия в круглом столе необходимо заполнить форму регистрации на сайте.