Institut für Computersprachen
Programmiersprachen und Übersetzer

Lehrveranstaltungen im Sommersemester 2012

Von der Complang-Gruppe angebotene Lehrveranstaltungen:

LVA-Nr.	Titel	Typ	ECTS	Betreuer
185.966	Abstrakte Maschinen	VO	3.0	Krall
185.A49	Abstrakte Maschinen	UE	3.0	Krall
185.276	Analyse und Verifikation	VU	3.0	Knoop, Zwirchmayr
185.A52	Automated Reasoning and Program Verification	VU	3.0	Kovacs
185.A50	Dynamische Übersetzer	VU	3.0	Krall
185.A05	Fortgeschrittene funktionale Programmierung	VU	3.0	Knoop
185.A25	Fortgeschrittene logische Programmierung	VU	3.0	Neumerkel
185.211	Fortgeschrittene objektorientierte Programmierung	VU	3.0	Puntigam
185.A02	Grundlagen der Programmkonstruktion	VU	2.9	Puntigam
185.A12	Logikprogrammierung und Constraints	VU	6.0	Neumerkel
185.208	Programmiersprachen	VU	3.0	Puntigam
185.A51	Programming Principles of Mobile Robotics	VU	3.0	Schreiner
185.226	Verteiltes Programmieren mit Space Based Computing Middleware	VU	6.0	Kühn
185.A48	Übersetzerbau	VU	6.0	Ertl,Krall
185.A15	Wissenschaftliches Arbeiten	SE	3.0	ProfessorenInnen und Dozenten
185.A17	Bachelorarbeit für Informatik und Wirtschaftsinformatik	PR	10.0	ProfessorInnen und Dozenten
185.A18	Praktikum technische Informatik	PR	6.0	ProfessorInnen und Dozenten
185.198	Seminar für DiplomandInnen	SE	3.0	ProfessorInnen und Dozenten
185.A24	Seminar für DissertantInnen	SE	3.0	ProfessorInnen und Dozenten
185.191	Wissenschaftliche Methodik	SE	2.0	Ertl
185.A20	Projekt aus Software Engineering & Internet Computing	PR	12.0	ProfessorInnen und Dozenten
185.307	Seminar aus Programmiersprachen	SE	3.0	Zwirchmayr
185.A28	Project in Computer Science 1	PR	6.0	ProfessorInnen und Dozenten
185.A29	Project in Computer Science 2	PR	6.0	ProfessorInnen und Dozenten
185.A30	Projekt Medizinische Informatik	PR	12.0	ProfessorInnen und Dozenten
185.A31	Embedded Systems Engineering Projektarbeit	PR	6.0	ProfessorInnen und Dozenten
185.A32	Embedded Systems Engineering Scientific Project	PR	6.0	ProfessorInnen und Dozenten

Gemeinsame Vorbesprechungen

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

Wann:	Mittwoch, 7. März 2012, 13:00 s.t. bis 14:00 Uhr
Wo:	EI 4 Reithoffer Hörsaal