• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

News

Illustration for news: The final day of the Russian-Brazilian Conference

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.

Illustration for news: Photo report from the first day of the Russian-Brazilian 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.

Illustration for news: The autumn school "Logic and Formal Philosophy" has ended

The autumn school "Logic and Formal Philosophy" has ended

A photo report from the last day of school.

Illustration for news: The first day of the autumn school "Logic and Formal Philosophy" has ended

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.

Illustration for news: Jorge Luis Méndez-Martínez has been selected as a Researcher for Mexico ("Investigador por México")

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.

Illustration for news: IL LLFP at the International Russia — Brazil Partnership Day

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.

Illustration for news: Viktoriia Denisova is undergoing an internship at the Center for Logic, Epistemology and History of Science at the University of Campinas, Brazil

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.

Illustration for news: Denis Maslov's interview has been published

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.

Illustration for news: An interview with Elena Dragalina-Chernaya has been published

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".

Illustration for news: Arnold Grigoryan made a presentation entitled "Univalent Foundations and Constructive Type Theory"

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».