On April 24 Andrei Rodin gave a talk on "Directed Homotopy Type Theory and the (In)vertibility of Mathematics".
On 15 May, "Constructive Knowledge - 9: neural networks as a black box" Workshop was held in Institute of PhilosophyRussian Academy of Sciences.
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".
Elena Dragalina-Chernaya gave a talk at the conference dedicated to the Formal Methods of Philosophy
Elena Dragalina-Chernaya gave a plenary contributed talk "The Variety of Logical Hylomorphism" at the conference Formal Methods and Science in Philosophy III, Dubrovnik, Croatia.
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.
The article "Analytic philosophy as a historico-philosophical phenomenon" by Lolita Makeeva has been published in Philosophy Journal, Vol. 12, No. 1.
Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.