Теоретические проблемы программирования — различия между версиями
Материал из Кафедра математической кибернетики
| Строка 26: | Строка 26: | ||
| '''Computational privacy in public clouds. Beyond the impossibility results'''. | | '''Computational privacy in public clouds. Beyond the impossibility results'''. | ||
| align = "center"| Н.П. Варновский | | align = "center"| Н.П. Варновский | ||
| + | |- | ||
| + | | align = "center"| 10 октября | ||
| + | | '''Об одном методе построения полных систем эквивалентных преобразований схем программ'''. | ||
| + | | align = "center"| Р.И. Подловченко | ||
| + | |||
|} | |} | ||
Версия 15:29, 29 сентября 2014
Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 508.
Начало работы спецсеминара 3 октября 2014 г.
Тематика семинара
Математические модели программ и вычислений. Формальные методы анализа и верификации программ. Проблема эквивалентности и эквивалентных преобразований в моделях вычислений. Семинар проводится совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).
Руководители
Расписание докладов
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 03 октября | Computational privacy in public clouds. Beyond the impossibility results. | Н.П. Варновский |
| 10 октября | Об одном методе построения полных систем эквивалентных преобразований схем программ. | Р.И. Подловченко |
Ссылки
<references/>
