10. International Workshop on Termination 2009 3.–5. Juni 2009, HTWK Leipzig/Fakultät IMN Prof. Dr. rer. nat. Johannes Waldmann Wed, 03. June 2009 / 2.00 - Fri, 05. June 2009 / 2.00 Eventtypes Aktionstag