16 июня 2022 г. в МГТУ имени Н. Э. Баумана (Москва)
Пятое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
8 июня 2021 г. в МГТУ имени Н. Э. Баумана (Москва)
Четвёртое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
12 июня 2020 г. в МГТУ имени Н. Э. Баумана (Москва)
Третье совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
11 июня 2019 г. в МГТУ имени Н. Э. Баумана (Москва)
Второе совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
5 июня 2018 г. в МГТУ имени Н. Э. Баумана (Москва)
Совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
Антонина Н. Непейвода
(ИПС РАН)
Применение уравнений в словах при преобразовании программ над строковым типом.Доклад на семинаре Института системного программирования РАН «Технологии разработки и анализа программ»