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

News

Illustration for news: Viktoriia Denisova spoke at the Colloquia Logicae seminar

Viktoriia Denisova spoke at the Colloquia Logicae seminar

On November 27, Viktoriia Denisova made a presentation at the Colloquia Logicae seminar at Unicamp University, Brazil.

Illustration for news: Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism

Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism

The news about the joint project of IL LLFP and the CLE Center has been published on the main portal of the Higher School of Economics.

The Interview with Louis Vervoort

An interview with Louis Vervoort devoted to the discussion of his presentation at the seminar "Formal Philosophy" has been published

Presentations at the conference "Maltsev Readings"

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.

Illustration for news: Viktoriia Denisova made two presentations at the University of Campinas "Unicamp", Brazil.

Viktoriia Denisova made two presentations at the University of Campinas "Unicamp", Brazil.

Viktoriia Denisova, intern researcher IL LLFF made two presentations at the University of Campinas "Unicamp", Brazil, where she is undergoing an internship.

Illustration for news: The international conference "Formal Philosophy" has ended

The international conference "Formal Philosophy" has ended

Photo report from the third day of the conference.

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.