JointRefal

Совместное Совещание по языку Рефал МГТУ им. Н.Э. Баумана (кафедра ИУ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ю (южное крыло). Поднимаемся на третий этаж и проходим через “циркуль” (вправо, если смотреть от центральной лестницы).
Трансляция проводилась через бауманский импортозамещающий сервис вебинаров. Запись трансляции можно посмотреть здесь