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

News

Illustration for news: The presentations of IL LogLinFF staff at the IV Conference of Mathematical Centers

The presentations of IL LogLinFF staff at the IV Conference of Mathematical Centers

Vitaly Dolgorukov and Elena Popova made presentations at the section "Mathematical Logic and Theoretical Computer Science" at the IV Conference of Mathematical Centers of Russia, which took place from August 6 to August 11 in St. Petersburg.

Results of the 2024 Best Teachers Competition

The staff members of IL LogLinFF became the best HSE teachers in the 2024 competition.

Illustration for news: Anna Ovchinnikova took part in the fourth summer school of Logic at Tsinghua University (Beijing, China)

Anna Ovchinnikova took part in the fourth summer school of Logic at Tsinghua University (Beijing, China)

From July 8 to 12, Anna Ovchinnikova, an intern researcher at IL LogLinFF, became a participant in the fourth summer school of logic at Tsinghua University (Beijing, China).

An article by Vitaly Dolgorukov has been published

Vitaly Dolgorukov's article "Alternatives to Kripke Semantics for Epistemic Logic" was published in the journal "Logical Investigations".

Laboratory project's articles have been published

Grigory Zolotkov's article "The Experience of Intuitive Understanding of Speech as a Solution to the Kripke Problem" was published in the journal Epistemology and Philosophy of Science. Ekaterina Melnikova's article "Husserl, Heidegger and Lask: the Doctrine of Meaning and Significance"was published in the journal Philosophy. The Journal of the Higher School of Economics 

Illustration for news: Viktoria Denisova took part in a reception for Russian alumni of Dutch educational institutions.

Viktoria Denisova took part in a reception for Russian alumni of Dutch educational institutions.

On July 3, 2024, at the invitation of the Dutch Embassy in Moscow, Viktoria Denisova, an alumna of the Master of Science in Logic at the University of Amsterdam, took part in a reception for Russian alumni of Dutch educational institutions.

Illustration for news: The talks of the members of the laboratory delegation at the XVI All-Russian scientific conference "Modern Logic: problems and prospects" in St. Petersburg

The talks of the members of the laboratory delegation at the XVI All-Russian scientific conference "Modern Logic: problems and prospects" in St. Petersburg

From June 27th to 29th, 2024, the XVI All-Russian Scientific Conference "Modern Logic: Problems and Perspectives" took place. The conference was held at the Institute of Philosophy of St. Petersburg State University and was dedicated to the 300th anniversary of SPbSU.

Illustration for news: Vitaly Dolgorukov gave a talk at a one-day workshop on mathematical logic

Vitaly Dolgorukov gave a talk at a one-day workshop on mathematical logic

On June 24, a one-day workshop on mathematical logic was held at the Higher School of Economics, where Vitaly Dolgorukov presented the report "Dynamic epistemic Logic for agents with resource constraints".

Congratulations to Elena Popova on defending her master's thesis!

On June 21, Elena Popova defended her master's thesis "Semantics of the First–Order Logic of Evidence with a Binding Modality" (supervisor - T.L. Yavorskaya) with an excellent grade (10).

Illustration for news: Anna Moiseeva, a researcher at IL LogLinFF, gave a talk on the topic of "How we create and identify fictitious objects"

Anna Moiseeva, a researcher at IL LogLinFF, gave a talk on the topic of "How we create and identify fictitious objects"

Anna Moiseeva, a researcher at IL LogLinFF, made a presentation on the topic of "How We Create and Identify Fictitious Objects" at the theoretical seminar "Formal Philosophy" on June 21.