ИСТИНА

• Члены программного комитета: Кудрявцев В.Б., Кочергин В.В., Ложкин С.А.
• Охват: Международная
• Даты проведения: 16-21 июня 2014
• Место проведения: Казань, Russia
• Организаторы:
  МГУ имени М.В. Ломоносова, Механико-математический факультет
  МГУ имени М.В. Ломоносова, Механико-математический факультет
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  Казанский федеральный университет
  Вычислительный центр РАН имени А.А.Дородницына
  Институт прикладной математики имени М.В.Келдыша РАН
  МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  Казанский федеральный университет
  Вычислительный центр РАН имени А.А.Дородницына
  Институт прикладной математики имени М.В.Келдыша РАН
• Число участников: 200
• Число докладчиков: 190
• Все конференции этой группы
• Добавил в систему: Романов Дмитрий Сергеевич

Доклады:

• 2014 Автоматная сложность булевых функций (Устный)
• Авторы: Кибкало М.А., Бабин Д.Н.

• 2014 Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами (Устный)
• Автор: Подымов В.В.

• 2014 Некоторые особенности задачи синтеза булевых формул в полных базисах с прямыми и итеративными переменными
• Автор: Коноводов В.А.

• 2014 О билинейной сложности умножения матриц размеров 5х2 и 2х2 (Устный)
• Автор: Алексеев В.Б.

• 2014 О вычислении регулярных фрагментов символьных последовательностей (Пленарный)
• Автор: Колпаков Р.М.

• 2014 О динамической активности схем из функциональных элементов и построении асимптотически оптимальных по сложности схем с оптимальной по порядку динамической активностью (Устный)
• Авторы: Ложкин С.А., Шуплецов М.С.

• 2014 О мультипликативной сложности некоторых булевых функций (Устный)
• Автор: Селезнева С.Н.

• 2014 О некоторых результатах в алгебраической теории сложности (Пленарный)
• Автор: Алексеев В.Б.

• 2014 О порождающих системах в классах монотонных функций многозначной логики
• Автор: Дудакова Ольга Сергеевна

• 2014 О проблеме эквивалентности и проблеме эквивалентных преобразований в двухпараметрических алгебраических моделях программ
• Автор: Подловченко Р.И.

• 2014 О синтезе контактных схем, допускающих проверяющие тесты линейной длины (Устный)
• Автор: Романов Д.С.

• 2014 О сложности реализации мультиплексорных и квазимультиплексорных функций в некоторых классах схем
• Авторы: Власов Н.В., Ложкин С.А.

• 2014 О тестах для булевых функций относительно монотонных симметрических слипаний переменных
• Автор: Морозов Е.В.

• 2014 О числе максимальных повторов и субпериодичностей в формальных словах (Устный)
• Автор: Колпаков Р.М.

• 2014 Обучение линейной комбинации метрик на конечной выборке (Устный)
• Авторы: Суворов М.А., Майсурадзе А.И.

• 2014 Порядок функции Шеннона длины функций k-значной логики в классе полиномиальных нормальных форм по модулю k (Устный)
• Авторы: Башов М.А., Селезнева С.Н.

• 2014 Статистики спусков и средних на множествах слов (Устный)
• Авторы: Бондаренко Л.Н., Шарапова М.Л.

• 2014 Физический эксперимент по магнетизму в общем физическом практикуме. (Стендовый)
• Автор: Козлов ВИ