Заседание №130 (22 мая 2025 г.)

Время: 
17:30
Место: 
пр. Свободный, 79, ауд. 34-11

Доклад:

    Смелых К.А. - Методы проверки моделей для модальных логик.

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Мукосий А.А.
Башмаков С. И.

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

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