Сотрудники лаборатории ПОИС представили свои работы на конференции TMPA
3–4 марта 2017 года в Москве прошла 4-ая международная научно-практическая конференция инструменты и методы анализа программ TMPA (http://tmpaconf.org/). На ней из лаборатории ПОИС выступили: научный сотрудник Алексей Мицюк и стажёр-исследователь Роман Нестеров
7 марта
2017
Семинар лаборатории ПОИС: Планирование в знаковой картине мира
На очередном заседании нашего семинара выступил Панов Александр Игоревич, научный сотрудник лаборатории ПОИС. Тема его доклада: «Планирование в знаковой картине мира»
23 августа
2016