On April 24 Andrei Rodin gave a talk on "Directed Homotopy Type Theory and the (In)vertibility of Mathematics".
On 25 April research fellows of the International Laboratory for Logic, Linguistics and Formal Philosophy made reports on sessions "The philosophy of P.F. Strawson" and "Neurosciences and moral responsibility: neuroethics perspectives".
Junior research fellow, Denis Fedyanin, participated in a XX April International Academic Conference.
Research assistants of the International Laboratory for Logic, Linguistics and Formal Philosophy made reports within the Logic subsection of the "Lomonosov-2019" Conference.
Vitaliy Dolgorukov made the report "Irony, Deception and Lying: an Epistemic Taxonomy for Assertions" at a scientific seminar of research group LangCog (Language, Mind and Cognition) of University of Lisbon.
Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.
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"
On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.
Lena Pasalskaya made a report on the workshop, organized by the Institut Jean Nicod