MMOnline – Информационный портал о мехмате МГУ

Механико-математического факультета МГУ им. М. В. Ломоносова при поддержке Microsoft Research (Cambridge) 13–15 сентября 2004 года проводит выездную школу «Математика и программирование: от теории к практике» для студентов и аспирантов математических факультетов университетов.

В рамках школы пройдут доклады по темам «Машины абстрактных состояний: от теории к практике», «Типы и доказательства в логике и программировании», «Компьютерная алгебра» и «Семантическое программирование». Лекторы: С.Н.Артемов (МГУ, CUNY), С.C.Гончаров (НГУ), Ю.Ш.Гуревич (MSR, Redmond), Е.В.Панкратьев (МГУ). Руководитель школы – А.В.Михалев, рабочий язык – русский.

Школа проводится на базе Учебно-методического центра «Голицыно», расположенным в ближнем Подмосковье. Подробности и расписание школы можно узнать на сайте школы.

Портал мехмата МГУ