The final day of the Russian-Brazilian Conference
Photo report from the second day of the conference on logical pluralism in memory of Newton da Costa.
Photo report from the first day of the Russian-Brazilian Conference on Logical Pluralism in memory of Newton da Costa
The first day of the conference on logical pluralism in memory of Newton da Costa has ended.
The autumn school "Logic and Formal Philosophy" has ended
A photo report from the last day of school.
The first day of the autumn school "Logic and Formal Philosophy" has ended
The school is part of the international academic cooperation project of IL LLFP and the Center for Logic, Epistemology and History of Science of the University of Campinas.
Jorge Luis Méndez-Martínez has been selected as a Researcher for Mexico ("Investigador por México")
Jorge Luis Méndez-Martínez, a researcher at IL LLFP, became the winner of the competition of the National Council for Sciences, Technology and Humanities of Mexico.
IL LLFP at the International Russia — Brazil Partnership Day
On October 14, the International Russia — Brazil Partnership Day took place, organized at the Higher School of Economics in cooperation with the Brazilian Embassy in Moscow.
Viktoriia Denisova is undergoing an internship at the Center for Logic, Epistemology and History of Science at the University of Campinas, Brazil
Under the supervision of Professor Fábio Maia Bertato and Professor Itala Loffredo d’Ottoviano Viktoriia is working on formalisms for reasoning with conditionals.
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».