Информационное письмо

Работа Школы будет проходить в Конференц-зале ИПМ (Главный корпус 3-й этаж)
Регистрация участников произвоится с 10 часов 19 мая в корпусе В комната 39 (Путь к корпусу В от м. Новослободская )

Поселение иногородних участников произвоится Управлением общежитиями МГУ (комната 5 в рабочее время, комната 1 с 17.00 до 9.00), находящимся на первом этаже в зоне Б Главного здания МГУ (Путь от м. Университет )

Образец оформления тезисов tex, pdf

Доклады

Вторник, 19 мая.

15:00 Алехина М.А., Спиридонов Н.С., Черепанова О.Ю.
Пензенский государственный университет
О числе функций f(x_1,x_2,x_3,x_4) специального вида

15:20 Чугунова Варвара Валерьевна.
Пензенский государственный университет
O надежности схем из функциональных элементов в базисах, содержащих функции специального вида

15:40 Васин Алексей Валерьевич
Пензенский государственный университет
О ненадежности схем в базисе {x & y,x V y, not(x) } при инверсных неисправностях на выходах элементов

16:00 Зиновьева Светлана Михайловна.
Пензенский государственный университет
Синтез надежных неветвящихся программ с условной остановкой

Перерыв - 20 минут

16:40 Дайняк Александр Борисович
ВМК МГУ имени М. В. Ломоносова
Асимптотика числа независимых множеств в полных q-арных деревьях

17:00 Павлов Андрей Владимирович, Коломеец Николай Александрович
Новосибирский государственный университет
О минимальном расстоянии в классе бент-функций

17:20 Малышев Дмитрий Сергеевич
Нижегородский университет им. Н.И. Лобачевского, ф-т ВМК
О минимальных сложных элементах в решетке наследственных классов графов

Среда, 20 мая.

15:00 Михайлец Екатерина Викторовна
ИПМ РАН имени М.В.Келдыша
О ранговой функции одного неявно полного класса в P_3.

15:20 Бородина Юлия Владиславовна
ИПМ им. М.В. Келдыша РАН
Синтез легкотестируемых схем для систем функций из некоторых классов

15:40 Епифанов Антон Сергеевич
Саратов Институт проблем точной механики и управления РАН
Классификация дискретных детерминированных автоматов по свойствам геометрических образов

16:00 Елисеев Кирилл Васильевич
Саратов Институт проблем точной механики и управления РАН
Метод технического диагностирования на основе анализа геометрических образов функционирования

Перерыв - 20 минут

16:40 Гуськов Георгий Константинович
Новосибирский государственный университет
О разбиениях n-куба на совершенные коды

17:00 Капитанов Дмитрий Валерьевич Нижегородский государственный университет им. Н.И. Лобачевского Системы разностных уравнений на стандартном симплексе

17:20 Гавриш Юрий Николаевич
РГТУ "МАТИ" имени К.Э. Циолковского,
О программе построения полиномов Жегалкина

17:40 Комарова Елена Юрьевна
РГТУ "МАТИ" им. К.Э.Циолковского
О программе построения дизъюнктивных нормальных форм

18:00 Бродский Алексей Германович
Ярославский государственный университет
О 2-смежностных многогранниках

Пятница, 22 мая.

15:00 Хелемендик Роман Викторович
ИПМ РАН имени М.В.Келдыша
О программе распознавания выполнимости формул логики высказываний с помощью метода семантических таблиц

15:20 Дагаев Дмитрий Александрович.
МГУ.

15:40 Трифонова Екатерина Евгеньевна
Институт Прикладной Математики имени М.В.Келдыша
Об использовании логических методов при устранении противоречий в базах данных

16:00 Сергеев Игорь Сергеевич
Регуляризация оценок сложности умножения многочленов

Перерыв - 20 минут

16:40 Хелемендик Роман Викторович
О синтезе игровых программ с помощью логики высказываний

17:00 Гавриш Юрий Николаевич
О реализуемости наборов целых неотрицательных чисел в 0-1-связные графы.

17:20 Ларионов Виталий Борисович
МГУ им. М.В. Ломоносова, факультет Вычислительной Математики и Кибернетики,
О монотонных замкнутых классах многозначной логики с бесконечной надструктурой

17:40 Михайлович Анна
МГУ им. М.В. Ломоносова
О классах функций k-значной логики, порожденных функциями со специальными свойствами

Лекции

19.05

11:00 - 13:00
Чашкин А.В.
Линейное хеширование

20.05

10:00 - 13:00
Колпаков Р.М. Кучеров Г. А.
Анализ и поиск регулярных структур в текстах

21.05

10:00 - 12:00
Жуков Д.А.
Асимптотически хорошие коды с линейной сложностью кодирования и декодирования

22.05

10:00 - 11:30
Кочергин В.В.
О сложности вентильных схем

11:40 - 13:10
Гашков С.Б., Сергеев И.С.
Алгоритмы быстрого преобразования Фурье