Новости
20 Сентября, 2023
Объявление о дополнительном приеме в аспирантуру ИСП РАН в 2023 году
08 Сентября, 2023
Напоминаем, что в Москве начались выборы Мэра
06 Сентября, 2023
Открытая конференция ИСП РАН состоится 4-5 декабря
Аспирантам
Расписание занятий
Расписание занятий аспирантов в ИСП РАН на 2011-2012 гг.
Расписание занятий аспирантов в ИСП РАН на 2012-2013 гг.
Расписание занятий аспирантов в ИСП РАН на 2013-2014 гг.
Учебные курсы
Математическая логика: аксиоматические теории и алгебраические системы.
Основы обработки текстовой информации.
Программная инженерия. Дополнительные главы.
Статический анализ программ и проблема обнаружения дефектов в ПО.
Экзамены
Вступительный экзамен в аспирантуру.
Список аспирантов
[1999-2000] [2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006]
[2006-2007] [2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013]