Liebe Studenten, der Lehrstuhl für Praktische Informatik II bietet im Wintersemester 06/07 und im Sommersemester 07 eine neue Vertiefungsvorlesung zum Thema "Methoden zum Entwurf zuverlässiger Systeme" an. Nährere Informationen finden sich im Anhang. Viele Grüße, Verena Wolf. -- Dipl.-Inform. Verena Wolf Universität Mannheim Lehrstuhl für Praktische Informatik II A5, Bauteil B 119 D-68131 Mannheim Tel.: +49 621 181 2437 Fax: +49 621 181 2560 E-mail: wolf(a)informatik.uni-mannheim.de