2nd International Workshop on Certified Termination (WScT08) 2008 Teilnehmer aus verschiedenen europäischen Ländern 17.- 19. Mai 2008, HTWK Leipzig, Fachbereich IMN Prof. Dr. rer. nat. Johannes Waldmann Beginn Sa, 17. Mai 2008 / 2.00 Uhr - Ende Mo, 19. Mai 2008 / 2.00 Uhr Veranstaltungsart Aktionstag