Семинар «Категория игр и построение в ней модели ламбда-исчисления»

состоялся 03 октября (18.00) 2024 г.

03.10.2024

Семинар «Использование библиотеки Masala для построения комбинаторов синтаксического разбора на JavaScript»

состоялся 30 сентября (18.00) 2024 г.

30.09.2024

Семинар «Описание типов данных как идеалов и как интервалов»

состоялся 09 сентября (18.00) 2024 г.

09.09.2024

Семинар «Поддержка совместимости систем модульности для программ на базе React»

состоялся 22 августа (18.00) 2024 г.

22.08.2024

Семинар «Разработка и отладка языков прикладной комбинаторной логики»

состоялся 05 августа (18.00) 2024 г.

05.08.2024

Семинар «Возможности использования средства Kaldi для распознавания речи»

состоялся 22 июля (18.00) 2024 г.

22.07.2024

Семинар «Линейные и ветвящиеся временные логики. Часть 1. Структуры Крипке»

состоялся 04 июля (18.00) 2024 г.

04.07.2024

Семинар «Построение трансформационных семантик признаков объектов данных»

состоялся 24 июня (18.00) 2024 г.

24.06.2024