Семинар «Взаимное расширение целевого языка и вычислительной системы аппликативного типа»

состоялся 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

Семинар «Логика и конечные множества в доказательном программировании» (часть 2).

состоялся 8 августа (18.00) 2022 г.

08.08.2022

Семинар «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)»

состоялся 21 июля (18.00) 2022 г.

21.07.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 1).

состоялся 14 июля (18.00) 2022 г.

14.07.2022

Семинар «Представление пошагового интерактивного взаимодействия информационных систем средствами теории категорий»

состоялся 27 июня (10.00) 2022 г.

27.06.2022