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

Seminar: Automated Termination Analysis

(S2, WS 2005/2006)

LuFG Informatik II


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


Participants should have knowledge in "functional programming", "term rewriting", "program verification", or "logic programming". When registering for the seminar, please indicate which of these lectures you have attended (preferably lectures where you also actively participated in the exercises).


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).


The seminar will take place on two days at the end of the semester (February 2006). The preliminary meeting will take place on Friday, November 4 at 1pm in our seminar room (E2, room 4201b). In this meeting the different topics will be presented and assigned.

Further Details and Questions

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


Theoretical Computer Science, Area of Specialization

Last modified: Fri Jul 15 10:04:42 CEST 2005 / Research Group Computer Science II
RWTH Aachen