Valeria Nikolaeva
- Research Assistant:International Laboratory for Logic, Linguistics and Formal Philosophy
- Valeria Nikolaeva has been at HSE University since 2022.
Conferences
2023
«uAnalytiCon-2023: Проблема интеграции» (Екатеринбург ). Presentation: «Бисимуляционные игры в эпистемической логике»Valeria Nikoleva gave a talk at the workshop "From the Logical Point of View"
On June 7, Valeria Nikolaeva, an intern researcher at IL LogLinFF, made a presentation on the topic of "The Search for Bisimulation in Python" at the research workshop "From the Logical Point of View".