Семинар «Использование шаблонизатора Twig внутри фреймворка Symfony»

состоялся 9 марта (10.00) 2023 г.

09.03.2023

Семинар «Установка сертификатов при работе с Git»

состоялся 6 марта (10.00) 2023 г.

06.03.2023

Семинар «Типизация алгебраических структур данных в кодировке Черча и в кодировке Скотта»

состоялся 9 февраля (18.00) 2023 г.

09.02.2023

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

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