Совместное Совещание по языку Рефал МГТУ им. Н.Э. Баумана (кафедра ИУ9) и ИПС им. А.К. Айламазяна РАН
Совещание состоялось 17 июня, в субботу, в МГТУ им. Н.Э. Баумана. Тематика совещания включает (не исчерпывающе) следующие возможные темы докладов:
- суперкомпиляция: теоретические основы, применение, экспериментальные разработки (расширения)
- особенности реализации компилятора Рефала
- расширения языка
- теоретические основы Рефала
- экспериментальное применение языка Рефал, в частности в задачах верификации или преобразования программ
- практический опыт использования Рефала
Совещание является дружественным семинаром к семинару STEP 2023.
9-50 - 10-00 - Открытие
Секция 1. Суперкомпиляция
Начало | Докладчик | Название доклада | Материалы |
---|---|---|---|
10-00 | Николай Вячеславович Шилов | Хорошо структурированные системы помеченных переходов, их отношение к моделям интуиционистких модальных логик и к суперкомпиляции | слайды |
11-00 | Андрей Петрович Немытых | О специализации математических формул и утверждений | слайды |
11-55 - 12-30 - Перерыв
Секция 2. Формальные языки и образцы
Начало | Докладчик | Название доклада | Слайды |
---|---|---|---|
12-30 | Антонина Николаевна Непейвода | Анализ моделей в теории строк для преобразования и ускорения Рефал-программ | слайды |
13-20 | Дарья Исмагилова | Регулярные выражения с повторными переменными: обзор формализмов и алгоритмы сопоставления | слайды |
13-50 | Юлия Беликова | О структуре неоднозначностей в формальных языках | слайды |
14-20 - 14-30 - Перерыв
Секция 3. Практика Рефала
Начало | Докладчик | Название доклада | Слайды |
---|---|---|---|
14-30 | Александр Владимирович Коновалов | Опыт использования Рефала в учебном процессе | слайды НУИЯП |
15-30 | Камиль Яушев | Распознавание группового экранирования образцов в Рефале-5λ | слайды |
16-00 - Закрытие
- Место проведения - Главное здание МГТУ им. Н.Э. Баумана, аудитория 330aю (южное крыло). Поднимаемся на третий этаж и проходим через "циркуль" (вправо, если смотреть от центральной лестницы).
- Трансляция проводилась через бауманский импортозамещающий сервис вебинаров. Запись трансляции можно посмотреть здесь