14.10.2005 |
Доклад канд. физ.-мат. наук Кулямина В. В. и докт. физ.-мат. наук Петренко А. К. на тему «Программирование без ошибок: теория и практика».
|
30.9.2005 |
Доклад канд. физ.-мат. наук Малышко В. В. на тему «Ассоциативные и дедуктивные методы в планировании решений сложных задач».
|
25.4.2005 |
Доклад проф., доктора физ.-мат. наук Крюкова В. А. на тему «DVM-подход к разработке параллельных программ».
|
1.4.2005 |
Доклад проф., доктора техн. наук Кузнецова С. Д. на тему «Крупные проблемы и текущие задачи исследований в области баз данных».
|
18.3.2005 |
Доклад проф., доктора физ.-мат. наук Петренко А. К. на тему «Пределы автоматизации разработки ПО в аспекте анализа правильности программ».
|
4.3.2005 |
Доклад проф. Серебрякова В. А. на тему «Архитектура современных распределенных систем».
|
18.2.2005 |
Доклад заведующего кафедрой чл.-кор. РАН, проф. Иванникова В. П. на тему «Маскирование программ и аппаратуры».
|