Find below the list of courses offered by RISC-Linz as of 4.8.2006.
LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
326.246 (2006S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 07.03.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 14.03.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 21.03.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 28.03.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 04.04.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 25.04.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 02.05.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 09.05.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 16.05.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 23.05.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 30.05.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 13.06.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 20.06.2006
|
12:00 -
13:30
|
HS 14 |
|
Di 27.06.2006
|
12:00 -
13:30
|
HS 14 |
|
|
|
|
326.248 (2006S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 14.03.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 21.03.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 28.03.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 04.04.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 25.04.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 02.05.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 09.05.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 16.05.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 23.05.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 30.05.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 13.06.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 20.06.2006
|
11:00 -
11:45
|
HS 11 |
|
Di 27.06.2006
|
11:00 -
11:45
|
HS 11 |
|
|
|
|
326.237 (2006S)
|
Computer-Analysis
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 07.03.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 14.03.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 21.03.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 28.03.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 04.04.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 25.04.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 02.05.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 09.05.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 16.05.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 23.05.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 30.05.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 13.06.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 20.06.2006
|
16:15 -
18:00
|
HS 14 |
|
Di 27.06.2006
|
16:15 -
18:00
|
HS 14 |
|
|
|
|
326.052 (2006S)
|
Computersysteme
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 10.03.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 17.03.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 31.03.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 16.06.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 23.06.2006
|
10:15 -
11:45
|
HS 14 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
HS 14 |
|
|
|
|
326.060 (2006S)
|
Diplomanden- und Dissertantenseminar
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
|
Wöchentlich |
|
|
|
326.703 (2006S)
|
Diplomanden- und Dissertantenseminar
Sommer 2006
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.711 (2006S)
|
Diplomanden- und Dissertantenseminar
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
|
|
326.306 (2006S)
|
Entscheidbarkeits- und Komplexitätsklassen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 09.03.2006
|
08:30 -
10:00
|
K 009D |
|
Do 16.03.2006
|
08:30 -
10:00
|
K 009D |
|
Do 23.03.2006
|
08:30 -
10:00
|
K 009D |
|
Do 30.03.2006
|
08:30 -
10:00
|
K 009D |
|
Do 06.04.2006
|
08:30 -
10:00
|
K 009D |
|
Do 27.04.2006
|
08:30 -
10:00
|
K 009D |
|
Do 11.05.2006
|
08:30 -
10:00
|
K 009D |
|
Do 18.05.2006
|
08:30 -
10:00
|
K 009D |
|
Do 01.06.2006
|
08:30 -
10:00
|
K 009D |
|
Do 08.06.2006
|
08:30 -
10:00
|
K 009D |
|
Do 22.06.2006
|
08:30 -
10:00
|
K 009D |
|
Do 29.06.2006
|
08:30 -
10:00
|
K 009D |
|
|
|
|
326.053 (2006S)
|
Formale Methoden in der Software-Entwicklung
Weitere Infos
|
Anmelden
|
KV |
4,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 09.03.2006
|
08:30 -
11:45
|
P 215 |
|
Do 16.03.2006
|
08:30 -
11:45
|
P 215 |
|
Do 23.03.2006
|
08:30 -
11:45
|
P 215 |
|
Do 30.03.2006
|
08:30 -
11:45
|
P 215 |
|
Do 06.04.2006
|
08:30 -
11:45
|
P 215 |
|
Do 27.04.2006
|
08:30 -
11:45
|
P 215 |
|
Do 11.05.2006
|
08:30 -
11:45
|
P 215 |
|
Do 18.05.2006
|
08:30 -
11:45
|
P 215 |
|
Do 01.06.2006
|
08:30 -
11:45
|
P 215 |
|
Do 08.06.2006
|
08:30 -
11:45
|
P 215 |
|
Do 22.06.2006
|
08:30 -
11:45
|
P 215 |
|
Do 29.06.2006
|
08:30 -
11:45
|
P 215 |
|
Do 06.07.2006
|
08:30 -
11:45
|
P 215 |
|
|
|
|
326.516 (2006S)
|
Funktionales Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 01.03.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 08.03.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 22.03.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 29.03.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 05.04.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 26.04.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 03.05.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 10.05.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 17.05.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 24.05.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 31.05.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 07.06.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 14.06.2006
|
16:15 -
18:00
|
KG 712 |
|
Mi 21.06.2006
|
16:15 -
18:00
|
KG 712 |
|
|
|
|
326.212 (2006S)
|
Kommutative Algebra und Algebraische Geometrie
Weitere Infos
|
Anmelden
|
VO |
4,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 07.03.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 10.03.2006
|
10:15 -
11:45
|
T 211 |
|
Di 14.03.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 17.03.2006
|
10:15 -
11:45
|
T 211 |
|
Di 21.03.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 24.03.2006
|
10:15 -
11:45
|
T 211 |
|
Di 28.03.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 31.03.2006
|
10:15 -
11:45
|
T 211 |
|
Di 04.04.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 07.04.2006
|
10:15 -
11:45
|
T 211 |
|
Di 25.04.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 28.04.2006
|
10:15 -
11:45
|
T 211 |
|
Di 02.05.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 05.05.2006
|
10:15 -
11:45
|
T 211 |
|
Di 09.05.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 12.05.2006
|
10:15 -
11:45
|
T 211 |
|
Di 16.05.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 19.05.2006
|
10:15 -
11:45
|
T 211 |
|
Di 23.05.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 26.05.2006
|
10:15 -
11:45
|
T 211 |
|
Di 30.05.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 02.06.2006
|
10:15 -
11:45
|
T 211 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
T 211 |
|
Di 13.06.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 16.06.2006
|
10:15 -
11:45
|
T 211 |
|
Di 20.06.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 23.06.2006
|
10:15 -
11:45
|
T 211 |
|
Di 27.06.2006
|
14:30 -
16:15
|
K 123A |
|
Fr 30.06.2006
|
10:15 -
11:45
|
T 211 |
|
|
|
|
326.214 (2006S)
|
Kommutative Algebra und Algebraische Geometrie
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 14.03.2006
|
13:45 -
14:30
|
K 123A |
|
Di 21.03.2006
|
13:45 -
14:30
|
K 123A |
|
Di 28.03.2006
|
13:45 -
14:30
|
K 123A |
|
Di 04.04.2006
|
13:45 -
14:30
|
K 123A |
|
Di 25.04.2006
|
13:45 -
14:30
|
K 123A |
|
Di 02.05.2006
|
13:45 -
14:30
|
K 123A |
|
Di 09.05.2006
|
13:45 -
14:30
|
K 123A |
|
Di 16.05.2006
|
13:45 -
14:30
|
K 123A |
|
Di 23.05.2006
|
13:45 -
14:30
|
K 123A |
|
Di 30.05.2006
|
13:45 -
14:30
|
K 123A |
|
Di 13.06.2006
|
13:45 -
14:30
|
K 123A |
|
Di 20.06.2006
|
13:45 -
14:30
|
K 123A |
|
Di 27.06.2006
|
13:45 -
14:30
|
K 123A |
|
|
|
|
368.106 (2006S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 06.03.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 13.03.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 20.03.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 27.03.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 03.04.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 24.04.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 08.05.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 15.05.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 22.05.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 29.05.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 12.06.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 19.06.2006
|
08:30 -
10:00
|
HS 17 |
|
Mo 26.06.2006
|
08:30 -
10:00
|
HS 17 |
|
|
|
|
326.014 (2006S)
|
Logik als Arbeitssprache
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Markus Rosenkranz
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 07.03.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 14.03.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 21.03.2006
|
12:00 -
13:30
|
HS 11 |
|
Do 23.03.2006
|
12:00 -
13:30
|
T 211 |
|
Di 04.04.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 25.04.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 02.05.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 09.05.2006
|
12:00 -
13:30
|
HS 5 |
|
Di 16.05.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 23.05.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 30.05.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 13.06.2006
|
12:00 -
13:30
|
HS 11 |
|
Di 20.06.2006
|
12:00 -
13:30
|
HS 11 |
|
Fr 23.06.2006
|
12:00 -
13:30
|
HS 14 |
|
|
|
|
326.055 (2006S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Georg Regensburger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 17.03.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
HS 13 |
|
Mi 05.04.2006
|
17:15 -
18:45
|
HS 13 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
HS 13 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
HS 13 |
|
Mi 14.06.2006
|
17:15 -
18:45
|
HS 13 |
|
Mi 21.06.2006
|
17:15 -
18:45
|
HS 13 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
HS 13 |
|
|
|
|
326.056 (2006S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Tobias Beck
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 17.03.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 31.03.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 16.06.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 23.06.2006
|
10:15 -
11:45
|
T 111 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
T 111 |
|
|
|
|
326.915 (2006S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
VO |
3,0 |
Josef Schicho
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 08.03.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 10.03.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 15.03.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 17.03.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 22.03.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 24.03.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 29.03.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 31.03.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 05.04.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 07.04.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 26.04.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 28.04.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 03.05.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 05.05.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 10.05.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 12.05.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 17.05.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 19.05.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 24.05.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 26.05.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 31.05.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 02.06.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 07.06.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 09.06.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 14.06.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 16.06.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 21.06.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 23.06.2006
|
08:30 -
10:00
|
HS 10 |
|
Mi 28.06.2006
|
09:15 -
10:00
|
HS 10 |
|
Fr 30.06.2006
|
08:30 -
10:00
|
HS 10 |
|
Mo 03.07.2006
|
10:00 -
12:00
|
HS 16 |
|
|
|
|
326.925 (2006S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Manuel Kauers
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 17.03.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 31.03.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 16.06.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 23.06.2006
|
10:15 -
11:45
|
BA 9910 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
BA 9910 |
|
|
|
|
326.927 (2006S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Gabor Bodnar
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 17.03.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 31.03.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 16.06.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 23.06.2006
|
10:15 -
11:45
|
HS 12 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
HS 12 |
|
|
|
|
326.049 (2006S)
|
Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Ralf Hemmecke
|
Wöchentlich |
|
|
|
326.035 (2006S)
|
Projektseminar
Computer-Algebra II Sommer 2006
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 16.03.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 23.03.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 30.03.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 06.04.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 27.04.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 11.05.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 18.05.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 01.06.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 08.06.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 22.06.2006
|
14:30 -
16:00
|
HA 105 |
|
Do 29.06.2006
|
14:30 -
16:00
|
HA 105 |
|
|
|
|
326.037 (2006S)
|
Projektseminar
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich |
|
|
|
326.038 (2006S)
|
Projektseminar
Formale Methoden II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Wolfgang Schreiner
Franz Lichtenberger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 01.03.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 08.03.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 15.03.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 22.03.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 29.03.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 05.04.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 26.04.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 03.05.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 10.05.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 17.05.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 24.05.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 31.05.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 07.06.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 14.06.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 21.06.2006
|
10:15 -
11:45
|
HA 105 |
|
Mi 28.06.2006
|
10:15 -
11:45
|
HA 105 |
|
|
|
|
326.051 (2006S)
|
Projektseminar
Algorithmische Kombinatorik II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 15.03.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 22.03.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 29.03.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 05.04.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 26.04.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 03.05.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 10.05.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 17.05.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 24.05.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 31.05.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 07.06.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 14.06.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 21.06.2006
|
13:45 -
15:15
|
HA 105 |
|
Mi 28.06.2006
|
13:45 -
15:15
|
HA 105 |
|
|
|
|
326.058 (2006S)
|
Seminar
Set Theory and Logical Foundations II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
|
|
326.753 (2006S)
|
Seminar
Computer-Algebra II Sommer 2006
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.016 (2006S)
|
Software Engineering
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Petru Pau
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 07.03.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 14.03.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 21.03.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 28.03.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 04.04.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 25.04.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 02.05.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 09.05.2006
|
16:15 -
17:45
|
ESH 1 |
|
Di 16.05.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 23.05.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 30.05.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 13.06.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 20.06.2006
|
16:15 -
17:45
|
ESH 2 |
|
Di 27.06.2006
|
16:15 -
17:45
|
ESH 2 |
|
|
|
|
326.029 (2006S)
|
Spezialvorlesung
Symbolische Summation II
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 08.03.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 15.03.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 22.03.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 29.03.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 05.04.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 26.04.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 03.05.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 10.05.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 17.05.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 24.05.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 31.05.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 07.06.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 14.06.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 21.06.2006
|
16:00 -
17:30
|
HA 105 |
|
Mi 28.06.2006
|
16:00 -
17:30
|
HA 105 |
|
|
|
|
326.043 (2006S)
|
Spezialvorlesung
Beweistheorie
|
Anmelden
|
VO |
2,0 |
Mathias Baaz
|
Blocktermin |
|
|
|
326.068 (2006S)
|
Spezialvorlesung
Parallel Algorithms in Symbolic Computation
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 10.03.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 17.03.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 24.03.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 31.03.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 07.04.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 28.04.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 05.05.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 12.05.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 19.05.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 26.05.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 02.06.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 09.06.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 16.06.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 23.06.2006
|
10:15 -
11:45
|
KG 712 |
|
Fr 30.06.2006
|
10:15 -
11:45
|
KG 712 |
|
|
|
|
326.069 (2006S)
|
Spezialvorlesung
Kategorientheorie fuer Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Günter Landsmann
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 08.03.2006
|
10:15 -
11:00
|
K223B |
Vorbesprechung |
Mi 08.03.2006
|
10:15 -
11:45
|
K 223B |
|
Mi 15.03.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 22.03.2006
|
10:15 -
11:45
|
K 009D |
|
Mi 29.03.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 05.04.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 26.04.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 03.05.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 10.05.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 17.05.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 24.05.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 31.05.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 07.06.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 14.06.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 21.06.2006
|
10:15 -
11:45
|
J 311B |
|
Mi 28.06.2006
|
10:15 -
11:45
|
J 311B |
|
|
|
|
326.070 (2006S)
|
Spezialvorlesung
Automatisches Beweisen II
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 09.03.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 16.03.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 23.03.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 30.03.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 06.04.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 27.04.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 11.05.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 18.05.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 01.06.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 08.06.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 22.06.2006
|
10:15 -
11:45
|
HT 177F |
|
Do 29.06.2006
|
10:15 -
11:45
|
HT 177F |
|
|
|
|
326.045 (2006S)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,0 |
Franz Winkler
|
Wöchentlich |
|
|
|