D. Zeilberger (Rutgers Univ.) — Summation vs Integration (12 мая), WZ Algorithmic Proof Theory (14 мая), Determinant Evaluations Via Integral Representations (15 мая).
Артемьев Алексей Сергеевич — Базис допустимых правил вывода временной логики.
Горбачева Светлана Викторовна — Латинские квадраты малых порядков.
Власенкова Екатерина Валерьевна — Алгебраические и компьютерные модели семейства правильногранных клиноторонд М_8, М_{20} и их содержащих условные ребра производных.
Золотухин Вячеслав Юрьевич — Анализ изменения энтропии текстов при шифровании.
Омельчук Татьяна Анатольевна — Выпуклые (1,2)-правильногранники, составленные из наклонной призмы Q_1 и трехскатного купола М_4.