Совещание состоится 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 - Закрытие
- Место проведения - Институт Программных Систем им. А.К. Айламазяна РАН. 3 этаж, переговорный зал (сразу налево от лестницы, каб. 321).
- Всем слушателям, кто будет присутствовать очно, требуется прислать свои ФИО на почту a_nevod@mail.ru не позже, чем 27 июня, для оформления пропуска в институт.
- Ссылка для онлайн-трансляции появится здесь позже.