Группа формальных методов

  • Подписчики: 94 подписчиков
  • ID: 215284934
Блокировка:
Нет ограничений
Верификация:
Сообщество не верифицировано администрацией ВКонтакте
Видимость
открытое
Популярность:
У сообщества нет огня Прометея
Домен:
formalmethods

Описание

Группа энтузиастов ФГНа ВШЭ, которая заинтересована в изучении и применении подходов из математики и компьютерных наук Семинары проводятся в корпусе на Старой Басманной, анонсы будут публиковаться отдельно Мы приветствуем всех, кто хочет присоединиться к проекту. Если вы хотите организовать собственный семинар, пишите организаторам группы