JointRefal

Семинар МЕТА в рамках летней практики МГТУ им. Н.Э. Баумана (кафедра ИУ9) в ИПС им. А.К. Айламазяна РАН

Семинар состоится 1 июля, во вторник, в ИПС им. А.К. Айламазяна РАН, Переславль-Залесский. Тематика совещания включает (не исчерпывающе) следующие возможные темы докладов:

• суперкомпиляция и статический анализ: теоретические основы, применение, экспериментальные разработки (расширения)
• унификация и специализация
• особенности реализации компилятора Рефала, теоретические основы языка, экспериментальные применения
• комбинаторика слов, формальные языки, описывающие структуры Рефала или их расширения
• верифицируемые модели программ

Программа семинара

10-40 - 10-50 - Открытие

Секция 1.

Начало	Докладчик	Название доклада	Материалы
10-50	Черганов Тимофей, Astra Linux	Основы формальной верификации с помощью интерактивных доказателей теорем

11-50 - 13-20 - Перерыв

Секция 2.

Начало	Докладчик	Название доклада	Слайды
13-20	Непейвода Антонина, ИПС	Aбстрактная алгебра в проектировании распознавателей
14-00	Фокин Денис, LRI	Кунсткамера инструментов для анализа кода от vi до vibe программирования: cовременные проблемы разработчиков инструментов разработчика
15-00	Кудасов Николай, Иннополис	Рецепты с рапирой: работаем со связанными переменными без лишних порезов
16-00	Немытых Андрей, ИПС	Известное преимущество эффективности операционной семантики Рефала и её связь с распознаванием симметрии слов

16-40 - Закрытие

Место проведения и ссылка на трансляцию

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