| September 8–11, 2024 | Dagstuhl Seminar “Explainable AI for Sequential Decision Making“ |
| July 1–July 31, 2024 | Simons Institute for the Theory of Computing, Berkeley, USA. |
| May 16, 2023 | Lecture on Rigorous AI: Can Math and Logic Guarantee AI Safety? invited by Applied Mathematics and Computer Science Study Association at TU Delft. |
| October 17–21, 2022 | Making Sense of Interpretable Machine Learning, Lorentz Center, Leiden, the Netherlands. |
| July 23, 2022 | The 31th International Joint Conference on Artificial Intelligence and The 23rd European Conference on Artificial Intelligence IJCAI-ECAI 2022, Vienna, Austria. Talk at the workshop “Towards Diversity, Equity, and Inclusion in AI Research.” |
| June 7–10, 2022 | Rigorous Automated Planning Workshop, Lorentz Center, Leiden, the Netherlands. |
| March 8, 2021 | Workshop on Synthesis of Models and Systems 2021, Simons Institute for the Theory of Computing, Berkeley, USA. Invited talk “Control Synthesis and its Magical Futures.” |
| November 9–10, 2020 | Digitalize in Stockholm 2020. Invited participant. |
| September 21–25, 2020 | Formal Methods in Computer-Aided Design. Online. Talk “Formal Methods with a Touch of Magic.” Virtual Heidelberg Laureate Forum. Invited participant. |
| August 29–September 8, 2020 | Digital 24th European Conference on Artificial Intelligence. Talk “Outside-the-Box: Abstraction-Based Monitoring of Neural Networks.” |
| November 25–27, 2019 | Future DigiLeaders workshop for early-career female researchers 2019, Stockholm, Sweden. Coverage of the event: . |
| November 26, 2019 | Moderating a panel on Lifelong Learning as a part of Digitalize in Stockholm 2019, Sweden. |
| September 23–27, 2019 | Cologne Summer School of Interdisciplinary Anthropology (CSIA) IV: “Beyond Humanism: Cyborgs – Animals – Data Swarms”, University of Cologne, Germany. Invited talk “Flocking-Inspired Algorithms.” Thematic blog post series: . |
| April 8–12, 2019 | 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus. Talk “Distributed Adaptive-Neighborhood Control for Stochastic Reachability in Multi-Agent Systems.” |
| July 11–19, 2018 | Federated Logic Conference 2018, Oxford, UK. Talk at VaVAS Workshop. Poster at ADHS 2018. |
| April 10–13, 2018 | Cyber-Physical Systems Week 2018, Porto, Portugal. Talk at MT-CPS Workshop. Poster and Demo about OpenUAV in collaboration with PERCH from the University of Pennsylvania. |
| August 19–25, 2017 | 26th International Joint Conference on Artificial Intelligence, Melbourne, Australia. Talk at the Doctoral Consortium “Resilient Control and Safety for Multi-Agent Cyber-Physical Systems”. A poster on current research. |
| February 4–6, 2017 | 21st AAAI/SIGAI Doctoral Consortium, San Francisco, California USA. Talk “V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems.” A poster on current research in planning and verification for MDPs. |
| September 23–25, 2016 | 1st ARVI COST Summer School on Runtime Verification, Madrid, Spain. Advanced and cutting edge research in the topics ranging from runtime enforcement to the combination of static and dynamic analysis. |
| June 20–24, 2016 | 6th International School on Formal Methods for the Design of Computer, Communication and Software Systems 2016, Bertinoro, Italy. Quantitative Evaluation of Collective Adaptive Systems (QUANTICOL). |
| April 15–17, 2016 | RiSE & LogiCS Spring School on Logic and Verification (LOVE) 2016, Vienna, Austria. Formal Inductive Synthesis, Verifying Distributed Algorithms, SMT Solvers. |
| April 11, 2016 | MT-CPS Workshop 2016, CPSWeek, Vienna, Austria. Talk “Statistical Model Checking as Feedback Control.” |
| November 09–13, 2015 | Autumn School on Embedded Systems (EMSIG) 2015, Copenhagen, Denmark. Cyber-Physical Systems, IoT, Smart Cities, Industrie 4.0. |
| October 19–23, 2015 | PUMA/RiSE Workshop 2015, Bad Griesbach, Germany. Talk “Statistical Model Checking as Feedback Control.” |
| September 30–October 2, 2015 | 2nd Automatic Verification and Analysis of Complex Systems Autumn School (AVACS) 2015, Oldenburg, Germany. Automated formal methods in computer science and their application to the analysis and verification of complex embedded systems. |
| May 19, 2010 | Financial Risk Department, Moscow Exchange, Russia. Invited talk “Numerical Optimization Software for a Derivatives Portfolio with Respect to Active Orders.” |
