ACM: две команды ВШЭ — в полуфинале
По результатам четвертьфинального этапа командного студенческого чемпионата мира по программированию (АСМ) в полуфинал вышли сразу две команды Высшей школы экономики.
Суббота, 13 сентября
Семинар «Математическая логика и теория категорий»: доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»
Воскресенье, 14 сентября
Фестиваль «Вышка школьникам»
По результатам четвертьфинального этапа командного студенческого чемпионата мира по программированию (АСМ) в полуфинал вышли сразу две команды Высшей школы экономики.
очно/онлайн