• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
3
  • Сегодня
  • Завтра

Суббота, 13 сентября

17:00

Семинар «Математическая логика и теория категорий»: доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»

очно/онлайн 

Воскресенье, 14 сентября

10:00

Фестиваль «Вышка школьникам»

Стажировка в Эйндховене

Сотрудники Международной лаборатории процессно-ориентированных информационных систем НИУ ВШЭ Сергей Шершаков и Алексей Мицюк, вернувшиеся со стажировки в Техническом университете Эйндховена (Нидерланды), рассказали корреспонденту новостной службы портала о своих впечатлениях от поездки и планах.