Москва, Россия
27.06 - 29.06, 2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Организаторы

ИСП РАН

Высшая школа экономики

Институт систем информатики им. А.П. Ершова СО РАН

Новосибирский государственный университет

При поддержке

Российская академия наук

ФАНО

РФФИ


Контакты

E-mail: psiconf2017@gmail.com

Программа Международной Ершовской конференции по информатике PSI-2017

27-29 июня 2017 года

26 июня – день заезда

27 июня 2017 г.
Открытие конференции
Приглашенный доклад Майкл Джерард Хинчи (Lero, Ирландия). Построение отказоустойчивых космических систем
Перерыв
Секция 1 Разработка программного обеспечения
Обед
Секция 2 Алгоритмы и вычислимость
Перерыв
Секция 3 Большие данные и СУБД

28 июня 2017 г.
Приглашенный доклад Андрей Сабельфельд (Гётеборг, Швеция). Эффективный поиск уязвимостей без прямого отслеживания полученных извне данных
Перерыв
Секция 4 Статический анализ кода и поиск по шаблонам
Обед
Секция 5 Онтологии и анализ на основе правил
Перерыв
Секция 6 Дедуктивный анализ и логическое программирование

29 июня 2017 г.
Приглашенный доклад Шрирам Раджамэни (Microsoft Research, India). Trusted Cloud: как сделать облако более безопасным
Перерыв
Секция 7 Распределенные системы и их безопасность
Обед
Секция 8 Тестирование, мониторинг и верификация времени исполнения
Перерыв
Секция 9 Применения искусственного интеллекта и статистического анализа