Institut für Computersprachen
Programmiersprachen und Übersetzer

Lehrveranstaltungen im Wintersemester 2007/2008

Von der Complang-Gruppe angebotene Lehrveranstaltungen:

Titel	Typ	Betreuer
Analyse und Verifikation	VU 2.0	Knoop
Codegeneratoren	VO 2.0	Krall
Effiziente Programme	VU 2.0	Ertl
Fortgeschrittene logikorientierte Programmierung	SE 2.0	Neumerkel
Funktionale Programmierung	VL 2.0	Knoop
Grundlagen methodischen Arbeitens	SE 2.0	Ertl, Knoop, Krall, Kühn, Puntigam
Logikorientierte Programmierung	VL 2.0	Neumerkel
Objektorientierte Programmierung	VL 2.0	Puntigam, Krall
Optimierende Übersetzer	VU 3.0	Schordan
Seminar (mit Bachelorarbeit)	SE 4.0	Puntigam, Schordan
Seminar aus Programmiersprachen	SE 2.0	Ertl
Seminar für DiplomandInnen	VL 2.0	Professoren und Dozenten
Stackbasierte Sprachen	VU 2.0	Ertl
Typsysteme	VO 2.0	Puntigam
Verteiltes Programmieren mit Space Based Computing Middleware	VU 4.0	Kühn

Neben diesen Lehrveranstaltungen werden von allen Professoren, Dozenten und Assistenten der Complang-Gruppe Praktika betreut sowie Diplom- und Magisterarbeiten angeboten bzw. mitbetreut.

Gemeinsame Vorbesprechungen

Vorbesprechungen vieler Lehrveranstaltungen der Complang-Gruppe werden in einem gemeinsamen Block im 30-Minuten-Takt abgehalten:

Wann:	Mittwoch, 3. Oktober 2007, 14:00 bis 16:30 Uhr
Wo:	Freihaus HS 4 (Wiedner Hauptstraße 8, Turm B, gelber Bereich, 2. Obergeschoß)
Was:	14:00 Seminar (mit Bachelorarbeit) 14:30 Typsysteme Verteiltes Programmieren mit Space Based Computing Middleware Optimierende Übersetzer 15:00 Analyse und Verifikation 15:30 Effiziente Programme Stackbasierte Sprachen 16:00 Codegeneratoren