Denis Maslov's interview has been published
The HSE academic unit "Schola" published an interview with Denis Maslov, dedicated to his academic career before HSE and research plans as a postdoc at the International Laboratory for Logic, Linguistics and Formal Philosophy.
An interview with Elena Dragalina-Chernaya has been published
The academic unit of the HSE "Schola" published an interview by Elena Dragalina-Chernaya, dedicated to a joint research project of the International Laboratory for Logic, Linguistics and Formal Philosophy and the Center for Logic, Epistemology and History of Science of the University of Campinas "Pluralistic Perspectives on Logic and Formal Philosophy".
Arnold Grigoryan made a presentation entitled "Univalent Foundations and Constructive Type Theory"
On the 4th of October Arnold Grigoryan (NRU HSE) gave a talk on the topic of "Univalent Foundations and Constructive Type Theory" at the workshop «From the Logical Point of View».
An intern researcher Yuri Kazakov gave a talk
On September 27, Yuri Kazakov made a presentation "Dynamic Epistemic Approaches to Solving the Surprise Exam Paradox" at the workshop "From the Logical Point of View".
Software for checking if there is an equivalence between two models of knowledge by Denis Fedyanin and Valeria Nikolaeva
The software package developed by the laboratory staff members was officially registered as a computer program for the first time.
Non-transitive Dominance Relations and the Axiom of Transitivity: an article by Alexandr Poddyakov has been published
An article "Are Mathematicians, Physicists and Biologists Irrational? Intransitivity Studies vs. the Transitivity Axiom" by Alexander Poddyakov has been published in the journal "Human Arenas".
Pavel Astafyev made a presentation at the workshop "From the Logical Point of View"
On September 20, Pavel Astafyev made a presentation on "Disjunction in Natural Language, Exclusivity and Alternative Issues".
Mikhail Rybakov made a presentation at the workshop "Non-Standard Logics" at the S.L.Sobolev Institute of Mathematics SB RAS
On September 9, Mikhail Rybakov made a presentation on the topic of "The Undecidability of QLC with Two Variables" at the workshop "Non-Standard Logics"at the S.L.Sobolev Institute of Mathematics SB RAS in Novosibirsk
Ivan Pyltsyn gave a talk on the topic of "Formalization of the Unexpected Hanging Paradox"
Ivan Pyltsyn made a presentation at the research workshop "From the Logical Point of View", which took place on September 13.
On the 6th of September Viktoria Denisova made a presentation at the European Congress for Cognitive Behavior Therapies in Belgrade, Serbia
Viktoria Denisova, a research assistant and a PhD student at IL LLFF made a presentation on the topic of "Logic and Philosophy for Opening up New Perspectives on CBT" at the European Congress for Cognitive Behavior Therapies “New age of CBT: challenges and perspectives” which took place in Belgrade, Serbia.