На факультете прошла конференция по теоретической информатике

С 6 по 8 апреля на факультете компьютерных наук прошла конференция по теоретической информатике. Конференция проводилась в рамках Дней Компьютерных Наук и празднования дня рождения факультета.

На конференции были представлены обзорные доклады по разным направлениям теоретической информатики, рассчитанные на широкую аудиторию. Выступили сотрудники всех трех департаментов факультета. С докладами также выступили известные зарубежные ученые. В частности, на конференции обсуждались вопросы теории кодирования, алгебраической сложности, сложности доказательств, колмогоровской сложности. Завершилась конференция выступлением лауреата премии Неванлинны Madhu Sudan (Harvard) с обзорным докладом о тестировании свойств. 

Программу мероприятия, фотографии и видео докладов можно найти на сайте конференции.