Conference Talk, 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025), Rende, Italy
Workshop Talk, 20th International Workshop on Termination (WST 2025), Leipzig, Germany
Workshop Talk, 20th International Workshop on Termination (WST 2025), Leipzig, Germany
Workshop Talk, Deduktionstreffen, Stuttgart, Germany
Informal Talk, Biweekly Meeting of UnRAVeL at RWTH Aachen, Aachen, Germany
Conference Talk, International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France
Workshop Talk, 26th Informal Workshop on Term Rewriting (TeReSe 2024), Amsterdam, Netherlands
Conference Talk, 17th International Symposium on Functional and Logic Programming (FLOPS 2024), Kumamoto, Japan
Conference Talk, 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024), Luxembourg City, Luxembourg
Workshop Talk, Workshop on Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (ROCKS 2023), Saarbrücken, Germany
Workshop Talk, 19th International Workshop on Termination (WST 2023), Obergurgl, Austria
Conference Talk, 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy
Workshop Talk, 25th Informal Workshop on Term Rewriting (TeReSe 2023), Aachen, Germany