Школа-конференция по математическим проблемам информатики:
вычислимость и доказуемость (19–27 сентября 2013 г., пр. Маркса 15/1, Омский научный центр, г. Омск)
Направления работы конференции:
Big Data
Сложность и оптимизация алгоритмов
Модальные логики и теория автоматических доказательств
Защита данных
Системы вычислений (в том числе облачные вычисления)
Организации