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

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

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

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

Математические модели программ и вычислений.

Формальные методы анализа и верификации программ.

Проблема эквивалентности и эквивалентных преобразований в моделях вычислений.

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

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

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

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

Дата	Тема доклада	Докладчик
03 октября	Computational privacy in public clouds. Beyond the impossibility results.	Н.П. Варновский
10 октября	Об одном методе построения полных систем эквивалентных преобразований схем программ.	Р.И. Подловченко

Ссылки

<references/>

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