Date and Time:Thursday 24 April 2008, 15:30 - 16:30

Speaker: Adam Koprowski (OAS, TU/e)

Title: Arctic termination ... Below Zero

Abstract:

Proving termination is an important topic in term rewriting. An important class of termination methods consists of providing an interpretation into a well-founded set. In this talk I will present weakly monotone algebras; a general setting for this type of interpretation-based methods. I will illustrate it on polynomial and matrix interpretations. Then I will introduce arctic termination - a recent termination method based on matrix interpretations.
(joint work with Johannes Waldmann)