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

Материал из Кафедра математической кибернетики
Версия от 19:06, 31 октября 2013; Root (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 615 (ауд. указана не точно).

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

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


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



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

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

Ссылки

<references/>

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