Lehrveranstaltungen der Professur KIST im SS2000

Lehrveranstaltungen der Professur KIST im SS99

Lehrveranstaltungen der Professur KIST im SS98

• Vorlesung: Praktische Informatik 2
  Vorlesung am:
  Mi. 9:15-12:00, Magnus Hörsaal
  
  für Übungen werden Listen zum Eintragen ausgehängt
• Praktikum: Praktische Informatik
  Vorbesprechung:
  Mo, 20. April 1998, 14:00 c.t., Magnus Hörsaal
  Anwesenheit für die endgültige Zuteilung der Plätze erforderlich!
• Diplomandenkolloquium

Lehrveranstaltungen der Professur KIST im WS97/98

• Vorlesung: Praktische Informatik 1
  Vorlesung am:
  Mi. 10:00-12:00, Magnus Hörsaal
  
  Fr. 10:00-12:00, Magnus Hörsaal
  
  für Übungen werden Listen zum Eintragen ausgehängt
• Seminar: Nicht-Determinismus
  Zeit und Ort:
  Fr. 12:00-14:00, Raum 307
  
  Vorbesprechung:
  Do, 16.7.1997, 10:00 c.t., Raum 307
  

Lehrveranstaltungen der Professur KIST im SS97

• Vorlesung: Einführung in das Funktionale Programmieren
  Zeit und Ort:
  Di, 12:00 bis 14:00, SR11
  
  Do, 10:00 bis 12:00, SR11
  
  Mi, 14:00 bis 16:00, SR11
  
• Seminar: Programmtransformationen
  Zeit und Ort:
  Do, 14:00 bis 16:00, SR11
  
  Vorbesprechung:
  Do, 13.2.1997, 9:00 s.t., Raum 307
  

Lehrveranstaltungen der Professur KIST im WS96/97

• Vorlesung: Funktionales Programmieren II: Semantik, statische Analyse, Verifikation und abstrakte Interpretation
  Zeit und Ort:
  Di, 10:00 bis 12:00, SR11
  
  Do, 8:30 s.t. bis 10:00, SR11
  
  Mi, 10:00 bis 12:00, SR 307
• Seminar: Parallelisierung und verteilte Ausführung funktionaler Programme

Lehrveranstaltungen der Professur KIST im WS95/96

• Vorlesung: Einführung in das Funktionale Programmieren
  Zeit und Ort:
  Di, 12:00 bis 14:00, Magnus Hörsaal
  
  Mi, 14:00 bis 16:00, Magnus Seminarraum 11 - (Übung)
  
  Do, 12:00 bis 14:00, Magnus Hörsaal
• Seminar: Wissensbasierte Systeme
  Zeit und Ort:
  Mo, 10:00 bis 12:00, Seminarraum 11