22-24 апреля 2014 г. в ИвГУ состоялся межвузовский фестиваль. В нем приняли участие студенты, аспиранты и молодые ученые ИвГУ (Иваново) и ЯрГУ (Ярославль).
Четверг, 24 апреля, 11:30–13:00, корп.1, ауд. 303.
Обзорная лекция
Построение и верификация программ логических контроллеров
– Кузьмин Егор Владимирович, д. ф.-м. н. (ЯрГУ)
Четверг, 24 апреля, 13:30–17:00, корп.1, ауд. 303.
Секционные доклады
1. Генерация ODQL-запросов для СУБД DIM
– Антонов Дмитрий Владимирович, ЯрГУ
2. Разработка алгоритма статического анализа безопасности программ на примере простого языка программирования
– Антошина Екатерина Юрьевна, ЯрГУ
3. Архитектура мультиклиентского кластера баз данных
– Бойцов Евгений Александрови., ЯрГУ
4. Экстраполяционные алгоритмы сжатия графики без потерь
– Ваганов Сергей Евгеньевич, ИвГУ
5. Разработка и программная реализация системы управления проектами в частном облаке
– Василиади Натела Гаспаровна, ЯрГУ
6. Разработка игр на движке Unity с использованием 2D Workflow
– Виноградов Александр Эдуардович, ЯрГУ
7. Моделирование дорожного движения средствами среды AnyLogic
– Власова Елена Юрьевна, ЯрГУ
8. Использование графических ускорителей для реализациии трехмерных фракталов
– Жаренов Алексей Валерьевич, ИвГУ
9. Разработка приложения для телефонов Nokia Asha «Math Trainer»
– Лагутина Ксения Владимировна, ЯрГУ
10. Сетевая архитектура нового образца. Технологии OpenFlow и SDN
– Мазилов Денис Викторович, ЯрГУ
11. Программирование логических контроллеров по LTL-спецификации
– Рябухин Дмитрий Александрович, ЯрГУ
12. Моделирование и анализ производительности транспортных протоколов в системе ns-3
– Тульсков Александр Николаевич, Рожков Василий Дмитриевич, ЯрГУ
13. Технология разработки модели корпоративной сети
– Шарашова Екатерина Алексеевна, ЯрГУ
Четверг, 24 апреля, 13:30–17:00, корп.1, ауд. 303.
Секционные доклады
1. Об аппроксимации групп корневыми классами
– Д.В.Гольцов, ИвГУ
2. Об одной теореме Шмелькина
– А.В.Розов, ИвГУ
3. О мощных группах
– А.О.Сабусова, М.Е.Жукова, ЯрГУ
4. О финитной отделимости групп.
– А.А.Ускова,
5. Простейшие свойсва eT-сводимости множеств и функций.
– Р.Р.Яруллин, ИвГУ.
Лучшими были признаны доклады А.В.Розова, О.А.Кузнецова, А.Э.Виноградова, А.В.Жаренова, В.А.Рожкова и Е.А.Антошиной.