"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.
Andrey Rodin
Senior Research Fellow