Теоретические проблемы программирования
Материал из Кафедра математической кибернетики
Версия от 19:06, 31 октября 2013; Root (обсуждение | вклад)
Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 615 (ауд. указана не точно).
Тематика семинара
Математические модели программ и вычислений, формальные методы анализа и верификации программ, эквивалентные преобразования программ. Семинар совмещается с семинаром "Теоретические проблемы криптографии".
Руководители
Расписание докладов
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 18 октября | Доказуемо стойкая обфускация схем | Захаров В.А. |
| 25 октября | Доказуемо стойкая обфускация схем | Захаров В.А. |
| 01 ноября | Доказуемо стойкая обфускация схем | Захаров В.А. |
| 08 ноября | Минимизация конечных детерминированных transducer'ов | |
| 15 ноября | ||
| 22 ноября | Программы и NLOG | |
| 29 ноября | Эквивалентность в схемах с коммутативностью и операторами сброса | Подымов В.В. |
| 06 декабря | Диссертация о практическом применении обфускации программ | Гульгайта, Екатерина |
| 13 декабря | Диссертация о практическом применении обфускации программ | Гульгайта, Екатерина |
| 20 декабря | Эквивалентные преобразования в перегородчатых моделях программ | Молчанов А.Э. |
Ссылки
<references/>
