Find below the list of courses offered by RISC-Linz as of 31.1.2006.
LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
326.011 (2005W)
|
Algorithmen und Datenstrukturen
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 06.10.2005
|
08:30 -
10:00
|
K 269D |
|
Do 13.10.2005
|
08:30 -
10:00
|
K 269D |
|
Do 20.10.2005
|
08:30 -
10:00
|
K 269D |
|
Do 27.10.2005
|
08:30 -
10:00
|
K 269D |
|
Do 03.11.2005
|
08:30 -
10:00
|
K 269D |
|
Do 10.11.2005
|
08:30 -
10:00
|
K 269D |
|
Do 17.11.2005
|
08:30 -
10:00
|
K 269D |
|
Do 24.11.2005
|
08:30 -
10:00
|
K 269D |
|
Do 01.12.2005
|
08:30 -
10:00
|
K 269D |
|
Do 15.12.2005
|
08:30 -
10:00
|
K 269D |
|
Do 12.01.2006
|
08:30 -
10:00
|
K 269D |
|
Do 19.01.2006
|
08:30 -
10:00
|
K 269D |
|
Do 26.01.2006
|
08:30 -
10:00
|
K 269D |
|
Do 09.02.2006
|
10:00 -
12:00
|
HS 4 |
|
|
|
|
326.002 (2005W)
|
Algorithmische Methoden 1
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 04.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Di 11.10.2005
|
12:00 -
13:30
|
HS 4 |
|
Di 18.10.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 24.10.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 25.10.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 31.10.2005
|
10:15 -
11:45
|
KEP 3 |
|
Mo 07.11.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 08.11.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 14.11.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 15.11.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 21.11.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 22.11.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 28.11.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 29.11.2005
|
12:00 -
13:30
|
HS 4 |
|
Do 01.12.2005
|
12:00 -
13:30
|
K 269D |
|
Mo 05.12.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 06.12.2005
|
12:00 -
13:30
|
HS 4 |
|
Mo 12.12.2005
|
10:15 -
11:45
|
KEP 3 |
|
Di 13.12.2005
|
12:00 -
13:30
|
HS 4 |
|
Do 15.12.2005
|
12:00 -
13:30
|
K 269D |
|
Mo 09.01.2006
|
10:15 -
11:45
|
KEP 3 |
|
Di 10.01.2006
|
12:00 -
13:30
|
HS 4 |
|
Do 12.01.2006
|
12:00 -
13:30
|
HS 5 |
|
Mo 16.01.2006
|
10:15 -
11:45
|
KEP 3 |
|
Di 17.01.2006
|
12:00 -
13:30
|
HS 4 |
|
Mo 23.01.2006
|
10:15 -
11:45
|
KEP 3 |
|
Di 24.01.2006
|
12:00 -
13:30
|
HS 4 |
|
Mo 30.01.2006
|
10:15 -
11:45
|
KEP 3 |
|
Di 31.01.2006
|
12:00 -
13:30
|
HS 4 |
|
|
|
|
326.012 (2005W)
|
Analytische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 04.10.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 11.10.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 18.10.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 25.10.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 08.11.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 15.11.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 22.11.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 29.11.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 06.12.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 13.12.2005
|
12:00 -
13:30
|
HS 11 |
|
Di 10.01.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 17.01.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 24.01.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 31.01.2006
|
12:00 -
13:30
|
HS 11 |
|
|
|
|
326.042 (2005W)
|
Analytische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 04.10.2005
|
13:45 -
14:30
|
K 034D |
|
Di 11.10.2005
|
13:45 -
14:30
|
K 034D |
|
Di 18.10.2005
|
13:45 -
14:30
|
K 034D |
|
Di 25.10.2005
|
13:45 -
14:30
|
K 034D |
|
Di 08.11.2005
|
13:45 -
14:30
|
K 034D |
|
Di 15.11.2005
|
13:45 -
14:30
|
K 034D |
|
Di 22.11.2005
|
13:45 -
14:30
|
K 034D |
|
Di 29.11.2005
|
13:45 -
14:30
|
K 034D |
|
Di 06.12.2005
|
13:45 -
14:30
|
K 034D |
|
Di 13.12.2005
|
13:45 -
14:30
|
K 034D |
|
Di 10.01.2006
|
13:45 -
14:30
|
K 034D |
|
Di 17.01.2006
|
13:45 -
14:30
|
K 034D |
|
Di 24.01.2006
|
13:45 -
14:30
|
K 034D |
|
Di 31.01.2006
|
13:45 -
14:30
|
K 034D |
|
|
|
|
326.062 (2005W)
|
Berechenbarkeitstheorie
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 06.10.2005
|
08:30 -
10:00
|
K 123A |
|
Mi 12.10.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 19.10.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 09.11.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 16.11.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 23.11.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 30.11.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 07.12.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 14.12.2005
|
12:00 -
13:30
|
MZ 005B |
|
Mi 11.01.2006
|
12:00 -
13:30
|
MZ 005B |
|
Mi 18.01.2006
|
12:00 -
13:30
|
MZ 005B |
|
Mi 25.01.2006
|
12:00 -
13:30
|
MZ 005B |
|
|
|
|
326.017 (2005W)
|
Computeralgebra
Weitere Infos
|
Anmelden
|
KV |
3,0 |
Franz Winkler
Günter Landsmann
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 11.10.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 18.10.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 25.10.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 08.11.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 15.11.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 22.11.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 29.11.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 06.12.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 13.12.2005
|
15:30 -
18:00
|
HS 8 |
|
Di 10.01.2006
|
15:30 -
18:00
|
HS 8 |
|
Di 17.01.2006
|
15:30 -
18:00
|
HS 8 |
|
Di 24.01.2006
|
15:30 -
18:00
|
HS 8 |
|
Di 31.01.2006
|
17:15 -
18:45
|
HS 15 |
|
|
|
|
326.039 (2005W)
|
Diplomanden- und Dissertantenseminar
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.040 (2005W)
|
Diplomanden- und Dissertantenseminar
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
|
|
326.067 (2005W)
|
Diplomanden- und Dissertantenseminar
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
|
Wöchentlich |
|
|
|
326.603 (2005W)
|
Einführung in paralleles und verteiltes Rechnen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 03.10.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 10.10.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 17.10.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 24.10.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 31.10.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 07.11.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 14.11.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 21.11.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 28.11.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 05.12.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 12.12.2005
|
08:30 -
10:00
|
T 1010 |
|
Mo 09.01.2006
|
08:30 -
10:00
|
T 1010 |
|
Mo 16.01.2006
|
08:30 -
10:00
|
T 1010 |
|
Mo 23.01.2006
|
08:30 -
10:00
|
T 1010 |
|
Mo 30.01.2006
|
08:30 -
10:00
|
T 1010 |
|
|
|
|
357.203 (2005W)
|
Formale Grundlagen 1
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 05.10.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 12.10.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 19.10.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 09.11.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 16.11.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 23.11.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 30.11.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 07.12.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 14.12.2005
|
15:30 -
17:00
|
HS 12 |
|
Mi 11.01.2006
|
15:30 -
17:00
|
HS 12 |
|
Mi 18.01.2006
|
15:30 -
17:00
|
HS 12 |
|
Mi 25.01.2006
|
15:30 -
17:00
|
HS 12 |
|
|
|
|
326.933 (2005W)
|
Formale Grundlagen 2
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 07.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 14.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 21.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 28.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 04.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 11.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 18.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 25.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 02.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 09.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 16.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 13.01.2006
|
12:00 -
13:30
|
HS 10 |
|
Fr 20.01.2006
|
12:00 -
13:30
|
HS 10 |
|
Fr 27.01.2006
|
12:00 -
13:30
|
HS 9 |
|
Fr 27.01.2006
|
12:00 -
13:30
|
HS 10 |
|
|
|
|
326.943 (2005W)
|
Formale Grundlagen 2
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Ralf Hemmecke
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 14.10.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 21.10.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 28.10.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 04.11.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 11.11.2005
|
10:15 -
11:45
|
HS 10 |
|
Fr 11.11.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 18.11.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 25.11.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 25.11.2005
|
11:00 -
11:45
|
HS 2 |
|
Fr 02.12.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 09.12.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 16.12.2005
|
11:00 -
11:45
|
HS 13 |
|
Fr 13.01.2006
|
11:00 -
11:45
|
HS 13 |
|
Fr 13.01.2006
|
11:00 -
11:45
|
HS 2 |
|
Fr 20.01.2006
|
11:00 -
11:45
|
HS 13 |
|
Fr 27.01.2006
|
11:00 -
11:45
|
HS 13 |
|
|
|
|
326.945 (2005W)
|
Formale Grundlagen 2
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Ralf Hemmecke
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 14.10.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 21.10.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 28.10.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 04.11.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 11.11.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 18.11.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 25.11.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 02.12.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 09.12.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 16.12.2005
|
10:15 -
11:00
|
HS 13 |
|
Fr 13.01.2006
|
10:15 -
11:00
|
HS 13 |
|
Fr 20.01.2006
|
10:15 -
11:00
|
HS 13 |
|
Fr 27.01.2006
|
10:15 -
11:00
|
HS 13 |
|
|
|
|
326.947 (2005W)
|
Formale Grundlagen 2
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 14.10.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 21.10.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 28.10.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 04.11.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 11.11.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 18.11.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 25.11.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 02.12.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 09.12.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 16.12.2005
|
11:00 -
11:45
|
K 033C |
|
Fr 13.01.2006
|
11:00 -
11:45
|
K 033C |
|
Fr 20.01.2006
|
11:00 -
11:45
|
K 033C |
|
Fr 27.01.2006
|
11:00 -
11:45
|
K 033C |
|
|
|
|
326.015 (2005W)
|
Informationssysteme
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Gabor Bodnar
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 03.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 10.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 17.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 24.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 31.10.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 07.11.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 14.11.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 21.11.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 28.11.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 05.12.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 12.12.2005
|
12:00 -
13:30
|
HS 12 |
|
Mo 09.01.2006
|
12:00 -
13:30
|
HS 12 |
|
Mo 16.01.2006
|
12:00 -
13:30
|
HS 12 |
|
Mo 23.01.2006
|
12:00 -
13:30
|
HS 12 |
|
Mo 30.01.2006
|
12:00 -
13:30
|
HS 12 |
|
|
|
|
326.028 (2005W)
|
Logisches Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Teimuraz Kutsia
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 05.10.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 12.10.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 19.10.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 09.11.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 16.11.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 23.11.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 30.11.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 07.12.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 14.12.2005
|
16:15 -
18:00
|
T 212 |
|
Mi 11.01.2006
|
16:15 -
18:00
|
T 212 |
|
Mi 18.01.2006
|
16:15 -
18:00
|
T 212 |
|
Mi 25.01.2006
|
16:15 -
18:00
|
T 212 |
|
|
|
|
326.019 (2005W)
|
Mathematische Logik 1
Weitere Infos
|
Anmelden
|
VO |
4,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 13.10.2005
|
08:30 -
10:00
|
HS6 |
|
Do 13.10.2005
|
08:30 -
11:45
|
K 033C |
|
Do 20.10.2005
|
08:30 -
10:00
|
HS6 |
|
Do 20.10.2005
|
08:30 -
11:45
|
K 033C |
|
Do 27.10.2005
|
08:30 -
10:00
|
HS6 |
|
Do 27.10.2005
|
08:30 -
11:45
|
K 033C |
|
Do 03.11.2005
|
08:30 -
10:00
|
HS6 |
|
Do 03.11.2005
|
08:30 -
11:45
|
K 033C |
|
Do 10.11.2005
|
08:30 -
10:00
|
HS6 |
|
Do 10.11.2005
|
08:30 -
11:45
|
K 033C |
|
Do 17.11.2005
|
08:30 -
10:00
|
HS6 |
|
Do 17.11.2005
|
08:30 -
11:45
|
K 033C |
|
Do 24.11.2005
|
08:30 -
10:00
|
HS6 |
|
Do 24.11.2005
|
08:30 -
11:45
|
K 033C |
|
Do 01.12.2005
|
08:30 -
10:00
|
HS6 |
|
Do 01.12.2005
|
08:30 -
11:45
|
K 033C |
|
Do 15.12.2005
|
08:30 -
10:00
|
HS6 |
|
Do 15.12.2005
|
08:30 -
11:45
|
K 033C |
|
Do 12.01.2006
|
08:30 -
11:45
|
K 033C |
|
Do 19.01.2006
|
08:30 -
11:45
|
K 033C |
|
Do 26.01.2006
|
08:30 -
11:45
|
K 033C |
|
|
|
|
326.021 (2005W)
|
Mathematische Logik 1
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 13.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 20.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 27.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 03.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 10.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 17.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 24.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 01.12.2005
|
12:00 -
13:30
|
K 033C |
|
Do 15.12.2005
|
12:00 -
13:30
|
K 033C |
|
Do 12.01.2006
|
12:00 -
13:30
|
K 033C |
|
Do 19.01.2006
|
12:00 -
13:30
|
K 033C |
|
Do 26.01.2006
|
12:00 -
13:30
|
K 033C |
|
|
|
|
326.000 (2005W)
|
Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 13.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 20.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 27.10.2005
|
12:00 -
13:30
|
K 033C |
|
Do 03.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 10.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 17.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 24.11.2005
|
12:00 -
13:30
|
K 033C |
|
Do 01.12.2005
|
12:00 -
13:30
|
K 033C |
|
Do 15.12.2005
|
12:00 -
13:30
|
K 033C |
|
Do 12.01.2006
|
12:00 -
13:30
|
K 033C |
|
Do 19.01.2006
|
12:00 -
13:30
|
K 033C |
|
Do 26.01.2006
|
12:00 -
13:30
|
K 033C |
|
|
|
|
326.111 (2005W)
|
Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 13.10.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 13.10.2005
|
10:15 -
11:45
|
K 033C |
|
Do 20.10.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 20.10.2005
|
10:15 -
11:45
|
K 033C |
|
Do 27.10.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 27.10.2005
|
10:15 -
11:45
|
K 033C |
|
Do 03.11.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 03.11.2005
|
10:15 -
11:45
|
K 033C |
|
Do 10.11.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 10.11.2005
|
10:15 -
11:45
|
K 033C |
|
Do 17.11.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 17.11.2005
|
10:15 -
11:45
|
K 033C |
|
Do 24.11.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 24.11.2005
|
10:15 -
11:45
|
K 033C |
|
Do 01.12.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 01.12.2005
|
10:15 -
11:45
|
K 033C |
|
Do 15.12.2005
|
08:30 -
10:00
|
HS 6 |
|
Do 15.12.2005
|
10:15 -
11:45
|
K 033C |
|
Do 22.12.2005
|
10:15 -
11:45
|
K 033C |
|
Do 29.12.2005
|
10:15 -
11:45
|
K 033C |
|
Do 12.01.2006
|
08:30 -
10:00
|
HS 6 |
|
Do 19.01.2006
|
08:30 -
10:00
|
HS 6 |
|
Do 26.01.2006
|
08:30 -
10:00
|
HS 6 |
|
|
|
|
326.018 (2005W)
|
Praktische Softwaretechnologie
Weitere Infos
|
Anmelden
|
KV |
4,0 |
Ralf Hemmecke
|
Wöchentlich |
|
|
|
326.049 (2005W)
|
Programmierprojekt Symbolisches Rechnen
Computeralgebra
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Ralf Hemmecke
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 07.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 14.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 21.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 28.10.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 04.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 11.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 18.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 25.11.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 02.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 09.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 16.12.2005
|
12:00 -
13:30
|
HS 10 |
|
Fr 13.01.2006
|
12:00 -
13:30
|
HS 10 |
|
Fr 20.01.2006
|
12:00 -
13:30
|
HS 10 |
|
Fr 27.01.2006
|
12:00 -
13:30
|
HS 10 |
|
|
|
|
326.048 (2005W)
|
Projektpraktikum
Computermathematik
|
Anmelden
|
PR |
10,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.035 (2005W)
|
Projektseminar
Computer-Algebra I
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 13.10.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 20.10.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 27.10.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 03.11.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 10.11.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 17.11.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 24.11.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 01.12.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 15.12.2005
|
14:30 -
16:00
|
HA 105 |
|
Do 12.01.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 19.01.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 26.01.2006
|
14:30 -
16:00
|
HA 105 |
|
|
|
|
326.037 (2005W)
|
Projektseminar
Automatisches Beweisen I (Theorema-Projekt)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich |
|
|
|
326.038 (2005W)
|
Projektseminar
Formale Methoden I
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Wolfgang Schreiner
Franz Lichtenberger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 05.10.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 12.10.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 19.10.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 09.11.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 16.11.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 23.11.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 30.11.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 07.12.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 14.12.2005
|
10:15 -
11:45
|
HA 105 |
|
Mi 11.01.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 18.01.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 25.01.2006
|
10:15 -
11:45
|
HA 105 |
|
|
|
|
326.051 (2005W)
|
Projektseminar
Algorithmische Kombinatorik I
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 05.10.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 12.10.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 19.10.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 09.11.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 16.11.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 23.11.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 30.11.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 07.12.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 14.12.2005
|
14:00 -
15:30
|
HA 105 |
|
Mi 11.01.2006
|
14:00 -
15:30
|
HA 105 |
|
Mi 18.01.2006
|
14:00 -
15:30
|
HA 105 |
|
Mi 25.01.2006
|
14:00 -
15:30
|
HA 105 |
|
|
|
|
326.058 (2005W)
|
Seminar
Set Theory and Logical Foundations I
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
|
|
326.753 (2005W)
|
Seminar
Computer-Algebra I
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.032 (2005W)
|
Spezialvorlesung
Homologische Algebra
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Günter Landsmann
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 08.11.2005
|
08:30 -
10:00
|
K 223B |
|
Di 15.11.2005
|
08:30 -
10:00
|
K 223B |
|
Di 22.11.2005
|
08:30 -
10:00
|
K 223B |
|
Di 29.11.2005
|
08:30 -
10:00
|
K 223B |
|
Di 06.12.2005
|
08:30 -
10:00
|
K 223B |
|
Di 13.12.2005
|
08:30 -
10:00
|
K 223B |
|
Di 10.01.2006
|
08:30 -
10:00
|
K 223B |
|
Di 17.01.2006
|
08:30 -
10:00
|
K 223B |
|
Di 24.01.2006
|
08:30 -
10:00
|
K 223B |
|
Di 31.01.2006
|
08:30 -
10:00
|
K 223B |
|
|
|
|
326.054 (2005W)
|
Spezialvorlesung
Symbolische Summation I
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 05.10.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 12.10.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 19.10.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 09.11.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 16.11.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 23.11.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 30.11.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 07.12.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 14.12.2005
|
16:00 -
17:30
|
HA 105 |
|
Mi 11.01.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 18.01.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 25.01.2006
|
16:00 -
17:30
|
HA 105 |
|
|
|
|
326.063 (2005W)
|
Spezialvorlesung
Spezifikation Abstrakter Datentypen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 06.10.2005
|
17:15 -
18:45
|
T 041 |
|
Do 13.10.2005
|
17:15 -
18:45
|
T 041 |
|
Do 20.10.2005
|
17:15 -
18:45
|
T 041 |
|
Do 27.10.2005
|
17:15 -
18:45
|
T 041 |
|
Do 03.11.2005
|
17:15 -
18:45
|
T 041 |
|
Do 10.11.2005
|
17:15 -
18:45
|
T 041 |
|
Do 17.11.2005
|
17:15 -
18:45
|
T 041 |
|
Do 24.11.2005
|
17:15 -
18:45
|
T 041 |
|
Do 01.12.2005
|
17:15 -
18:45
|
T 041 |
|
Do 15.12.2005
|
17:15 -
18:45
|
T 041 |
|
Do 12.01.2006
|
17:15 -
18:45
|
T 041 |
|
Do 19.01.2006
|
17:15 -
18:45
|
T 041 |
|
Do 26.01.2006
|
17:15 -
18:45
|
T 041 |
|
|
|
|
326.064 (2005W)
|
Spezialvorlesung
Automatisches Beweisen I
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 12.10.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 19.10.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 09.11.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 16.11.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 23.11.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 30.11.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 07.12.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 14.12.2005
|
08:30 -
10:00
|
T 112 |
|
Mi 11.01.2006
|
08:30 -
10:00
|
T 112 |
|
Mi 18.01.2006
|
08:30 -
10:00
|
T 112 |
|
Mi 25.01.2006
|
08:30 -
10:00
|
T 112 |
|
|
|
|
326.065 (2005W)
|
Spezialvorlesung
Symbolic Computation Methods for Functional Analysis
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Markus Rosenkranz
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 10.10.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 17.10.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 24.10.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 31.10.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 07.11.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 21.11.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 28.11.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 05.12.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 12.12.2005
|
10:15 -
11:45
|
HF 9905 |
|
Mo 09.01.2006
|
10:15 -
11:45
|
HF 9905 |
|
Mo 16.01.2006
|
10:15 -
11:45
|
HF 9905 |
|
Mo 23.01.2006
|
10:15 -
11:45
|
HF 9905 |
|
Mo 30.01.2006
|
10:15 -
11:45
|
HF 9905 |
|
|
|
|
326.057 (2005W)
|
Thinking, Speaking, Writing
Understanding and creating mathematical proofs
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 07.10.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 14.10.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 21.10.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 28.10.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 04.11.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 11.11.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 18.11.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 25.11.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 02.12.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 09.12.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 16.12.2005
|
12:45 -
14:15
|
HA 105 |
|
Fr 13.01.2006
|
12:45 -
14:15
|
HA 105 |
|
Fr 20.01.2006
|
12:45 -
14:15
|
HA 105 |
|
Fr 27.01.2006
|
12:45 -
14:15
|
HA 105 |
|
|
|
|
326.066 (2005W)
|
Thinking, Speaking, Writing
Communication of scientific results
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
|
|
326.045 (2005W)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,0 |
Franz Winkler
|
Wöchentlich |
|
|
|