Wintersemester 2008/2009

HAUPTSTUDIUM Informatik
Kernfächer

TECHNISCHE INFORMATIK

Vorlesungen

Enterprise Computing [10-201-2101 Rechnersysteme]	Fr	09¹⁵-10⁴⁵	Felix-Klein-Hs.	VW	Spruth, W.G.; Herrmann, P.; Bogdan
Mobile Ad Hoc Netze	Mo	13¹⁵-14⁴⁵	Felix-Klein-Hs.	V	Lindemann, Christoph
Peer-To-Peer Systeme [10-202-2114]	Mo	15⁰⁰-16³⁰	Felix-Klein-Hs.	V	Lindemann, Christoph
Rechnerarchitektur [10-201-2101 Rechnersysteme]	Di	11¹⁵-12⁴⁵	Felix-Klein-Hs	VW	Bogdan, Martin
Rekonfigurierbare Rechensysteme [10-201-2219, 10-201-2221]	Do	11¹⁵-12⁴⁵	Felix-Klein-Hs.	VW	Middendorf, Martin
Technische Informatik [Kernmodul für Bachelor]	Di	13¹⁵-14⁴⁵	Joh 1-22	VW	Bogdan, M.
z/OS und OS/390 [10-202-2113]	Fr	09¹⁵-10⁴⁵	Felix-Klein-Hs	VW	Spruth, W. G.; Herrmann, P.

Übungen, Praktika und Seminare

Forschungsseminar Parrallelverarbeitung und Komplexe Systeme [10-201-2219. 10-201-2221]	?	?	nach Vereinbarung	S	Middendorf, Martin
Mobile Peer-To-Peer Systeme [10-202-2114]	?	?	nach Vereinbarung	P	Lindemann, Christoph
Praktikum Enterprise Computing [10-201-2101 Rechnersysteme]	?	?	nach Vereinbarung	P	Spruth, W.G.; Herrmann, P.; Bogdan, M.
z/OS und OS/390 (http://jedi.informatik.uni-leipzig.de/aushang.pdf)	?	?	?	U	Herrmann, P./Michaelsen, N.

THEORETISCHE INFORMATIK

Vorlesungen

Automatentheorie [10-202-2106]	Mo	11¹⁵-12⁴⁵	KH, R 2-11	VW	Droste, Manfred
Automatentheorie [10-202-2106]	Do	15¹⁵-16⁴⁵	KH 2-06	VW	Droste, Manfred
Einführung in das symbolische Rechnen [10–201-2313]	Fr	11¹⁵-12⁴⁵	KH, R 2-06	VW	Gräbe, Hans-Gert
Grundlagen des Maschinellen Lernens und der Statistik [10-202-2302]	Di	09¹⁵-10⁴⁵	R 109 Härtelstr.16	VW	Strimmer, Korbinian
Ontologie für Informationssysteme	Do	15¹⁵-16⁴⁵	Härtelstr.16, R 109	V	Herre, Heinrich
Parallele Algorithmen [10-201-2219, 10-201-2221]	Di	13¹⁵-14⁴⁵	KH, R 2-10	VW	Middendorf, Martin
Parallele Berechnungsmodelle [10-201-2219, 10-201-2221]	Di	15¹⁵-16⁴⁵	KH, R 2-10	VW	Middendorf, Martin
Semantik von Programmiersprachen [10-201-2105]	Mi	11¹⁵-12⁴⁵	Brüderstr.14, R 116	VO	Droste, Manfred
Strukturelle Komplexitätstheorie [10-202-2112]	Do	17¹⁵-18⁴⁵	KH, R 2-10	VW	Markus Lohrey
Verifikation [10-201-2105]	Mi	17¹⁵-18⁴⁵	KH, R 2-10	VW	Kuske, Dietrich
Wissensrepräsentation [10-202-2302]	Mi	13¹⁵-14⁴⁵	KH 2-10	VW	Brewka, Gerhard

Übungen, Praktika und Seminare

Automatentheorie	Mo	15¹⁵-16⁴⁵	Brühl, R 521	U	Kirsten, Daniel
Automatentheorie	Mo	13¹⁵-14⁴⁵	Brühl, R 518	U	Kirsten, Daniel
Bachelorseminar Automatentheorie	?	?	?	S	Droste, Manfred; Kuske, Dietrich
Bachelorseminar Automatentheorie [10-201-2116]	Mo	17¹⁵-18⁴⁵	Brühl, R 510	S	Droste, Manfred; Kuske, Dietrich
Datenkompression [10-201-2109]	Mi	09¹⁵-10⁴⁵	Brühl, R 612	S	Markus Lohrey
Forschungsseminar Parrallelverarbeitung und Komplexe Systeme [10-201-2219. 10-201-2221]	?	?	nach Vereinbarung	S	Middendorf, Martin
Genomic Signal Processing [10-202-2206, 10-202-2302]	Mi	13¹⁵-14⁴⁵	R 109 Härtelstr.16	S	Ahdesmäki, Miika; Klemm, Konstantin; Strimmer, Korbinian;
Handlungsmodellierung und Planen [10-202-2302]	Di	15¹⁵-16⁴⁵	Brühl, R 518	S	Brewka, Gerhard
Komplexitätstheorie [10-202-2112]	Do	11¹⁵-12⁴⁵	Brühl, R 518	S	Claus Diem, Markus Lohrey
Prinzipien des Ontologischen Engineering	Di	15¹⁵-16⁴⁵	Härtelstr. 16, R 018	S	Herre, Heinrich
Semantik von Programmiersprachen	Di	11¹⁵-12⁴⁵	Brühl, R 510	U	Hartwig, R. / Kirsten, D.

PRAKTISCHE INFORMATIK

Vorlesungen

Algorithmische Geometrie (Fortgeschrittene Computergrafik)	Mi	19¹⁵-20⁴⁵	KH 2-10	V	Jänicke, Heike
Einführung in das symbolische Rechnen [10–201-2313]	Fr	11¹⁵-12⁴⁵	KH, R 2-06	VW	Gräbe, Hans-Gert
Informationsmanagement (ab 24./25.11.) [10-202-2333]	Mo	15¹⁵-18³⁰ E	Brühl, R 514	VW	Schlottke, Manfred
Informationsmanagement (ab 24./25.11.) [[10-202-2333]]	Di	09¹⁵-10⁴⁵ E	Brühl, R 514	VW	Schlottke, Manfred
Mobile Ad Hoc Netze	Mo	13¹⁵-14⁴⁵	Felix-Klein-Hs.	V	Lindemann, Christoph
Parallele Algorithmen [10-201-2219, 10-201-2221]	Di	13¹⁵-14⁴⁵	KH, R 2-10	VW	Middendorf, Martin
Parallele Berechnungsmodelle [10-201-2219, 10-201-2221]	Di	15¹⁵-16⁴⁵	KH, R 2-10	VW	Middendorf, Martin
Peer-To-Peer Systeme [10-202-2114]	Mo	15⁰⁰-16³⁰	Felix-Klein-Hs.	V	Lindemann, Christoph
Rekonfigurierbare Rechensysteme [10-201-2219, 10-201-2221]	Do	11¹⁵-12⁴⁵	Felix-Klein-Hs.	VW	Middendorf, Martin
Software aus Komponenten [10-202-2311]	Di	13¹⁵-14⁴⁵	Brühl, R 512	VO	Gräbe, Hans-Gert
z/OS und OS/390 [10-202-2113]	Fr	09¹⁵-10⁴⁵	Felix-Klein-Hs	VW	Spruth, W. G.; Herrmann, P.

Übungen, Praktika und Seminare

Bachelor Seminar BIS	Fr	09¹⁵-10⁴⁵	Joh., R 1-22	FS	Fähnrich, Klaus-Peter
Forschungsseminar Parrallelverarbeitung und Komplexe Systeme [10-201-2219. 10-201-2221]	?	?	nach Vereinbarung	S	Middendorf, Martin
Mobile Peer-To-Peer Systeme [10-202-2114]	?	?	nach Vereinbarung	P	Lindemann, Christoph
Oberseminar Datenbanken [10-201-2224; 10-202-2215; 10-202-2216]	Mo	?	Felix-Klein-Hs.?	S	Rahm, Erhard
z/OS und OS/390 (http://jedi.informatik.uni-leipzig.de/aushang.pdf)	?	?	?	U	Herrmann, P./Michaelsen, N.

ANGEWANDTE INFORMATIK

Vorlesungen

Algorithmische Geometrie (Fortgeschrittene Computergrafik)	Mi	19¹⁵-20⁴⁵	KH 2-10	V	Jänicke, Heike
Ausgewählte Kapitel der Softwaretechnologie [10-201-2303; 10-201-2330]	Di	09¹⁵-10⁴⁵	KH, R 2-05	VW	Gruhn, Volker
Informationsvisualisierung [Fortgeschrittene Computergrafik]	Do	13¹⁵-14⁴⁵	ICCAS Seminarraum	VW	Bartz, Dirk
Ontologie für Informationssysteme	Do	15¹⁵-16⁴⁵	Härtelstr.16, R 109	V	Herre, Heinrich
Seminar Informationsvisualisierung [Fortgeschrittene Computergrafik]	Mi	17¹⁵-18⁴⁵	Brühl, R 510	VO	Scheuermann, Gerik; Heine, Christian
Software aus Komponenten [10-202-2311]	Di	13¹⁵-14⁴⁵	Brühl, R 512	VO	Gräbe, Hans-Gert
Text Mining/Wissensrohstoff Text [10-201-2301]	Do	07³⁰-09⁰⁰	KH 2-06	VW	Quasthoff, Uwe
Wissensrepräsentation [10-202-2302]	Mi	13¹⁵-14⁴⁵	KH 2-10	VW	Brewka, Gerhard
z/OS und OS/390 [10-202-2113]	Fr	09¹⁵-10⁴⁵	Felix-Klein-Hs	VW	Spruth, W. G.; Herrmann, P.

Übungen, Praktika und Seminare

Angewandtes Software-Engineering [10-201-2303; 10-201-2331]	?	?	nach Vereinbarung	P	Gruhn, Volker
Ausgewählte Kapitel der Softwaretechnologie [10-201-2303; 10-201-2330]	Mi	11¹⁵-12⁴⁵	Joh., R 1-22	S	Gruhn, Volker
Bachelor Seminar BIS	Fr	09¹⁵-10⁴⁵	Joh., R 1-22	FS	Fähnrich, Klaus-Peter
Forschungsseminar Parrallelverarbeitung und Komplexe Systeme [10-201-2219. 10-201-2221]	?	?	nach Vereinbarung	S	Middendorf, Martin
Genomic Signal Processing [10-202-2206, 10-202-2302]	Mi	13¹⁵-14⁴⁵	R 109 Härtelstr.16	S	Ahdesmäki, Miika; Klemm, Konstantin; Strimmer, Korbinian;
Handlungsmodellierung und Planen [10-202-2302]	Di	15¹⁵-16⁴⁵	Brühl, R 518	S	Brewka, Gerhard
Prinzipien des Ontologischen Engineering	Di	15¹⁵-16⁴⁵	Härtelstr. 16, R 018	S	Herre, Heinrich
Seminarmodul - Forschung und Trends in der SW-Technologie und dem SW-Management [Seminarmodul für M.Sc. + Versicherungsinformatik]	?	?	n.V.	S	Volker Gruhn, Gottfried Koch
Text Mining/Wissensrohstoff Text [10-201-2301]	?	?	nach Vereinbarung	P	Holz, Florian
Text Mining/Wissensrohstoff Text [10-201-2301]	Do	09¹⁵-10⁴⁵	KH, R 2-06	U	Holz, Florian
z/OS und OS/390 (http://jedi.informatik.uni-leipzig.de/aushang.pdf)	?	?	?	U	Herrmann, P./Michaelsen, N.