Lehrstuhl 8

• Formale Methoden der Softwareentwicklung WS2016/17
• Praktische Semantik von Programmiersprachen (SemProg) SS2016
• Nonclassical Logics WS15/16
• Kommunikation und Parallele Prozesse SS2015
• Kommunikation und Parallele Prozesse SS2015
• Formale Methoden der Softwareentwicklung WS2014/15
• Ontologien im Semantic Web WS2014/15 (2)
• Ontologien im Semantic Web WS2014/15
• Kryptologie & Protokollverifikation WS2014/15
• Algebra der Programmierung WS2013/14
• Praktische Semantik von Programmiersprachen SS2013 (1) SemProg (2) SemProg (3)
• Kommunikation und Parallele Prozesse SS2013 (1)
• Formale Methoden der Softwareentwicklung WS12/13 (2)
• Formale Methoden der Softwareentwicklung WS12/13
• KS 1 (Zenker) WS 2011/12: (1) (2) (3) (4)
• KI 1 (Ludwig) + Text Mining (Mandl) 2009
• KI 1 (Ludwig) + Sprachverarbeitung (Görz) 2009
• KI 1 (Stoyan) + TM (Ludwig) 2007
• MMT + TM 2006
• Künstliche Intelligenz 2005
  • KI 1 (Stoyan) + KI 2 (Ludwig)
• Künstliche Intelligenz 2003
  • KI 1+2 (Stoyan)
• Künstliche Intelligenz 2002
  • KI 1+2 (Stoyan)
  • KI 2 (Stoyan) [Nebenfach]
• Künstliche Intelligenz 2000
  • KI 1+2 (Stoyan)
  • Sprachverarbeitung + KI 1 (Görz)

• KS1 Zusammenfassung WS 11/12 (google docs link)
• Zusammenfassung KI1 (WS 08/09): PDF (XeTeX-Quellen)
• Zusammenfassung Sprachverarbeitung (WS 08/09): PDF (XeTeX-Quellen)
• Kryptologie und Protokollverifikation Zusammenfassung ws14/15(crypto-summary Tex-Quelle)

Die beiden Zusammenfassungen sind stellenweise relativ knapp und vielleicht auch unvollständig. Falls das jemand ändern mag: die XeTeX-Quellen sind dabei.
Wenn es damit Probleme geben sollte: immoartl