News: change of theory block in MSc program

Dear students,

Yesterday, the council of the department decided to make the MSc study program more flexible. The block "computer science theory" currently contains only one mandatory module: 89-5151 "Formal Specification and Verification Techniques (FSVT)". In future, we allow following modules as alternatives. All modules are in summer semester.

89-6252	Verifikation reaktiver Systeme	(Verification of Reactive Systems)
89-3252	Spezifikation und Verifikation mit Logik höherer Ordnung	(Specification and Verification with Higher Order Logic)
89-5454	Fortgeschrittene Algorithmik	(Advanced Algorithmics)

The department will change the examination regulations so that the changes will be effective from summer semester 2010. This notification is for supporting your planning.

Best regards,
Bernd Schürmann

---

PS: In einer früheren E-Mail (24.9.09) zur Änderung der Prüfungsordnungen hatte ich geschrieben: "Bereits eingeschrieben Studierende haben Wahlrecht zwischen der alten und neuen Fassung der Ordnung (auch für einzelne Paragraphen)."
Mittlerweile ist das Prüfungsamt der Meinung, dass eine Wahl einzelner Paragraphen nicht möglich sei. Das Wahlrecht bestünde nur für eine komplette Prüfungsordnungsversion. Der Fachbereich sieht dies noch anders und ist momentan dabei, dies mit dem Ministerium abzuklären. Zurzeit sieht es jedoch eher so aus, dass die Prüfungsamt-Variante (komplette Prüfungsordnung) zu wählen ist. Sollte ich etwas anderes erfahren, werde ich dies bekannt geben.