Теоретические проблемы программирования — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Новая страница: «Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 615 (ауд. указана не точно). == Тематика се…»)
 
Строка 1: Строка 1:
Спецсеминар проходит по пятницам с 16:20 до 17:55, ауд. 615 (ауд. указана не точно).
+
Спецсеминар проходит по пятницам с 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/>

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