Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары


« »
123
45678910
11121314151617
18192021222324
25262728293031

Календарь семинаров
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию, г. Новосибирск

8 марта 2024 г. (пт)
1. Automated Reasoning with Continuous Data
M. V. Korovina
8 марта 2024 г. 14:00, г. Новосибирск, Институт систем информатики им. А. П. Ершова
  
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024