Институт математики
и фундаментальной информатики СФУ

В четверг, 12 марта 2020 г. в 10:15 в ауд. 34-10 состоится встреча студентов ИМиФИ с представителями МУ МВД России "Красноярское". На встрече до студентов будет доведена информация о возможности трудоустройства выпускников института на службу в подразделения МУ МВД России "Красноярское".
Явка для выпускников 2020 года (4 курс и 2 курс магистратуры) обязательна. Студенты младших курсов приглашаются по желанию.

5-9 октября 2020 года в Узбекистане состоится 2-е Научное Паломничество Аль-Хорезми:

• 5-6 октября: Симпозиум и летняя школа «От Аль-Хорезми к машинному обучению», г. Хива и Ургенч;
• 7-9 октября: 14-я IEEE Международная конференция по использованию информационно-коммуникационных технологий (AICT2020), г. Ташкент.

В этом году конференция AICT2020 посвящена научному наследию Аль-Хорезми, которому человечество обязано появлением таких слов, как «Алгоритм» и «Алгебра». Аль-Хорезми родился в 780 году на территории современного г. Хива, Хорезмской области Узбекистана. Мероприятия фактически повторят Научное Паломничество, состоявшееся 40 лет назад, в место, где родился Аль-Хорезми. В 1979 г. его организаторами являлись Андрей Петрович Ершов и Дональд Кнут (http://www.aict.info/index.php?csc=2020&mod=scientific-pilgrimage).

Студенты и аспиранты приглашаются к участию в Молодежной научной студенческой конференции МНСК-2020, которая пройдет 10-13 апреля 2020 г. в новосибирском Академгородке.

Заявки на участие подаются в формате тезисов через Систему подачи заявок на сайте конференции до 25 февраля включительно.
Внимание: Заявки по секции математики принимаются только в формате TeX!
Подробности в группе ВК: https://vk.com/issc_info

In 2019, supporting the proposal of Jean-Yves Béziau, our logical team organized the 1st Krasnoyarsk Logical Workshop dedicated to the celebration of the 1st World Logic Day (a lot of useful information about the worldwide celebration of Logic Day in 2019 is available in the article by Jean-Yves). Later that year, 14 January 14th was proclaimed by UNESCO (including thanks to our support) as a official World Logic Day (here see proclamation).

Therefore, in the name of creating a new good tradition and with the auspices of UNESCO, we organize the 2nd Krasnoyarsk Logical Workshop, which also was held on January 14, 2020 within the walls of our University.

As earlier, the event is supported by Department of Algebra and Mathematical Logic (represented by Stepan I. Bashmakov), as well as IM&CS Youth Center (represented by its leader Tatyana Zvereva).