
News


.png)

An interview with Louis Vervoort devoted to the discussion of his presentation at the seminar "Formal Philosophy" has been published
Two talks were presented at the Maltsev Readings Conference (Novosibirsk, November 11-15, 2024): “Undecidable fragments of predicate extensions of Gödel–Dummett logic” (Mikhail Rybakov and Darya Serova) and "The computational complexity of logic HS with a single variable" (Mikhail Rybakov and Anastasia Onoprienko). The presentations have been prepared as part of the "International Academic Cooperation" project.


On November 14, 2024, the National Research University Higher School of Economics (HSE University) hosted the international scientific conference “Development of Russian-Italian Cooperation in Biomedicine”