Find below the list of courses offered by RISC-Linz as of 31.7.2007.
LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
326.300 (2007S)
|
Algebraische und diskrete Methoden der Biologie
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Schreiner
Tudor Jebelean
Wolfgang Windsteiger
Teimuraz Kutsia
Manuel Kauers
Stephan Dreiseitl
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 15.03.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 22.03.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 29.03.2007
|
13:45 -
15:15
|
BA 9907 |
|
Do 19.04.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 26.04.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 03.05.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 10.05.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 24.05.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 31.05.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 14.06.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 21.06.2007
|
13:45 -
15:15
|
HS 12 |
|
Do 28.06.2007
|
13:45 -
15:15
|
HS 12 |
|
|
|
|
326.246 (2007S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 06.03.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 13.03.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 20.03.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 27.03.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 17.04.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 24.04.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 08.05.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 15.05.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 22.05.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 05.06.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 12.06.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 19.06.2007
|
12:00 -
13:30
|
HS 14 |
|
Di 26.06.2007
|
12:00 -
13:30
|
HS 14 |
|
|
|
|
326.248 (2007S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 13.03.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 20.03.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 27.03.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 17.04.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 24.04.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 08.05.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 15.05.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 22.05.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 05.06.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 12.06.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 19.06.2007
|
11:00 -
11:45
|
HS 11 |
|
Di 26.06.2007
|
11:00 -
11:45
|
HS 11 |
|
|
|
|
326.052 (2007S)
|
Computersysteme
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 16.03.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 23.03.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 30.03.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 20.04.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 27.04.2007
|
10:15 -
11:45
|
HS 3 |
|
Fr 11.05.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 25.05.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 01.06.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 08.06.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 15.06.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 22.06.2007
|
10:15 -
11:45
|
BA 9911 |
|
Fr 29.06.2007
|
10:15 -
11:45
|
BA 9911 |
|
|
|
|
326.274 (2007S)
|
Eliminationstheorie
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Günter Landsmann
|
Wöchentlich |
|
|
|
326.053 (2007S)
|
Formale Methoden in der Software-Entwicklung
Weitere Infos
|
Anmelden
|
KV |
4,0 |
Wolfgang Schreiner
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
08:30 -
11:45
|
T 911 |
|
Do 15.03.2007
|
08:30 -
11:45
|
T 911 |
|
Do 22.03.2007
|
08:30 -
11:45
|
T 911 |
|
Do 29.03.2007
|
08:30 -
11:45
|
T 911 |
|
Do 19.04.2007
|
08:30 -
11:45
|
T 911 |
|
Do 26.04.2007
|
08:30 -
11:45
|
T 911 |
|
Do 03.05.2007
|
08:30 -
11:45
|
T 911 |
|
Do 10.05.2007
|
08:30 -
11:45
|
T 911 |
|
Do 24.05.2007
|
08:30 -
11:45
|
T 911 |
|
Do 31.05.2007
|
08:30 -
11:45
|
T 911 |
|
Do 14.06.2007
|
08:30 -
11:45
|
T 911 |
|
Do 21.06.2007
|
08:30 -
11:45
|
T 911 |
|
Do 28.06.2007
|
08:30 -
11:45
|
T 911 |
|
Di 10.07.2007
|
08:30 -
10:00
|
T 112 |
|
|
|
|
326.516 (2007S)
|
Funktionales Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Tudor Jebelean
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 16.03.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 23.03.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 20.04.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 27.04.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 11.05.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 25.05.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 08.06.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 15.06.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 22.06.2007
|
10:15 -
11:45
|
T 642 |
|
Fr 29.06.2007
|
10:15 -
11:45
|
T 642 |
|
|
|
|
326.001 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
VO |
5,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 06.03.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 07.03.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 08.03.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 13.03.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 14.03.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 15.03.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 20.03.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 21.03.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 22.03.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 27.03.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 28.03.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 29.03.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 17.04.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 18.04.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 19.04.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 24.04.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 25.04.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 26.04.2007
|
10:15 -
11:45
|
HS 7 |
|
Mi 02.05.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 03.05.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 08.05.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 09.05.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 10.05.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 15.05.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 16.05.2007
|
10:15 -
11:45
|
HS 9 |
|
Di 22.05.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 23.05.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 24.05.2007
|
10:15 -
11:45
|
HS 7 |
|
Mi 30.05.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 31.05.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 05.06.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 06.06.2007
|
10:15 -
11:45
|
HS 9 |
|
Di 12.06.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 13.06.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 14.06.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 19.06.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 20.06.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 21.06.2007
|
10:15 -
11:45
|
HS 7 |
|
Di 26.06.2007
|
09:15 -
10:00
|
HS 9 |
|
Mi 27.06.2007
|
10:15 -
11:45
|
HS 9 |
|
Do 28.06.2007
|
10:15 -
11:45
|
HS 7 |
|
Do 28.06.2007
|
12:00 -
13:30
|
HS 7 |
|
|
|
|
326.003 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Marcel Oliver Widi
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 05.03.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 12.03.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 19.03.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 26.03.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 16.04.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 23.04.2007
|
08:30 -
10:00
|
HS 14 |
|
Fr 27.04.2007
|
13:45 -
15:15
|
HS 16 |
|
Fr 27.04.2007
|
13:45 -
15:15
|
HS 15 |
|
Mo 30.04.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 07.05.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 14.05.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 21.05.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 04.06.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 11.06.2007
|
08:30 -
10:00
|
HS 14 |
|
Do 14.06.2007
|
15:30 -
17:00
|
HS 16 |
|
Do 14.06.2007
|
15:30 -
17:00
|
HS 15 |
|
Mo 18.06.2007
|
08:30 -
10:00
|
HS 14 |
|
Mo 25.06.2007
|
08:30 -
10:00
|
HS 14 |
|
|
|
|
326.004 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Gerhard Wendt
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 05.03.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 12.03.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 19.03.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 26.03.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 16.04.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 23.04.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 30.04.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 07.05.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 14.05.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 21.05.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 04.06.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 11.06.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 18.06.2007
|
08:30 -
10:00
|
K 033C |
|
Mo 25.06.2007
|
08:30 -
10:00
|
K 033C |
|
|
|
|
326.092 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Manuel Kauers
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 05.03.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 12.03.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 19.03.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 26.03.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 16.04.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 23.04.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 30.04.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 07.05.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 14.05.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 21.05.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 04.06.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 11.06.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 18.06.2007
|
08:30 -
10:00
|
BA 9912 |
|
Mo 25.06.2007
|
08:30 -
10:00
|
BA 9912 |
|
|
|
|
326.093 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Günter Landsmann
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 05.03.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 12.03.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 19.03.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 26.03.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 16.04.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 23.04.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 30.04.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 07.05.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 14.05.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 21.05.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 04.06.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 11.06.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 18.06.2007
|
08:30 -
10:00
|
BA 9908 |
|
Mo 25.06.2007
|
08:30 -
10:00
|
BA 9908 |
|
|
|
|
326.094 (2007S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
KO |
2,0 |
Günter Landsmann
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mo 05.03.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 12.03.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 19.03.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 26.03.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 16.04.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 23.04.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 30.04.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 07.05.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 14.05.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 21.05.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 04.06.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 11.06.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 18.06.2007
|
13:45 -
15:15
|
HS 9 |
|
Mo 25.06.2007
|
13:45 -
15:15
|
HS 9 |
|
|
|
|
326.014 (2007S)
|
Logik als Arbeitssprache
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 06.03.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 13.03.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 20.03.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 27.03.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 17.04.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 24.04.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 08.05.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 15.05.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 22.05.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 05.06.2007
|
10:15 -
13:30
|
K 033C |
|
Di 12.06.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 19.06.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 26.06.2007
|
12:00 -
13:30
|
HS 13 |
|
Di 17.07.2007
|
18:00 -
20:30
|
HS 6 |
|
Di 25.09.2007
|
18:00 -
20:30
|
HS 6 |
|
|
|
|
326.082 (2007S)
|
Magister- und Dissertantenseminar
Summer 2007
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.083 (2007S)
|
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
|
|
326.086 (2007S)
|
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
|
Wöchentlich |
|
|
|
326.055 (2007S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Georg Regensburger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 16.03.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 23.03.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 30.03.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 20.04.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 27.04.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 11.05.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 25.05.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 01.06.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 08.06.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 15.06.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 22.06.2007
|
10:15 -
11:45
|
HS 13 |
|
Fr 29.06.2007
|
10:15 -
11:45
|
HS 13 |
|
|
|
|
326.056 (2007S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Flavia Stan
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 16.03.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 23.03.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 30.03.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 20.04.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 27.04.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 11.05.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 25.05.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 01.06.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 08.06.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 15.06.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 22.06.2007
|
10:15 -
11:45
|
K 269D |
|
Fr 29.06.2007
|
10:15 -
11:45
|
K 269D |
|
|
|
|
326.915 (2007S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
VO |
3,0 |
Josef Schicho
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 07.03.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 09.03.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 14.03.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 16.03.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 21.03.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 23.03.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 28.03.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 30.03.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 18.04.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 20.04.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 25.04.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 27.04.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 02.05.2007
|
09:15 -
10:00
|
HS 10 |
|
Mi 09.05.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 11.05.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 16.05.2007
|
09:15 -
10:00
|
HS 10 |
|
Mi 23.05.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 25.05.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 30.05.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 01.06.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 06.06.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 08.06.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 13.06.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 15.06.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 20.06.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 22.06.2007
|
08:30 -
10:00
|
HS 10 |
|
Mi 27.06.2007
|
09:15 -
10:00
|
HS 10 |
|
Fr 29.06.2007
|
08:30 -
10:00
|
HS 10 |
|
Fr 06.07.2007
|
10:00 -
12:00
|
HS 15 |
|
|
|
|
326.925 (2007S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Manuel Kauers
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 16.03.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 23.03.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 30.03.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 20.04.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 27.04.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 11.05.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 25.05.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 01.06.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 08.06.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 15.06.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 22.06.2007
|
10:15 -
11:45
|
BA 9910 |
|
Fr 29.06.2007
|
10:15 -
11:45
|
BA 9910 |
|
|
|
|
326.927 (2007S)
|
Mathematik 1 (Analysis)
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Christoph Koutschan
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Fr 09.03.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 16.03.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 23.03.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 30.03.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 20.04.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 27.04.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 11.05.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 25.05.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 01.06.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 08.06.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 15.06.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 22.06.2007
|
10:15 -
11:45
|
HS 12 |
|
Fr 29.06.2007
|
10:15 -
11:45
|
HS 12 |
|
|
|
|
326.059 (2007S)
|
Mathematische Logik 2
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
08:30 -
10:00
|
K 009D |
|
Do 15.03.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 22.03.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 29.03.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 19.04.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 26.04.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 03.05.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 10.05.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 24.05.2007
|
08:30 -
09:15
|
HS 11 |
|
Do 24.05.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 31.05.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 14.06.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 21.06.2007
|
09:15 -
11:00
|
HS 11 |
|
Do 28.06.2007
|
09:15 -
11:00
|
HS 11 |
|
|
|
|
326.258 (2007S)
|
Programmieren in Mathematica
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 07.03.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 14.03.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 21.03.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 28.03.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 18.04.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 25.04.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 02.05.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 09.05.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 16.05.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 23.05.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 30.05.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 06.06.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 13.06.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 20.06.2007
|
14:30 -
16:15
|
KG 419 |
|
Mi 27.06.2007
|
14:30 -
16:15
|
KG 419 |
|
|
|
|
326.049 (2007S)
|
Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Ralf Hemmecke
|
Wöchentlich |
|
|
|
326.792 (2007S)
|
Projektpraktikum
Computermathematik
Weitere Infos
|
Anmelden
|
PR |
10,0 |
Franz Winkler
|
Wöchentlich |
|
|
|
326.035 (2007S)
|
Projektseminar
Computer-Algebra II Sommer 2007
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 15.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 22.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 29.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 19.04.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 26.04.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 03.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 10.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 24.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 31.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 14.06.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 21.06.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 28.06.2007
|
14:30 -
16:00
|
HA 105 |
|
|
|
|
326.096 (2007S)
|
Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 07.03.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 14.03.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 21.03.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 28.03.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 18.04.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 25.04.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 02.05.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 09.05.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 16.05.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 23.05.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 30.05.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 06.06.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 13.06.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 20.06.2007
|
13:45 -
15:15
|
HA 105 |
|
Mi 27.06.2007
|
13:45 -
15:15
|
HA 105 |
|
|
|
|
326.098 (2007S)
|
Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II (Theorema-Projekt)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich |
|
|
|
326.099 (2007S)
|
Projektseminar (mit semesterweise wechselndem Inhalt)
Formale Methoden II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Wolfgang Schreiner
Franz Lichtenberger
|
Wöchentlich |
|
|
|
326.007 (2007S)
|
Rewriting in Computer Science und Logik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 06.03.2007
|
16:15 -
17:45
|
T 112 |
|
Di 13.03.2007
|
16:15 -
17:45
|
T 112 |
|
Di 20.03.2007
|
16:15 -
17:45
|
T 112 |
|
Di 27.03.2007
|
16:15 -
17:45
|
T 112 |
|
Di 17.04.2007
|
16:15 -
17:45
|
T 112 |
|
Di 24.04.2007
|
16:15 -
17:45
|
T 112 |
|
Di 08.05.2007
|
16:15 -
17:45
|
T 112 |
|
Di 15.05.2007
|
16:15 -
17:45
|
T 112 |
|
Di 22.05.2007
|
16:15 -
17:45
|
T 112 |
|
Di 05.06.2007
|
16:15 -
17:45
|
T 112 |
|
Di 12.06.2007
|
16:15 -
17:45
|
T 112 |
|
Di 19.06.2007
|
16:15 -
17:45
|
T 112 |
|
Di 26.06.2007
|
16:15 -
17:45
|
T 112 |
|
|
|
|
326.753 (2007S)
|
Seminar
Computer-Algebra II Sommer 2007
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 15.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 22.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 29.03.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 19.04.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 26.04.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 03.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 10.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 24.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 31.05.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 14.06.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 21.06.2007
|
14:30 -
16:00
|
HA 105 |
|
Do 28.06.2007
|
14:30 -
16:00
|
HA 105 |
|
|
|
|
326.077 (2007S)
|
Seminar (mit semesterweise wechselndem Inhalt)
Computability and Complexity II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
|
|
|
326.016 (2007S)
|
Software Engineering
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Petru Pau
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Di 06.03.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 13.03.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 20.03.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 27.03.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 17.04.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 24.04.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 08.05.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 15.05.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 22.05.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 05.06.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 12.06.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 19.06.2007
|
16:15 -
18:00
|
HS 14 |
|
Di 26.06.2007
|
16:15 -
18:00
|
HS 14 |
|
|
|
|
326.043 (2007S)
|
Spezialvorlesung
Beweistheorie
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Mathias Baaz
|
Blocktermin |
|
|
|
326.095 (2007S)
|
Spezialvorlesung
Special Functions II
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Mi 07.03.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 14.03.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 21.03.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 28.03.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 18.04.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 25.04.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 02.05.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 09.05.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 16.05.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 23.05.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 30.05.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 06.06.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 13.06.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 20.06.2007
|
16:00 -
17:30
|
HA 105 |
|
Mi 27.06.2007
|
16:00 -
17:30
|
HA 105 |
|
|
|
|
326.097 (2007S)
|
Spezialvorlesung
Automatische Beweissysteme
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Teimuraz Kutsia
|
Wöchentlich |
|
|
|
326.302 (2007S)
|
Spezialvorlesung
Symbolische Lineare Algebra
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Carsten Schneider
|
Wöchentlich |
|
Datum |
Zeit |
Ort |
Thema |
Do 08.03.2007
|
12:00 -
13:30
|
BA 9907 |
|
Do 15.03.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 22.03.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 29.03.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 19.04.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 26.04.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 03.05.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 10.05.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 24.05.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 31.05.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 14.06.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 21.06.2007
|
16:15 -
18:00
|
HS 11 |
|
Do 28.06.2007
|
12:00 -
13:30
|
HF 9904 |
|
Do 28.06.2007
|
16:15 -
18:00
|
HS 11 |
|
|
|
|
326.045 (2007S)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,0 |
Franz Winkler
|
Wöchentlich |
|
|
|