Семинар «Аппликативный язык задания редукционных стратегий» состоялся 19 января (18.00) 2023 г. 19.01.2023
Семинар «Типовые расширения семантики языка графовых запросов» состоялся 12 января (18.00) 2023 г. 12.01.2023
Семинар «JSON Web Token. Определение и использование в web-разработке.» состоялся 08 декабря (18.00) 2022 г. 08.12.2022
Семинар «Варианты и ограничения полиморфной типизации в языке Haskell и его расширениях» состоялся 17 ноября (18.00) 2022 г. 17.11.2022
Семинар «Взаимное расширение целевого языка и вычислительной системы аппликативного типа» состоялся 08 ноября (18.00) 2022 г. 08.11.2022
Семинар «Способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов» состоялся 20 октября (18.00) 2022 г. 20.10.2022
Семинар «Поддержка интерпретаций модальных операторов в виде абстрактных объектов» состоялся 22 сентября (18.00) 2022 г. 22.09.2022
Семинар «Логика и конечные множества в доказательном программировании» (часть 3). состоялся 1 сентября (18.00) 2022 г. 01.09.2022