Заседание №149 (29 января 2026 г.)

Время:

15:30

Место:

пр. Свободный, 79, ауд. 34-17

Доклад:

Башмаков С.И. - "Перспективные задачи теории унификации и временных логик"

Участники семинара:

Брылякова Е.В.
Поляков А.А.
Башмаков С.И.
Смелых К.А.
Зверева Т.Ю.
Бушакова Ю.А.

Башмаков С. И.

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

+7 (391) 206-21-48 math@sfu-kras.ru