Д. Соколов (АФТУ)
"Элементарная" конструкция экспандеров

Доклад по статье Noga Alon, Oded Schwartz, Asaf Shapira "An Elementary Construction of Constant-Degree Expanders". В докладе будет рассмотрена простейшая на сегодняшний день конструкция алгебраических экспандеров с константной степенью, которая включает в себя лишь два подстановочных произведения. Так же будет проведен анализ параметров полученного экспандера.

Реализация солвера для логики первого порядка

Средства логики первого порядка в "зоне Златовласки" (Goldilocks Zone)
логического вывода достаточно выразительны, чтобы легко задать даже
сложные свойства, но при этом они достаточно просты для автоматизации.

Г. Ярославцев (АФТУ)
Выполнимость в теориях (Satisfiability modulo theories)

И. Монахов (АФТУ)
О верификации и управлении систем реального времени

Моделирование сложных систем, таких как встроенные системы или коммуникационные протоколы, часто требует умения выражать количественные ограничения по времени между событиями

Г. Ярославцев (АФТУ)
Построение SAT-солверов и их использование

В последние годы технологии, построенные на решении задачи выполнимости булевых формул (SAT), набирают популярность. Программы для решения SAT (SAT-солверы) используются для решения комбинаторных задач, активно применяются в промышленных компаниях, занимающихся