Modularity of Termination in Probabilistic Term Rewriting
Informal Talk, Biweekly Meeting of UnRAVeL at RWTH Aachen, Aachen, Germany
Talks and Presentations
Below you can find a chronological list of all my Presentations.A Dependency Pair Framework for Relative Termination of Term Rewriting
Conference Talk, International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France
A Dependency Pair Framework for Relative Termination of Term Rewriting (TeReSe)
Workshop Talk, 26th Informal Workshop on Term Rewriting (TeReSe 2024), Amsterdam, Netherlands
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Conference Talk, 17th International Symposium on Functional and Logic Programming (FLOPS 2024), Kumamoto, Japan
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
Conference Talk, 27th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2024), Luxembourg City, Luxembourg
Proving Almost-Sure Termination of Probabilistic Programs Using Term Rewriting
Workshop Talk, Workshop on Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (ROCKS 2023), Saarbrücken, Germany
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
Workshop Talk, 19th International Workshop on Termination (WST 2023), Obergurgl, Austria
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
Conference Talk, 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs (TeReSe)
Workshop Talk, 25th Informal Workshop on Term Rewriting (TeReSe 2023), Aachen, Germany