Wintersemester 2009/10


Informatik 2


 

Veranstaltung:

Typ

Involvierte Personen:

Proseminar "Berüchtigte Fehler in Softwaresystemen"

B

Noll/Katoen

Seminar Concurrency Theory

B/D/M

Bohnenkamp/Neuhäußer/Noll/Katoen

Compilerbau

BWP/D/M

Noll/Yue/Neuhäußer

Foundations of the UML

D/M

Katoen/Han/Mereacre


Abbreviations

B: Bachelor, BWP: Bachelor Wahlpflicht, VD: Vordiplom, D: Diplom, M: Master


Hybrid Systems Group


 

Veranstaltung:

Typ

Involvierte Personen:

Lecture Satisfiability Checking (Erfüllbarkeitsüberprüfung)

BWP/D/M

Ábrahám/NN

Seminar Satisfiability Checking

B/D/M

Abraham, Giesl, Emmes, Fuhs, Otto, Chen, Jansen, Loup


Abbreviations

B: Bachelor, BWP: Bachelor Wahlpflicht, VD: Vordiplom, D: Diplom, M: Master



Misc.


See also:

Teaching-related pages in the Campus-System for