Lehre / Teaching, SS 2010 (Bernhard Gramlich)

• Semantik von Programmiersprachen / Semantics of Programming Languages, VU 3.0/2.0 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp., Techn. Inf.), European Masters Program in Computational Logic]
• Computational Equational Logic, VU 3.0/2.0 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
• Seminar aus Theoretischer Informatik, SE 3.0/2.0 [Informatik-Masterstud. (Comp. Int., Inf. & Knowl. Management, SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
• Formale Methoden der Informatik, VU 6.0/4.0 [Informatik-Masterstudien]
• Seminare, Praktika, Diplomarbeit, Dissertation

Home Page B.G. | AG 185/2 | Institut 185 | Server Home Page | Faculty of Informatics | TU Wien

Bernhard Gramlich