(Перенаправляю письмо в рассылки)
From: Shilov Nikolay <shilov...@mail.ru> Sent: Thursday, July 8, 2021 5:11 AM To: n.shi...@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> 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> 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> https://forms.gle/earZy3hFJKmHQLoZ7.