Termination Competition 2020 (Final Run. First run is here)

Termination of Rewriting

Termination of Programs

Complexity Analysis

Demonstrations