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