Цель школы-семинара: обсуждение фундаментальных математических проблем криптографии и защиты информации в компьютерных системах и сетях, обмен научными результатами по развитию теоретических основ и созданию программно-аппаратных средств  компьютерной безопасности.

Тематика школы-семинара имеет математическую направленность, и ее научную основу образует прикладная дискретная математика. В соответствии с этим проблематику исследований по тематике школы-семинара составляют проблемы дискретной математики, возникающие в компьютерной безопасности и криптографии. Они распределяются по следующим основным направлениям:
1) теоретические основы прикладной дискретной математики – алгебраические структуры, дискретные функции, комбинаторный анализ, теория чисел, математическая логика, теория информации, системы уравнений над конечными полями и кольцами;
2) математические методы криптографии – синтез криптосистем, методы криптоанализа, генераторы псевдослучайных последовательностей, оценка стойкости криптосистем, криптографические протоколы, математические методы квантовой криптографии;
3) математические методы стеганографии – синтез стеганосистем, методы стеганоанализа, оценка стойкости стеганосистем;
4) математические основы компьютерной безопасности – математические модели безопасности компьютерных систем (КС), математические методы анализа безопасности КС, математические методы синтеза защищенных КС;
5) математические основы надежности вычислительных и управляющих систем (ВиУС) – математические модели функциональной устойчивости ВиУС (к отказам, неисправностям, сбоям, состязаниям, исследованию), математические методы анализа функциональной устойчивости ВиУС, математические методы синтеза функционально устойчивых ВиУС, математические методы верификации логических схем и программ, математические методы синтеза самопроверяемых и контролепригодных схем;
6) прикладная теория кодирования – коды для сжатия данных и защиты информации, коды для обнаружения и исправления ошибок, построение оптимальных кодов, анализ свойств кодов;
7) прикладная теория автоматов – автоматные модели сетевых протоколов, криптосистем и управляющих систем, автоматы без потери информации, эксперименты с автоматами, декомпозиция автоматов, автоматные уравнения, клеточные автоматы;
8) логическое проектирование дискретных автоматов – математические модели и методы анализа, синтеза, оптимизации и оценки сложности дискретных автоматов, аппаратная реализация криптоалгоритмов;
9) математические основы информатики и программирования – формальные языки и грамматики, алгоритмические системы, языки программирования, структуры и алгоритмы обработки данных, теория вычислительной сложности;
10) вычислительные методы в дискретной математике – теоретико-числовые методы в криптографии, вычислительные методы в теории чисел и общей алгебре, комбинаторные алгоритмы, параллельные вычисления, методы дискретной оптимизации, дискретно-событийное и клеточно-автоматное моделирование;
11) математические основы интеллектуальных систем – базы данных, базы знаний, логический вывод, экспертные системы, математическая лингвистика;
12) прикладная теория графов – графовые модели в информатике и программировании, в компьютерной безопасности, вычислительных и управляющих системах, в интеллектуальных системах;
13) исторические очерки по дискретной математике и ее приложениям – в криптографии, компьютерной безопасности, кибернетике, информатике, программировании и теории надежности.

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

Представление докладов. К представлению и публикации в материалах школы-семинара принимаются тезисы докладов на русском или английском языках объемом до 2 страниц, включая рисунки (не цветные) и список литературы, а также аннотации объемом до 100 слов на английском языке (если тезисы на русском) или на русском языке (если тезисы на английском), подготовленные в формате LaTeX с использованием стилевого файла sibecrypt.sty. Правила подготовки тезисов совпадают с правилами подготовки статей в журнал «Прикладная дискретная математика», выставленными на сайте http://vestnik.tsu.ru/pdm/. Стилевой файл sibecrypt.sty рассылается вместе с этим сообщением.

Требования к содержанию тезисов. Тезисы должны обязательно содержать конкретный новый результат по тематике школы-семинара. Это может быть модель, метод, алгоритм, теорема, доказательство, оценки (теоретические или экспериментальные) и т.п. Допускаются также тезисы обзорного доклада как заявка на лекцию для участников школы-семинара и студентов принимающего ВУЗа.

Издание трудов школы-семинара. Тезисы докладов и аннотации к ним, удовлетворяющие требованиям к содержанию и оформлению, будут изданы в трудах школы-семинара к ее открытию, а полнотекстовые доклады и лекции, подготовленные как статьи в журнал «Прикладная дискретная математика», будут опубликованы (по мере их готовности, в том числе и до школы-семинара) в очередных номерах журнала по рекомендации оргкомитета и после надлежащего рецензирования. Для ускорения и повышения качества рецензирования статей и тезисов приветствуется их одновременная присылка в оргкомитет.

Сроки
– Заявка на доклад или лекцию (ФИО, место работы, должность; название доклада или лекции; направление, к которому относится доклад) принимается до 1 февраля 2010 г.
– Тезисы докладов с аннотациями принимаются до 31 марта 2010 г.
– Извещение о принятии доклада будет отправлено 30 апреля 2010 г.
– Правки тезисов докладов и тезисы лекций принимаются до 30 мая 2010 г.

Тезисы доклада с аннотацией следует посылать по электронной почте в tex-файле и в pdf-файле. Каждый файл именовать фамилией первого автора (образец: Ivanov.tex, Ivanov.pdf). К TeX’овскому исходнику не забудьте приложить и графические файлы, если они есть! Графики, диаграммы и т.п. рисунки должны быть созданы и присланы в векторном формате (.eps, .svg, .pdf и т.п.) без использования растровых вставок, в оттенках серого цвета. Имена графических файлов рекомендуется начинать с фамилии первого автора, так же, как и имя основного файла.

Расписание работы школы-семинара:
6 сентября (понедельник) – заезд и регистрация участников.
7 сентября (вторник), 8.45 – 14.00 – лекции ведущих специалистов – участников школы-семинара.
7 сентября с 15.00, 8, 10 сентября – работа по научной программе.
9 сентября (четверг) – экскурсионный день.
11 сентября (суббота) – день отъезда.

Экскурсионная программа школы-семинара предусматривает 1-дневную экскурсию в Тобольск — первую столицу Сибири. Расстояние до Тобольска — 250 км, по пути находятся село Покровское, где жил Григорий Распутин, и мужской Абалакский монастырь, которые предполагается включить в программу экскурсии. Объектами обзора в Тобольске являются кремль, семинария, косторезная мастерская, тюремный замок, музей истории Тобольска, дом Николая II, некрополь, Ершовский парк и др.

Электронный адрес для представления тезисов и аннотаций:
[email protected]