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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Расписание докладов)
Строка 28: Строка 28:
 
| align = "center"| 03 октября
 
| align = "center"| 03 октября
 
| '''Computational privacy in public clouds. Beyond the impossibility results'''.
 
| '''Computational privacy in public clouds. Beyond the impossibility results'''.
 +
 +
It is widely believed
 
| align = "center"| Н.П. Варновский
 
| align = "center"| Н.П. Варновский
 
|-
 
|-
 
| align = "center"| 10 октября
 
| align = "center"| 10 октября
| '''Об одном методе построения полных систем эквивалентных преобразований схем программ'''.
+
| '''Конечные автоматы в теории алгебраических моделей программ (методологический обзор)'''.
 
| align = "center"| Р.И. Подловченко
 
| align = "center"| Р.И. Подловченко
  

Версия 13:04, 30 сентября 2014

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

Начало работы спецсеминара 3 октября 2014 г.

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

Математические модели программ и вычислений.

Формальные методы анализа и верификации программ.

Проблема эквивалентности и эквивалентных преобразований в моделях вычислений.

Семинар проводится совместно с научно-исследовательским семинаром Математическая криптография (рук. М.И. Анохин, Н.П. Варновский).

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



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

Дата Тема доклада Докладчик
03 октября Computational privacy in public clouds. Beyond the impossibility results.

It is widely believed

Н.П. Варновский
10 октября Конечные автоматы в теории алгебраических моделей программ (методологический обзор). Р.И. Подловченко

Ссылки

<references/>

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