Институт РЕФАЛА
 
 
«Не стоит прогибаться под изменчивый мир,
Пусть лучше он прогнется под нас ... »
                      Андрей Макаревич

 

5 июня 2018 г. в МГТУ имени Н. Э. Баумана (Москва)

Совместное рабочее совещание ИПС имени А.К. Айламазяна РАН и МГТУ имени Н.Э. Баумана по функциональному языку программирования Рефал

1 марта 2018 г. Антонина Н. Непейвода

Антонина Н. Непейвода

(ИПС РАН)

Применение уравнений в словах при преобразовании программ над строковым типом.

Доклад на семинаре Института системного программирования РАН «Технологии разработки и анализа программ»

 

Семинар
Лаборатории автоматизации программирования
Института программных систем РАН

(проходит (как правило) раз в две недели
по средам в 13.30 в комнате 321)

 
 

  1. 25 июня 2018 г. Сергей Д. Мешвелиани

    Сергей Д. Мешвелиани

    (ИПС РАН)

    Построение доказательных программ арифметики натуральных чисел в двоичном представлении.
  2. 29 ноября 2017 г. Антонина Н. Непейвода

    Антонина Н. Непейвода

    (ИПС РАН)

    Применение уравнений в словах при преобразовании программ над строковым типом.

  3. 9 сентября 2013 г. Андрей П. Немытых

    Андрей П. Немытых

    (ИПС РАН)

    Уравнения в свободном моноиде (Лекция №2).

  4. 12 и 19 августа 2013 г. Андрей П. Немытых

    Андрей П. Немытых

    (ИПС РАН)

    Уравнения в свободном моноиде и язык программирования Рефал (Лекция №1).

  5. 19 декабря 2012 г. Сергей Д. Мешвелиани

    Сергей Д. Мешвелиани

    (ИПС РАН)

    Доказуемое программирование математики на функциональном языке с зависимыми типами (часть I, введение).

  6. 3 октября 2012 г. Николай Н. Непейвода

    Николай Н. Непейвода

    (ИПС РАН)

    Алгебры программ: новый подход (часть II).

  7. 26 сентября 2012 г. Николай Н. Непейвода

    Николай Н. Непейвода

    (ИПС РАН)

    Алгебры программ: новый подход.

  8. 5 сентября 2012 г. Антонина Н. Непейвода

    Антонина Н. Непейвода

    (ИПС РАН)

    Об одном простом доказательстве теоремы Турчина о стековой грамматике.

    Семинар Лаборатории АП 1987-1988 гг.

 
Чайная