Новости

Методологический семинар ИСИ СО РАН

Институт систем информатики им. А.П. Ершова СО РАН

30 января в 11:00 в каб. 239 состоится восьмой методологический семинар ИСИ СО РАН.
Докладчик: д.ф.-м.н. Сергей Павлович Одинцов, Институт математики им. С.Л. Соболева СО РАН
Тема доклада: Верификация, фальсификация, сильное отрицание, FDE.

Ссылка на дистанционное подключение
meet.google.com/gan-cyca-myh