Теоретические проблемы программирования

Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 508.

Начало работы спецсеминара 3 октября 2014 г.

Тематика семинара

Математические модели программ и вычислений. Формальные методы анализа и верификации программ. Проблема эквивалентности и эквивалентных преобразований в моделях вычислений. Семинар проводится совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).

Руководители

• Подловченко Римма Ивановна
• Захаров Владимир Анатольевич

Расписание докладов

Дата	Тема доклада	Докладчик
03 октября	Computational privacy in public clouds. Beyond the impossibility results.	Н.П. Варновский

Ссылки

<references/>

Архив расписания