FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).
Александр Коновалов a.v.konovalov87_AT_mail.ru
(Перенаправляю письмо в рассылки)
From: Shilov Nikolay <shil...@mail.ru>
Sent: Thursday, July 8, 2021 5:11 AM
To: n.sh...@innopolis.ru
Subject: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).
Уважаемые подписчики новостей о предстоящих заседаниях ru-STEP!
(ruSTEP=russian seminar on Software Engineering, Theory and Experimental Programming, https://persons.iis.nsk.su/ru/ruSTEP)
Во-первых, извините за задержку с объявлением программы семинара на июль 2021 г. — как и в июне, возникла некоторая неопределенность с доступностью докладчиков в летнее время.
Во-вторых, очередное заседание состоится в пятницу 9 июля 2021 г. (с 12:00 до 13:40 московского времени, 16:00-17:40 в Новосибирске).
Семинар пройдет в Zoom (https://us02web.zoom.us/j/83462558349?pwd=azR1cWwrdWlZbXo2dm0rdzVtdFVmQT09, идентификатор 834 6255 8349, пароль 633666). — Уважаемые участники из Университета Иннополис! Обратите внимание, что в этот раз очного семинара не будет.
Выступает Антонина Николаевна Непейвода (Институт программных систем им. А.К. Айламазяна РАН, г. Переславль-Залеский, http://www.psi-ras.ru/)
Тема: Опыты по суперкомпиляции языка Рефал
Аннотация: Это выступление продолжает доклад Александра Владимировича Коновалова по языку Рефал на семинаре ruSTEP 11 июня 2021 г. Будет кратко рассмотрен метод суперкомпиляции в применении к этому языку, и некоторые его приложения. С одной стороны, ассоциативность встроенных данных Рефала усложняет разработку алгоритмов анализа его программ, с другой - даёт возможность доказывать свойства, естественно извлекаемые из программ, записанных на Рефале, и гибко описывать модели структур, обладающих ассоциативностью. В частности, мы покажем, как методами суперкомпиляции моделируются некоторые алгоритмы решения уравнений в словах.
Регламент семинара:
- 12:00-12:05 — открытие заседания семинара
- 12:05-12:55 — основная часть доклада
- 12:55-13:00 — перерыв
- 13:05-13:35 — продолжение (с вопросами и обсуждением)
- 13:35-13:40 — закрытие заседания семинара
Ведет заседание Николай В. Шилов (Университет Иннополис)
==================================================
P.S. Пожалуйста, распространяйте информацию о нашем семинаре среди ваших коллег, приглашайте их регистрироваться в https://forms.gle/earZy3hFJKmHQLoZ7.