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