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

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

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

Математические модели программ и вычислений, формальные методы анализа и верификации программ, эквивалентные преобразования программ. Семинар совмещается с семинаром "Теоретические проблемы криптографии".

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

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

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

Дата	Тема доклада	Докладчик
18 октября	Доказуемо стойкая обфускация схем	Захаров В.А.
25 октября	Доказуемо стойкая обфускация схем	Захаров В.А.
01 ноября	Доказуемо стойкая обфускация схем	Захаров В.А.
08 ноября	Минимизация конечных детерминированных transducer'ов
15 ноября
22 ноября	Программы и NLOG
29 ноября	Эквивалентность в схемах с коммутативностью и операторами сброса	Подымов В.В.
06 декабря	Диссертация о практическом применении обфускации программ	Гульгайта, Екатерина
13 декабря	Диссертация о практическом применении обфускации программ	Гульгайта, Екатерина
20 декабря	Эквивалентные преобразования в перегородчатых моделях программ	Молчанов А.Э.

Ссылки

<references/>

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