This page is written in Russian.

Расписание занятий летней студенческой научной школы

"Принципы и технологии высокопроизводительных вычислений"

Переславль-Залесский, 23 июня - 5 июля 2008 г.
 

Спонсор летней студенческой  научной школы - компания Microsoft

23 июня

Выездной семинар компании Microsoft для студентов, аспирантов и молодых ученых - участников школы.

• 11:00-11:30   A. Moskovskiy - opening
• 11:30-12:15   K. Faenov (Microsoft)
• 12:30-13:00   M. Zhizhin (IKI)

24 июня

• 15.00-16.30   А.М. Миронов Теория процессов (лекция)

• 16.45-17.15   А.М. Миронов Теория процессов (семинар)

25 июня

• 10.00-11.30   А.П. Немытых Построение адекватных моделей вычислительных систем средствами суперкомпиляции (лекция)
• 11.45-13.15   А.М. Миронов Обзор современных задач теоретической информатики (лекция)
• 15.00-16.30   А.М. Миронов Обзор современных задач теоретической информатики (семинар)

26 июня

• 10.00-11.30   Ю.А. Климов, А.Ю. Орлов, XSG: язык со встроенными инверсными вычислениями. Его применение для создания исполняемых спецификаций (лекция)
• 11.45-13.15   Ю.Л. Сачков, Высокопроизводительные вычисления в прикладных задачах
• 15.00-16.30   А.Ю. Орлов, XSG: язык со встроенными инверсными вычислениями. Его применение для создания исполняемых спецификаций (семинар)

27 июня

• 10.00-11.30   А.П. Немытых, РЕФАЛ как язык спецификаций вычислительных систем. Применение суперкомпиляции для верификации свойств надежности (safety properties) протоколов кэш когерентности специфицированных на РЕФАЛ-е. (лекция)

• 11.45-13.15   Ю.А. Климов, А.Ю. Орлов, Практические средства разработки спецификаций на языке Рефал Плюс с целью разработки технологии верификации программ

• 15.00-16.30   А.Ю. Орлов, Практические средства разработки спецификаций на языке Рефал Плюс с целью разработки технологии верификации программ (семинар)

30 июня

• 10.00-11.30   Robert Glück (University of Copenhagen), World's First Commercial Single Chip Microprocessor: Intel 4004 (лекция)

• 11.45-13.15   Анд.В. Климов, Применение суперкомпиляции для доказательства теорем на примере коммутативности сложения с единицей: x+1=1+x. (лекция)

• 15.00-16.30   А.Ю. Орлов, Практические средства разработки спецификаций на языке Рефал Плюс с целью разработки технологии верификации программ (семинар)

1 июля

• 10.00 - Зачет по Рефалу  (А.Ю. Орлов)