Совещание состоится 1 июля, в понедельни, в ИПС им. А.К. Айламазяна РАН, Переславль-Залесский. Тематика совещания включает (не исчерпывающе) следующие возможные темы докладов:
Совещание является дружественным семинаром к семинару STEP 2024.
9-30 - 9-35 - Открытие
Секция 1. Теория алгоритмов
| Начало | Докладчик | Название доклада | Материалы |
|---|---|---|---|
| 9-35 | Николай Вячеславович Шилов | “Теория всего”: унификация паттернов дизайна алгоритмов | слайды |
| 10-55 | Андрей Петрович Немытых | Известная проблема эффективности операционной семантики Рефала, и её связь со скоростью передачи информации | слайды |
11-50 - 13-15 - Перерыв
Секция 2. Формальные языки
| Начало | Докладчик | Название доклада | Слайды |
|---|---|---|---|
| 13-15 | Антонина Николаевна Непейвода | Теорема Турчина как инструмент изучения формальных языков | слайды |
| 14-05 | Александр Дмитриевич Дельман | Об анализе расширенных регулярных языков с памятью | слайды |
14-45 - 15-00 - Перерыв
Секция 3. Преобразование программ и логическое программирование
| Начало | Докладчик | Название доклада | Слайды |
|---|---|---|---|
| 15-00 | Никита Олегович Горбатов | Суперкомпилятор простого функционального языка, анализирующий выходные форматы конфигураций | слайды |
| 15-30 | Артём Игоревич Стариков | typedKanren: типизированное реляционное программирование в Haskell | слайды |
Секция 4. Реализации языка Рефал
| Начало | Докладчик | Название доклада | Слайды |
|---|---|---|---|
| 16-00 | Аскар Диникеев (online) | Реализация интерпретатора Рефала на Haskell | |
| 16-30 | Андрей Петрович Немытых | Рефал-5-PZ: Релиз 2023 |
16-45 - Закрытие