Conferences system

3–7 сентября 2012 года, Иркутск, Институт динамики систем и теории управления СО РАН.

Тематика школы-семинара:

• теоретические основы прикладной дискретной математики — алгебраические структуры, дискретные функции, комбинаторный анализ, теория чисел, математическая логика, теория информации, системы уравнений над конечными полями и кольцами;
• математические методы криптографии — синтез криптосистем, методы криптоанализа, генераторы псевдослучайных последовательностей, оценка стойкости криптосистем, криптографические протоколы, математические методы квантовой криптографии;
• математические методы стеганографии — синтез стеганосистем, методы стеганоанализа, оценка стойкости стеганосистем;
• математические основы компьютерной безопасности — математические модели безопасности компьютерных систем (КС), математические методы анализа безопасности КС, математические методы синтеза защищенных КС;
• математические основы надежности вычислительных и управляющих систем (ВиУС) — математические модели функциональной устойчивости ВиУС (к отказам, неисправностям, сбоям, состязаниям, исследованию), математические методы анализа функциональной устойчивости ВиУС, математические методы синтеза функционально устойчивых ВиУС, математические методы верификации логических схем и программ, математические методы синтеза самопроверяемых и контролепригодных схем;
• прикладная теория кодирования — коды для сжатия данных и защиты информации, коды для обнаружения и исправления ошибок, построение оптимальных кодов, анализ свойств кодов;
• прикладная теория автоматов — автоматные модели сетевых протоколов, криптосистем и управляющих систем, автоматы без потери информации, эксперименты с автоматами, декомпозиция автоматов, автоматные уравнения, клеточные автоматы;
• логическое проектирование дискретных автоматов — математические модели и методы анализа, синтеза, оптимизации и оценки сложности дискретных автоматов, аппаратная реализация криптоалгоритмов;
• математические основы информатики и программирования — формальные языки и грамматики, алгоритмические системы, языки программирования, структуры и алгоритмы обработки данных, теория вычислительной сложности;
• вычислительные методы в дискретной математике — теоретико-числовые методы в криптографии, вычислительные методы в теории чисел и общей алгебре, комбинаторные алгоритмы, параллельные вычисления, методы дискретной оптимизации, дискретно-событийное и клеточно-автоматное моделирование;
• математические основы интеллектуальных систем — базы данных, базы знаний, логический вывод, экспертные системы, математическая лингвистика;
• прикладная теория графов — графовые модели в информатике и программировании, в компьютерной безопасности, вычислительных и управляющих системах, в интеллектуальных системах;
• исторические очерки по дискретной математике и ее приложениям — в криптографии, компьютерной безопасности, кибернетике, информатике, программировании и теории надежности.

Рабочие языки: русский и английский.

Последний срок подачи заявки на доклад: 1 февраля 2012 г.
Последний срок представления тезисов докладов с аннотациями: 31 марта 2012 г.