andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

June 5, 2019

Knowledge Representation with HoTT

Filed under: Uncategorized — Andrei Rodin @ 10:39 am

Contributed talk at the 25th International Conference on Types for Proofs and Programs, June 11-14, 2019, Oslo, Norway



Related paper

Book of Abstracts indexed by Program

June 3, 2019

Truth and Justification in Knowledge Representation

Filed under: Uncategorized — Andrei Rodin @ 1:41 pm

Invited talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” (jww Serge Kovalyov)

When: Friday June 7, 2019

Where: Department of Computer Science, Higher School of Economics (Moscow, 3 Kochnovsky Proezd)




Powered by WordPress