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