Андрей Родин выступил на конференции в Осло

11 июня Андрей Родин, старший научный сотрудник ЛогЛинФФ, выступил на конференции "TYPES 2019" с докладом.

Андрей Родин выступил с докладом "Knowledge Representation with HoTT" на международной  конференции "TYPES 2019"  (11-14 июня), проходящей в Осло. 
Конференция была организована Центром перспективных исследований Норвежской Академии наук.

 

Программа_TYPES_2019 (PDF, 67 Кб) 

Слайды (PDF, 215 Кб)