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