"Constructive Knowledge - 8: Formal Representation of Mathematics" Workshop

Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, together with Sergei Kovalev gave a presentation on "Formal Epistemology and Computational Representation of Knowledge"

The video from the workshop is available here.