| 10:30 |
Разработка системы Пост Мониторинга данных АЭС
Дагаев Дмитрий Викторович, ООО СКАДИ, Директор, Москва
|
11:00 |
20 лет OberonCore
Рюмшин Борис Валерьевич, координатор проекта OberonCore, Орёл
|
| 11:30 |
Блэкбокс 2.0 и автоматизированное хранилище компонентов
Денисов Иван Андреевич, ООО «Цифровые сенсорные технологии», программист, Красноярск
|
| 12:00 |
Направления развития формальных методов в Европе
Сабирзянов Рифат Ринатович, ООО «ДжиДиСи Сервисез», ведущий инженер-программист, Казань
|
|
КП/BlackBox для создания технологического ПО (управление, визуализация, моделирование). Фреймворк ЭРСИ КОНТРОЛ и нижележащие библиотеки.
Ермаков Илья Евгеньевич, МОО Метадисциплинарный институт «РОМЕИ», Орёл
|
|
Перерыв. |
|
Проект STAP: унифицированный синтаксис STAP(US) и путь к языковой гиперсистеме
Ермаков Илья Евгеньевич, МОО Метадисциплинарный институт «РОМЕИ», Орёл
|
|
Диалектика сложных систем в работе архитектора
Шипков Валерий Игоревич, RedLab, главный архитектор, Москва
|
|
Ментальное программирование. Жизнь после ИИ
Богатырев Руслан Петрович, Европейский центр программирования им. Леонарда Эйлера, директор, Москва
|