12 марта 2024 г.
Онлайн-встреча – обсуждение технологий анализа и верификации программных моделей вычислительных систем с экспертами Санкт-Петербургского Филиала Российского Исследовательского Института (Russian Research Institute - RRI)
22 января 2024 г.
Онлайн-встреча – обсуждение технологий анализа и верификации программных моделей вычислительных систем с экспертами Санкт-Петербургского Филиала Российского Исследовательского Института (Russian Research Institute - RRI)
29 сентября 2023 г.
Андрей П. Немытых
(ИПС РАН)
О новой версии функционального языка программирования Рефал-5: Refal-5, version ПѮ.Доклад «XIX-ой конференции разработчиков свободных программ» (XIX-OSSDEVCONF 2023), 29 сентября по 1 октября 2023 г., Переславль-Залесский.
17 июня 2023 г. в МГТУ имени Н. Э. Баумана (Москва)
Шестое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
16 июня 2022 г. в МГТУ имени Н. Э. Баумана (Москва)
Пятое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
8 июня 2021 г. в МГТУ имени Н. Э. Баумана (Москва)
Четвёртое совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
12 июня 2020 г. в МГТУ имени Н. Э. Баумана (Москва)
Третье совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
11 июня 2019 г. в МГТУ имени Н. Э. Баумана (Москва)
Второе совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
5 июня 2018 г. в МГТУ имени Н. Э. Баумана (Москва)
Совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал
Антонина Н. Непейвода
(ИПС РАН)
Применение уравнений в словах при преобразовании программ над строковым типом.Доклад на семинаре Института системного программирования РАН «Технологии разработки и анализа программ»