Andrei Rodin participated in a conference in Oslo

On June 11, Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, gave a talk at the conference in Oslo.

Andrei Rodin gave a talk on the topic "Knowledge Representation with HoTT" at the 25th International Conference on Types for Proofs and Programs "TYPES 2019"  .
The conference was organised by the Centre for Advanced Study at the Norwegian Academy of Science
and held in Oslo, Norway, on 11-14 June. 

Slides (PDF, 215 Кб) 

Types 2019_program (PDF, 67 Кб)