Find below the list of courses offered by RISC-Linz as of 31.1.2011.
| LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
|
326.011 (2010W)
|
Algorithmen und Datenstrukturen
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Carsten Schneider
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 21.10.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 28.10.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 04.11.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 11.11.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 18.11.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 25.11.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 02.12.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 09.12.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 16.12.2010 |
08:30 - 10:00
|
T 111 |
|
| Do 13.01.2011 |
08:30 - 10:00
|
T 111 |
|
| Do 20.01.2011 |
08:30 - 10:00
|
T 111 |
|
| Do 27.01.2011 |
08:30 - 10:00
|
T 111 |
|
| Mo 21.02.2011 |
10:00 - 12:00
|
HS 4 |
|
|
|
|
|
326.002 (2010W)
|
Algorithmische Methoden 1
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Wolfgang Windsteiger
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 05.10.2010 |
12:00 - 13:30
|
HS 3 |
|
| Di 12.10.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 14.10.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 18.10.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 19.10.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 21.10.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 25.10.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Do 28.10.2010 |
15:30 - 16:15
|
HT 177F |
|
| Do 04.11.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 08.11.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 09.11.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 11.11.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 15.11.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 16.11.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 18.11.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 22.11.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 23.11.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 25.11.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 29.11.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 30.11.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 02.12.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 06.12.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 07.12.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 09.12.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 13.12.2010 |
13:45 - 14:30
|
MZ 005B |
|
| Di 14.12.2010 |
12:00 - 13:30
|
HS 3 |
|
| Do 16.12.2010 |
15:30 - 16:15
|
HT 177F |
|
| Mo 10.01.2011 |
13:45 - 14:30
|
MZ 005B |
|
| Di 11.01.2011 |
12:00 - 13:30
|
HS 3 |
|
| Do 13.01.2011 |
15:30 - 16:15
|
HT 177F |
|
| Mo 17.01.2011 |
13:45 - 14:30
|
MZ 005B |
|
| Di 18.01.2011 |
12:00 - 13:30
|
HS 3 |
|
| Do 20.01.2011 |
15:30 - 16:15
|
HT 177F |
|
| Mo 24.01.2011 |
13:45 - 14:30
|
MZ 005B |
|
| Di 25.01.2011 |
12:00 - 13:30
|
HS 3 |
|
| Do 27.01.2011 |
15:30 - 16:15
|
HT 177F |
|
| Mo 31.01.2011 |
13:45 - 14:30
|
MZ 005B |
|
|
|
|
|
326.022 (2010W)
|
Analysis
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Manuel Kauers
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
12:00 - 13:30
|
HS 1 |
|
| Fr 15.10.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 22.10.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 29.10.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 05.11.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 12.11.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 19.11.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 26.11.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 03.12.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 10.12.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 17.12.2010 |
08:30 - 10:00
|
HS 10 |
|
| Fr 14.01.2011 |
08:30 - 10:00
|
HS 10 |
|
| Fr 21.01.2011 |
08:30 - 10:00
|
HS 10 |
|
| Fr 28.01.2011 |
08:30 - 10:00
|
HS 10 |
|
| Mo 07.02.2011 |
10:15 - 11:45
|
HS 7 |
|
|
|
|
|
326.027 (2010W)
|
Analysis
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Veronika Elisabeth Pillwein
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 21.10.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 28.10.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 04.11.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 11.11.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 18.11.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 25.11.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 02.12.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 09.12.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 16.12.2010 |
15:30 - 17:00
|
T 111 |
|
| Do 13.01.2011 |
15:30 - 17:00
|
T 111 |
|
| Do 20.01.2011 |
15:30 - 17:00
|
T 111 |
|
| Do 27.01.2011 |
15:30 - 17:00
|
T 111 |
|
|
|
|
|
326.029 (2010W)
|
Analysis
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Christoph Koutschan
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 21.10.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 28.10.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 04.11.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 11.11.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 18.11.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 25.11.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 02.12.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 09.12.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 16.12.2010 |
15:30 - 17:00
|
BA 9910 |
|
| Do 13.01.2011 |
15:30 - 17:00
|
BA 9910 |
|
| Do 20.01.2011 |
15:30 - 17:00
|
BA 9910 |
|
| Do 27.01.2011 |
15:30 - 17:00
|
BA 9910 |
|
|
|
|
|
326.055 (2010W)
|
Analysis
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Maximilian Thomas Jaroschek
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 21.10.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 28.10.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 04.11.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 11.11.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 18.11.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 25.11.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 02.12.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 09.12.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 16.12.2010 |
15:30 - 17:00
|
HS 13 |
|
| Do 13.01.2011 |
15:30 - 17:00
|
HS 13 |
|
| Do 20.01.2011 |
15:30 - 17:00
|
HS 13 |
|
| Do 27.01.2011 |
15:30 - 17:00
|
HS 13 |
|
|
|
|
|
326.012 (2010W)
|
Analytische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Peter Paule
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 05.10.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 12.10.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 19.10.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 09.11.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 16.11.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 23.11.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 30.11.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 07.12.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 14.12.2010 |
12:00 - 13:30
|
T 211 |
|
| Di 11.01.2011 |
12:00 - 13:30
|
T 211 |
|
| Di 18.01.2011 |
12:00 - 13:30
|
T 211 |
|
| Di 25.01.2011 |
12:00 - 13:30
|
T 211 |
|
|
|
|
|
326.042 (2010W)
|
Analytische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Veronika Elisabeth Pillwein
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 14.10.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 19.10.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 21.10.2010 |
13:45 - 14:30
|
T 111 |
|
| Do 28.10.2010 |
13:45 - 14:30
|
T 111 |
|
| Do 04.11.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 09.11.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 11.11.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 16.11.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 18.11.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 23.11.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 25.11.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 30.11.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 02.12.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 07.12.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 09.12.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 14.12.2010 |
13:45 - 14:30
|
HT 177F |
|
| Do 16.12.2010 |
13:45 - 14:30
|
T 111 |
|
| Di 11.01.2011 |
13:45 - 14:30
|
HT 177F |
|
| Do 13.01.2011 |
13:45 - 14:30
|
T 111 |
|
| Di 18.01.2011 |
13:45 - 14:30
|
K 112A |
|
| Do 20.01.2011 |
13:45 - 14:30
|
T 111 |
|
| Di 25.01.2011 |
13:45 - 14:30
|
HT 177F |
|
| Do 27.01.2011 |
13:45 - 14:30
|
T 111 |
|
|
|
|
|
326.004 (2010W)
|
Berechenbarkeit und Komplexität
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Burkhard Zimmermann
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 22.10.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 29.10.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 05.11.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 12.11.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 19.11.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 26.11.2010 |
11:00 - 11:45
|
HS 5 |
|
| Fr 03.12.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 10.12.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 17.12.2010 |
11:00 - 11:45
|
K 033C |
|
| Fr 14.01.2011 |
11:00 - 11:45
|
K 033C |
|
| Fr 21.01.2011 |
11:00 - 11:45
|
HS 10 |
|
| Fr 28.01.2011 |
11:00 - 11:45
|
K 033C |
|
|
|
|
|
326.016 (2010W)
|
Berechenbarkeit und Komplexität
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Ralf Hemmecke
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 22.10.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 29.10.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 05.11.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 12.11.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 19.11.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 26.11.2010 |
11:00 - 11:45
|
HS 5 |
|
| Fr 03.12.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 10.12.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 17.12.2010 |
10:15 - 11:00
|
HS 12 |
|
| Fr 14.01.2011 |
10:15 - 11:00
|
HS 12 |
|
| Fr 21.01.2011 |
11:00 - 11:45
|
HS 10 |
|
| Fr 28.01.2011 |
10:15 - 11:00
|
HS 12 |
|
|
|
|
|
326.023 (2010W)
|
Berechenbarkeit und Komplexität
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Wolfgang Schreiner
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 15.10.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 22.10.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 29.10.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 05.11.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 12.11.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 19.11.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 26.11.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 03.12.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 10.12.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 17.12.2010 |
12:00 - 13:30
|
HS 10 |
|
| Fr 14.01.2011 |
12:00 - 13:30
|
HS 10 |
|
| Fr 21.01.2011 |
12:00 - 13:30
|
HS 10 |
|
| Fr 28.01.2011 |
12:00 - 13:30
|
HS 10 |
|
| Fr 04.02.2011 |
12:00 - 13:30
|
HS 10 |
|
|
|
|
|
326.050 (2010W)
|
Berechenbarkeit und Komplexität
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Ralf Hemmecke
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 22.10.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 29.10.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 05.11.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 12.11.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 19.11.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 26.11.2010 |
11:00 - 11:45
|
HS 5 |
|
| Fr 03.12.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 10.12.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 17.12.2010 |
11:00 - 11:45
|
HS 12 |
|
| Fr 14.01.2011 |
11:00 - 11:45
|
HS 12 |
|
| Fr 21.01.2011 |
11:00 - 11:45
|
HS 10 |
|
| Fr 28.01.2011 |
11:00 - 11:45
|
HS 12 |
|
|
|
|
|
326.017 (2010W)
|
Computeralgebra
Weitere Infos
|
Anmelden
|
KV |
3,00 |
Franz Winkler
Günter Landsmann
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 05.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 12.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 19.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 09.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 16.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 23.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 30.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 07.12.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 14.12.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 11.01.2011 |
15:30 - 18:00
|
HS 13 |
|
| Di 18.01.2011 |
15:30 - 18:00
|
HS 13 |
|
| Di 25.01.2011 |
15:30 - 18:00
|
HS 13 |
|
| Di 25.01.2011 |
15:30 - 18:00
|
HS 17 |
|
|
|
|
|
326.008 (2010W)
|
Computer-Based Working Environments
Weitere Infos
|
Anmelden
|
KV |
1,00 |
Károly Erdei
Wolfgang Windsteiger
Ralf Hemmecke
|
Blocktermin
|
| |
|
|
|
326.025 (2010W)
|
Entscheidbare logische Theorien
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Heinrich Rolletschek
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 14.10.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 21.10.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 28.10.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 04.11.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 11.11.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 11.11.2010 |
15:30 - 17:00
|
K 001A |
|
| Do 18.11.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 25.11.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 02.12.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 09.12.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 16.12.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 13.01.2011 |
10:15 - 11:45
|
K 112A |
|
| Do 20.01.2011 |
10:15 - 11:45
|
K 112A |
|
| Do 27.01.2011 |
10:15 - 11:45
|
K 112A |
|
|
|
|
|
326.026 (2010W)
|
Entwurf und Analyse von Algorithmen
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Heinrich Rolletschek
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
08:30 - 10:00
|
K 001A |
|
| Do 14.10.2010 |
08:30 - 10:00
|
K 001A |
|
| Do 21.10.2010 |
08:30 - 10:00
|
K 001A |
|
| Do 28.10.2010 |
08:30 - 10:00
|
K 001A |
|
| Do 04.11.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 11.11.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 18.11.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 25.11.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 02.12.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 09.12.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 16.12.2010 |
08:30 - 10:00
|
K 112A |
|
| Do 13.01.2011 |
08:30 - 10:00
|
K 112A |
|
| Do 20.01.2011 |
08:30 - 10:00
|
K 112A |
|
| Do 27.01.2011 |
08:30 - 10:00
|
K 112A |
|
|
|
|
|
326.053 (2010W)
|
Formale Methoden in der Software-Entwicklung
Weitere Infos
|
Anmelden
|
KV |
4,00 |
Wolfgang Schreiner
Janos Sztrik
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 15.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 22.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 29.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 05.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Mi 10.11.2010 |
08:30 - 10:00
|
T 111 |
|
| Mi 10.11.2010 |
10:15 - 11:45
|
T 211 |
|
| Fr 12.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 19.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 26.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 03.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 10.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 17.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 14.01.2011 |
08:30 - 11:45
|
T 111 |
|
| Fr 21.01.2011 |
08:30 - 11:45
|
T 111 |
|
| Fr 28.01.2011 |
08:30 - 11:45
|
T 111 |
|
|
|
|
|
326.013 (2010W)
|
Formal Methods in Software Development
Weitere Infos
|
Anmelden
|
KV |
3,00 |
Wolfgang Schreiner
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 15.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 22.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 29.10.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 05.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 12.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 19.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 26.11.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 03.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 10.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 17.12.2010 |
08:30 - 11:45
|
T 111 |
|
| Fr 14.01.2011 |
08:30 - 11:45
|
T 111 |
|
| Fr 21.01.2011 |
08:30 - 11:45
|
T 111 |
|
| Fr 28.01.2011 |
08:30 - 11:45
|
T 111 |
|
| Fr 04.02.2011 |
08:30 - 10:00
|
HS 4 |
|
|
|
|
|
326.003 (2010W)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Esther Klann
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 04.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Di 09.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Do 11.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Di 16.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Do 18.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Di 30.11.2010 |
08:30 - 10:00
|
HF136 |
|
| Do 02.12.2010 |
08:30 - 10:00
|
HF136 |
|
| Di 07.12.2010 |
08:30 - 10:00
|
HF136 |
|
| Di 11.01.2011 |
08:30 - 10:00
|
HF136 |
|
| Do 13.01.2011 |
08:30 - 10:00
|
HF136 |
|
| Di 18.01.2011 |
08:30 - 10:00
|
HF136 |
|
| Do 20.01.2011 |
08:30 - 10:00
|
HF136 |
|
| Di 25.01.2011 |
08:30 - 10:00
|
HF136 |
|
|
|
|
|
326.015 (2010W)
|
Informationssysteme
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Nikolaj Popov
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 11.10.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 18.10.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 25.10.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 08.11.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 15.11.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 22.11.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 29.11.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 06.12.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 13.12.2010 |
12:00 - 13:30
|
HS 12 |
|
| Mo 10.01.2011 |
12:00 - 13:30
|
HS 12 |
|
| Mo 17.01.2011 |
12:00 - 13:30
|
HS 12 |
|
| Mo 24.01.2011 |
12:00 - 13:30
|
HS 12 |
|
| Mo 31.01.2011 |
12:00 - 13:30
|
HS 12 |
|
|
|
|
|
368.109 (2010W)
|
Lineare Algebra und Analytische Geometrie 1
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Burkhard Zimmermann
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 11.10.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 18.10.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 25.10.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 08.11.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Fr 12.11.2010 |
13:45 - 15:15
|
HS 1 |
|
| Mo 15.11.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 22.11.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 29.11.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 06.12.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 13.12.2010 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 13.12.2010 |
19:00 - 21:00
|
HS 1 |
|
| Mo 10.01.2011 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 17.01.2011 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 24.01.2011 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 31.01.2011 |
10:15 - 11:45
|
BA 9909 |
|
| Di 01.02.2011 |
15:45 - 17:15
|
HS 1 |
|
|
|
|
|
368.111 (2010W)
|
Lineare Algebra und Analytische Geometrie 1
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Johannes Middeke
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 11.10.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 18.10.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 25.10.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 08.11.2010 |
10:15 - 11:45
|
T 111 |
|
| Fr 12.11.2010 |
13:45 - 15:15
|
HS 1 |
|
| Mo 15.11.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 22.11.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 29.11.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 06.12.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 13.12.2010 |
10:15 - 11:45
|
T 111 |
|
| Mo 13.12.2010 |
19:00 - 21:00
|
HS 1 |
|
| Mo 10.01.2011 |
10:15 - 11:45
|
T 111 |
|
| Mo 17.01.2011 |
10:15 - 11:45
|
T 111 |
|
| Mo 24.01.2011 |
10:15 - 11:45
|
T 111 |
|
| Mo 31.01.2011 |
10:15 - 11:45
|
T 111 |
|
| Di 01.02.2011 |
15:45 - 17:15
|
HS 1 |
|
|
|
|
|
326.028 (2010W)
|
Logisches Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Teimuraz Kutsia
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 06.10.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 13.10.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 20.10.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 27.10.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 03.11.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 10.11.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 17.11.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 24.11.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 01.12.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 15.12.2010 |
16:15 - 18:00
|
T 212 |
|
| Mi 12.01.2011 |
16:15 - 18:00
|
T 212 |
|
| Mi 19.01.2011 |
16:15 - 18:00
|
T 212 |
|
| Mi 26.01.2011 |
16:15 - 18:00
|
T 212 |
|
| Fr 28.01.2011 |
11:00 - 12:45
|
T 211 |
|
| Mi 09.02.2011 |
11:00 - 12:45
|
K 153C |
|
|
|
|
|
326.0MD (2010W)
|
Magister- und Dissertantenseminar
Winter Semester 10
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich
|
| |
|
|
|
326.000 (2010W)
|
Magister- und Dissertantenseminar
Winter Semester 10
|
Anmelden
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich
|
| |
|
|
|
326.001 (2010W)
|
Magister- und Dissertantenseminar
Winter Semester 10
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Peter Paule
|
Wöchentlich
|
| |
|
|
|
357.204 (2010W)
|
Mathematische Grundlagen
Weitere Infos
|
Anmelden
|
UE |
2,00 |
Wolfgang Windsteiger
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 13.10.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 20.10.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 27.10.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 03.11.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 10.11.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 17.11.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 24.11.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 01.12.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 15.12.2010 |
17:15 - 18:45
|
HS 11 |
|
| Mi 12.01.2011 |
17:15 - 18:45
|
HS 11 |
|
| Mi 19.01.2011 |
17:15 - 18:45
|
HS 11 |
|
| Mi 26.01.2011 |
17:15 - 18:45
|
HS 11 |
|
|
|
|
|
326.019 (2010W)
|
Mathematische Logik 1
Weitere Infos
|
Anmelden
|
VO |
4,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 14.10.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 21.10.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 28.10.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 04.11.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 11.11.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 18.11.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 25.11.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 02.12.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 16.12.2010 |
08:30 - 11:45
|
HS 6 |
|
| Do 13.01.2011 |
08:30 - 11:45
|
HS 6 |
|
| Do 20.01.2011 |
08:30 - 11:45
|
HS 6 |
|
| Do 27.01.2011 |
08:30 - 11:45
|
HS 6 |
|
|
|
|
|
326.021 (2010W)
|
Mathematische Logik 1
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 14.10.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 21.10.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 28.10.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 04.11.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 11.11.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 18.11.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 25.11.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 02.12.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 16.12.2010 |
12:00 - 12:45
|
HS 6 |
|
| Do 13.01.2011 |
12:00 - 12:45
|
HS 6 |
|
| Do 20.01.2011 |
12:00 - 12:45
|
HS 6 |
|
| Do 27.01.2011 |
12:00 - 12:45
|
HS 6 |
|
|
|
|
|
326.049 (2010W)
|
Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign I
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Ralf Hemmecke
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 11.10.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 18.10.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 25.10.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 08.11.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 15.11.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 22.11.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 29.11.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 06.12.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 13.12.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 10.01.2011 |
12:00 - 13:30
|
HA 105 |
|
| Mo 17.01.2011 |
12:00 - 13:30
|
HA 105 |
|
| Mo 24.01.2011 |
12:00 - 13:30
|
HA 105 |
|
| Mo 31.01.2011 |
12:00 - 13:30
|
HA 105 |
|
|
|
|
|
326.0AB (2010W)
|
Projektseminar
Automatisches Beweisen I: Theorema: Automated Reasoning in Natural Style (WS 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 06.10.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 13.10.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 20.10.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 27.10.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 03.11.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 10.11.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 17.11.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 24.11.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 01.12.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 15.12.2010 |
11:00 - 12:30
|
HA 105 |
|
| Mi 12.01.2011 |
11:00 - 12:30
|
HA 105 |
|
| Mi 19.01.2011 |
11:00 - 12:30
|
HA 105 |
|
| Mi 26.01.2011 |
11:00 - 12:30
|
HA 105 |
|
|
|
|
|
326.035 (2010W)
|
Projektseminar
Computer-Algebra I (Winter Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 04.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 09.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 13.01.2011 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.01.2011 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.01.2011 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.038 (2010W)
|
Projektseminar
Formale Methoden I (Winter Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Lichtenberger
Wolfgang Schreiner
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 06.10.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 13.10.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 20.10.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 27.10.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 03.11.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 10.11.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 17.11.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 24.11.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 01.12.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 15.12.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 12.01.2011 |
12:30 - 14:00
|
HA 105 |
|
| Mi 19.01.2011 |
12:30 - 14:00
|
HA 105 |
|
| Mi 26.01.2011 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.051 (2010W)
|
Projektseminar
Algorithmische Kombinatorik I (Winter Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Peter Paule
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 13.10.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 20.10.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 27.10.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 03.11.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 10.11.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 17.11.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 24.11.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 01.12.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 15.12.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 12.01.2011 |
14:00 - 15:30
|
HA 105 |
|
| Mi 19.01.2011 |
14:00 - 15:30
|
HA 105 |
|
| Mi 26.01.2011 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.0SS (2010W)
|
Seminar
Symbolische Summation in der Teilchenphysik
|
Anmelden
|
SE |
2,00 |
Carsten Schneider
|
Wöchentlich
|
| |
|
|
|
326.067 (2010W)
|
Seminar
Computer-Algebra I (Winter Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.10.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 04.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.11.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 09.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.12.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 13.01.2011 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.01.2011 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.01.2011 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.014 (2010W)
|
Special Functions I
Symbolische Summation und Spezielle Funktionen
|
Anmelden
|
UE |
1,00 |
Carsten Schneider
|
Wöchentlich
|
| |
|
|
|
326.0AT (2010W)
|
Spezialvorlesung
Algebraische Topologie
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Günter Landsmann
|
Wöchentlich
|
| |
|
|
|
326.00B (2010W)
|
Spezialvorlesung
Fixpoint Theory of Functional Programs
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Nikolaj Popov
|
Blocktermin
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 05.10.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 12.10.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 19.10.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 09.11.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 16.11.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 23.11.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 30.11.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 07.12.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 14.12.2010 |
13:45 - 15:15
|
BA 9907 |
|
| Di 11.01.2011 |
13:45 - 15:15
|
BA 9907 |
|
| Di 18.01.2011 |
13:45 - 15:15
|
BA 9907 |
|
| Di 25.01.2011 |
13:45 - 15:15
|
BA 9907 |
|
|
|
|
|
326.030 (2010W)
|
Spezialvorlesung
Fine-Grained Parallel Computing
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 15.10.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 22.10.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 29.10.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 05.11.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 12.11.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 19.11.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 26.11.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 03.12.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 10.12.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 17.12.2010 |
10:15 - 11:45
|
K 009D |
|
| Fr 14.01.2011 |
10:15 - 11:45
|
K 009D |
|
| Fr 21.01.2011 |
10:15 - 11:45
|
K 009D |
|
| Fr 28.01.2011 |
10:15 - 11:45
|
K 009D |
|
|
|
|
|
326.032 (2010W)
|
Spezialvorlesung
Homologische Algebra
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Günter Landsmann
|
Wöchentlich
|
| |
|
|
|
326.033 (2010W)
|
Spezialvorlesung
Computeralgebrasysteme
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Christoph Koutschan
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 11.10.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 18.10.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 25.10.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 08.11.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 15.11.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 22.11.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 29.11.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 06.12.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 13.12.2010 |
10:15 - 11:45
|
KG 419 |
|
| Mo 17.01.2011 |
10:15 - 11:45
|
KG 419 |
|
| Mo 24.01.2011 |
10:15 - 11:45
|
KG 419 |
|
| Mo 31.01.2011 |
10:15 - 11:45
|
KG 419 |
|
|
|
|
|
326.070 (2010W)
|
Spezialvorlesung
Automatisches Beweisen II
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 15.10.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 22.10.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 29.10.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 05.11.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 12.11.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 19.11.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 26.11.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 03.12.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 10.12.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 17.12.2010 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 14.01.2011 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 21.01.2011 |
08:30 - 10:00
|
MZ 005B |
|
| Fr 28.01.2011 |
08:30 - 10:00
|
MZ 005B |
|
|
|
|
|
326.075 (2010W)
|
Spezialvorlesung
Symbolische Summation und Spezielle Funktionen I (Winter Semester 10)
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Peter Paule
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 13.10.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 20.10.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 27.10.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 03.11.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 10.11.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 17.11.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 24.11.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 01.12.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 15.12.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 12.01.2011 |
16:00 - 17:30
|
HA 105 |
|
| Mi 19.01.2011 |
16:00 - 17:30
|
HA 105 |
|
| Mi 26.01.2011 |
16:00 - 17:30
|
HA 105 |
|
|
|
|
|
326.086 (2010W)
|
Spezialvorlesung
Introduction into Multicore Programming
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Karoly Bosa
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 07.10.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 14.10.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 21.10.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 28.10.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 04.11.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 11.11.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 18.11.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 25.11.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 02.12.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 09.12.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 16.12.2010 |
17:15 - 18:45
|
MT 224 |
|
| Do 13.01.2011 |
17:15 - 18:45
|
MT 224 |
|
| Do 20.01.2011 |
17:15 - 18:45
|
MT 224 |
|
| Do 27.01.2011 |
17:15 - 18:45
|
MT 224 |
|
| Do 10.02.2011 |
10:15 - 11:45
|
K 224B |
|
| Do 24.02.2011 |
10:15 - 11:45
|
K 224B |
|
|
|
|
|
326.00I (2010W)
|
Spezielle Kapitel aus Informatik
Computeralgebra
Weitere Infos
|
Anmelden
|
KV |
3,00 |
Franz Winkler
Günter Landsmann
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 05.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 12.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 19.10.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 09.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 16.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 23.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 30.11.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 07.12.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 14.12.2010 |
15:30 - 18:00
|
HS 13 |
|
| Di 11.01.2011 |
15:30 - 18:00
|
HS 13 |
|
| Di 18.01.2011 |
15:30 - 18:00
|
HS 13 |
|
| Di 25.01.2011 |
15:30 - 18:00
|
HS 13 |
|
|
|
|
|
326.057 (2010W)
|
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 15.10.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 22.10.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 29.10.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 05.11.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 12.11.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 19.11.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 26.11.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 03.12.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 10.12.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 17.12.2010 |
14:30 - 16:15
|
K 112A |
|
| Fr 14.01.2011 |
14:30 - 16:15
|
K 112A |
|
| Fr 21.01.2011 |
14:30 - 16:15
|
K 112A |
|
| Fr 28.01.2011 |
14:30 - 16:15
|
K 112A |
|
|
|
|
|
326.066 (2010W)
|
Thinking, Speaking, Writing
Communication of Scientific Results
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Tudor Jebelean
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 08.10.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 15.10.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 22.10.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 29.10.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 05.11.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 12.11.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 19.11.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 26.11.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 03.12.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 10.12.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 17.12.2010 |
12:45 - 14:30
|
K 112A |
|
| Fr 14.01.2011 |
12:45 - 14:30
|
K 112A |
|
| Fr 21.01.2011 |
12:45 - 14:30
|
K 112A |
|
| Fr 28.01.2011 |
12:45 - 14:30
|
K 112A |
|
|
|
|
|
326.045 (2010W)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,00 |
Peter Paule
|
Wöchentlich
|
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 04.10.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 11.10.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 18.10.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 25.10.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 08.11.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 15.11.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 22.11.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 29.11.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 06.12.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 13.12.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 10.01.2011 |
13:30 - 14:30
|
HA 105 |
|
| Mo 17.01.2011 |
13:30 - 14:30
|
HA 105 |
|
| Mo 24.01.2011 |
13:30 - 14:30
|
HA 105 |
|
| Mo 31.01.2011 |
13:30 - 14:30
|
HA 105 |
|
|
|
|
