Diese Seite auf Deutsch  Research Group Computer Science II  Dept. of Computer Science RWTH

Seminar: Termination Analysis

(S2, WS 2003/2004)

LuFG Informatik II


Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp


Participants should have knowledge in "program verification", "term rewriting", "logic programming", or "functional programming".


Termination is an essential property of programs and termination analysis is an important task in software development and program verification. In the seminar, we present techniques and tools to prove termination of programs automatically, where we focus on different types of programming languages (e.g., term rewrite systems, logic, functional, and imperative programming languages). Moreover, we also discuss related areas such as automated complexity analysis of programs and methods to prove liveness of processes.


The seminar will take place on two days at the end of the semester (February 2004).

Further Details and Questions

For further details please contact René Thiemann, Tel. 80-21241.


Theoretical Computer Science, Area of Specialization

Last modified: Thu Nov 20 17:29:02 CET 2003 / Research Group Computer Science II
RWTH Aachen