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

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

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

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

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

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

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

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

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

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

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

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

Ссылки

<references/>

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