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