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
