Наука

Гийем Гамар, научный сотрудник  международной лаборатории теоретической информатики, принял участие в научной конференции в г. Лион, Франция.

14 июня лаборатория провела очередную конференцию по теоретической информатике «Complexity of Computation, Communication, Descriptions and Proofs». 

10 и 11 декабря на факультете прошла конференция "Problems in Theoretical Computer Science 2016", организованная Международной лабораторией теоретической информатики.

С 18 по 19 июля в Москве прошла конференция “Математическая логика, алгебра и вычислимость", организованная Математическим институтом им. В.А. Стеклова. Конференция была посвящена 85-летию академика РАН С.И. Адяна.

13 июня завершилась международная конференция Computer Science Symposium in Russia 2016, которая проходила 9-13 июня в Санкт-Петербурге во время “Специального семестра по теории сложности”. Семестр начался в апреле и продлится до конца июня. Помимо CSR-2016, в рамках Семестра прошли Symposium on Experimental Algorithms 2016, несколько семинаров, тьюториалов и три воркшопа. Семестр организован сотрудниками Исследовательской лаборатории им. П.Л. Чебышева, также в числе организаторов и участников – такие известные специалисты по Computer Science как Johan Håstad, Jan Krajíček, Pavel Pudlák, Madhu Sudan, Ryan Williams и другие. Сотрудники Международной лаборатории теоретической информатики факультета компьютерных наук принимают активное участие в работе Семестра.

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