Find below the list of courses offered by RISC-Linz as of 31.7.2010.
| LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
|
326.007 (2010S)
|
Algebraische und diskrete Methoden der Biologie
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Elena Kartaschova
Nikolaj Popov
Tudor Jebelean
Stephan Dreiseitl
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 04.03.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 11.03.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 18.03.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 25.03.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 15.04.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 22.04.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 29.04.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 06.05.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 20.05.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 27.05.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 10.06.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 17.06.2010 |
13:45 - 15:15
|
HS 11 |
|
| Do 24.06.2010 |
13:45 - 15:15
|
HS 11 |
|
|
|
|
|
326.084 (2010S)
|
Algorithmische Algebraische Geometrie
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Josef Schicho
|
Wöchentlich |
| |
|
|
|
326.009 (2010S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 09.03.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 16.03.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 23.03.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 13.04.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 20.04.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 27.04.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 11.05.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 18.05.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 01.06.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 08.06.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 15.06.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 22.06.2010 |
12:00 - 13:30
|
HS 14 |
|
| Di 29.06.2010 |
12:00 - 13:30
|
HS 14 |
|
|
|
|
|
326.043 (2010S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Carsten Schneider
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 16.03.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 23.03.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 13.04.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 20.04.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 27.04.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 11.05.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 18.05.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 01.06.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 08.06.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 15.06.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 22.06.2010 |
11:00 - 11:45
|
T 111 |
|
| Di 29.06.2010 |
11:00 - 11:45
|
T 111 |
|
|
|
|
|
326.237 (2010S)
|
Computer-Analysis
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 09.03.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 16.03.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 23.03.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 13.04.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 20.04.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 27.04.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 11.05.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 18.05.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 01.06.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 08.06.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 15.06.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 22.06.2010 |
16:15 - 18:00
|
HS 14 |
|
| Di 29.06.2010 |
16:15 - 18:00
|
HS 14 |
|
|
|
|
|
326.052 (2010S)
|
Computersysteme
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 05.03.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 12.03.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 19.03.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 26.03.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 16.04.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 23.04.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 30.04.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 07.05.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 14.05.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 21.05.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 28.05.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 11.06.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 18.06.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 25.06.2010 |
10:15 - 11:45
|
BA 9911 |
|
| Mo 28.06.2010 |
08:30 - 10:00
|
HS 4 |
|
|
|
|
|
326.603 (2010S)
|
Einführung in paralleles und verteiltes Rechnen
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 01.03.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 08.03.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 15.03.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 22.03.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 12.04.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 19.04.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 26.04.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 03.05.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 10.05.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 17.05.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 31.05.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 07.06.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 14.06.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 21.06.2010 |
08:30 - 10:00
|
T 642 |
|
| Mo 28.06.2010 |
08:30 - 10:00
|
T 642 |
|
|
|
|
|
326.008 (2010S)
|
Entscheidbarkeits- und Komplexitätsklassen
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Heinrich Rolletschek
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 04.03.2010 |
08:30 - 10:00
|
BA 9909 |
|
| Do 11.03.2010 |
08:30 - 10:00
|
BA 9909 |
|
| Do 18.03.2010 |
08:30 - 10:00
|
BA 9909 |
|
|
|
|
|
326.902 (2010S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Sommer Semester 2010
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Veronika Elisabeth Pillwein
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 13.04.2010 |
12:00 - 14:30
|
MZ 005B |
|
| Di 20.04.2010 |
12:00 - 14:30
|
HT 177F |
|
| Di 27.04.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 11.05.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 18.05.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 01.06.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 08.06.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 15.06.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 22.06.2010 |
12:00 - 14:30
|
MT 132/1 |
|
| Di 29.06.2010 |
12:00 - 14:30
|
MT 132/1 |
|
|
|
|
|
326.054 (2010S)
|
Funktionales Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Nikolaj Popov
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 03.03.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 10.03.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 17.03.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 24.03.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 14.04.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 21.04.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 28.04.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 05.05.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 12.05.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 19.05.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 26.05.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 02.06.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 09.06.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 16.06.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 23.06.2010 |
16:15 - 18:00
|
KG 712 |
|
| Mi 30.06.2010 |
16:15 - 18:00
|
KG 712 |
|
|
|
|
|
326.212 (2010S)
|
Kommutative Algebra und Algebraische Geometrie
Sommer Semester 2010
Weitere Infos
|
Anmelden
|
VO |
4,00 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 09.03.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 12.03.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 16.03.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 19.03.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 23.03.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 26.03.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 13.04.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 16.04.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 20.04.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 23.04.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 27.04.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 30.04.2010 |
10:15 - 11:45
|
HS 11 |
|
| Fr 07.05.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 11.05.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 14.05.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 18.05.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 21.05.2010 |
10:15 - 11:45
|
HS 11 |
|
| Fr 28.05.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 01.06.2010 |
14:30 - 16:15
|
HS 11 |
|
| Di 08.06.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 11.06.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 15.06.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 18.06.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 22.06.2010 |
14:30 - 16:15
|
HS 11 |
|
| Fr 25.06.2010 |
10:15 - 11:45
|
HS 11 |
|
| Di 29.06.2010 |
14:30 - 16:15
|
HS 11 |
|
|
|
|
|
326.214 (2010S)
|
Kommutative Algebra und Algebraische Geometrie
Weitere Infos
|
Anmelden
|
UE |
1,00 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 09.03.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 16.03.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 23.03.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 13.04.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 20.04.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 27.04.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 11.05.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 18.05.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 01.06.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 08.06.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 15.06.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 22.06.2010 |
16:15 - 17:00
|
HS 11 |
|
| Di 29.06.2010 |
16:15 - 17:00
|
HS 11 |
|
|
|
|
|
326.048 (2010S)
|
Logik als Arbeitssprache
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Wolfgang Windsteiger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 02.03.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 09.03.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 16.03.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 23.03.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 13.04.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 20.04.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 27.04.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 11.05.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 18.05.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 01.06.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 08.06.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 15.06.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 22.06.2010 |
12:00 - 13:30
|
HS 13 |
|
| Di 29.06.2010 |
12:00 - 13:30
|
HS 13 |
|
| Mo 12.07.2010 |
17:15 - 19:00
|
BA 9911 |
|
|
|
|
|
326.000 (2010S)
|
Magister- und Dissertantenseminar
Sommer Semester 10
|
Anmelden
|
SE |
2,00 |
Bruno Buchberger
|
Wöchentlich |
| |
|
|
|
326.001 (2010S)
|
Magister- und Dissertantenseminar
Sommer Semester 10
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Peter Paule
|
Wöchentlich |
| |
|
|
|
326.082 (2010S)
|
Magister- und Dissertantenseminar
Sommer Semester 10
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich |
| |
|
|
|
326.041 (2010S)
|
Praktische Softwaretechnologie
Weitere Infos
|
Anmelden
|
KV |
4,00 |
Karoly Bosa
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 03.03.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 04.03.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 10.03.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 11.03.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 17.03.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 18.03.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 24.03.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 25.03.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 14.04.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 15.04.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 21.04.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 22.04.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 28.04.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 29.04.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 05.05.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 06.05.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 12.05.2010 |
10:15 - 11:45
|
K 112A |
|
| Mi 19.05.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 20.05.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 26.05.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 27.05.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 02.06.2010 |
10:15 - 11:45
|
K 112A |
|
| Mi 09.06.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 10.06.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 16.06.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 17.06.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 23.06.2010 |
10:15 - 11:45
|
K 112A |
|
| Do 24.06.2010 |
14:30 - 16:15
|
T 642 |
|
| Mi 30.06.2010 |
10:15 - 11:45
|
K 112A |
|
|
|
|
|
326.062 (2010S)
|
Programmieren in Mathematica
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Wolfgang Windsteiger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 09.03.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 16.03.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 23.03.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 13.04.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 20.04.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 27.04.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 11.05.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 18.05.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 01.06.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 08.06.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 15.06.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 22.06.2010 |
14:30 - 16:15
|
HF 9915 |
|
| Di 29.06.2010 |
14:30 - 16:15
|
HF 9915 |
|
|
|
|
|
326.049 (2010S)
|
Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign II
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Ralf Hemmecke
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 01.03.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 08.03.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 15.03.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 22.03.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 12.04.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 19.04.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 26.04.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 03.05.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 10.05.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 17.05.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 31.05.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 07.06.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 14.06.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 21.06.2010 |
12:00 - 13:30
|
HA 105 |
|
| Mo 28.06.2010 |
12:00 - 13:30
|
HA 105 |
|
|
|
|
|
326.035 (2010S)
|
Projektseminar
Computer-Algebra II (Sommer Semester 2010)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 04.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 15.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 22.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 29.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 06.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 10.06.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 17.06.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 24.06.2010 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.037 (2010S)
|
Projektseminar
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration (SS 2010)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich |
| |
|
|
|
326.090 (2010S)
|
Projektseminar
Formale Methoden II (Sommer Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Wolfgang Schreiner
Franz Lichtenberger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 03.03.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 10.03.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 17.03.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 24.03.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 14.04.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 21.04.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 28.04.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 05.05.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 12.05.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 19.05.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 26.05.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 02.06.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 09.06.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 16.06.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 23.06.2010 |
12:30 - 14:00
|
HA 105 |
|
| Mi 30.06.2010 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.091 (2010S)
|
Projektseminar
Algorithmische Kombinatorik II (Sommer Semester 10)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 10.03.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 17.03.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 24.03.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 14.04.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 21.04.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 28.04.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 05.05.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 12.05.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 19.05.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 26.05.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 02.06.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 09.06.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 16.06.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 23.06.2010 |
14:00 - 15:30
|
HA 105 |
|
| Mi 30.06.2010 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.753 (2010S)
|
Seminar
Computer-Algebra II (Sommer Semester 2010)
Weitere Infos
|
Anmelden
|
SE |
2,00 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 04.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.03.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 15.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 22.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 29.04.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 06.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.05.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 10.06.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 17.06.2010 |
14:30 - 16:00
|
HA 105 |
|
| Do 24.06.2010 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.068 (2010S)
|
Software Engineering
Weitere Infos
|
Anmelden
|
KV |
2,00 |
Petru Pau
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 02.03.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 09.03.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 16.03.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 23.03.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 13.04.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 20.04.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 27.04.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 11.05.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 18.05.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 01.06.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 08.06.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 15.06.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 22.06.2010 |
16:15 - 18:00
|
K 269D |
|
| Di 29.06.2010 |
16:15 - 18:00
|
K 269D |
|
| Mi 30.06.2010 |
10:15 - 11:45
|
HS 8 |
|
|
|
|
|
326.903 (2010S)
|
Special Topics
Approximation Techniques in Algebra and Analysis
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Herwig Hauser
|
Wöchentlich |
| |
|
|
|
326.0ST (2010S)
|
Spezialvorlesung
Gödel's Incompleteness Theorems
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Nikolaj Popov
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 11.03.2010 |
10:15 - 11:45
|
MZ 005A |
|
| Do 18.03.2010 |
10:15 - 11:45
|
P 215 |
|
| Do 25.03.2010 |
10:15 - 11:45
|
P 215 |
|
| Do 15.04.2010 |
10:15 - 11:45
|
MZ 005A |
|
| Do 22.04.2010 |
10:15 - 11:45
|
T 112 |
|
| Do 29.04.2010 |
10:15 - 11:45
|
MZ 005A |
|
| Do 06.05.2010 |
10:15 - 11:45
|
MZ 005A |
|
| Do 20.05.2010 |
10:15 - 11:45
|
MZ 005B |
|
| Do 27.05.2010 |
10:15 - 11:45
|
T 112 |
|
| Do 10.06.2010 |
10:15 - 11:45
|
T 112 |
|
| Do 17.06.2010 |
10:15 - 11:45
|
MZ 005B |
|
| Do 24.06.2010 |
10:15 - 11:45
|
MZ 005A |
|
|
|
|
|
326.010 (2010S)
|
Spezialvorlesung
Unifikationstheorie
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Teimuraz Kutsia
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 02.03.2010 |
17:15 - 18:45
|
T 112 |
|
| Di 09.03.2010 |
17:15 - 18:45
|
T 112 |
|
| Di 16.03.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 23.03.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 13.04.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 20.04.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 27.04.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 11.05.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 18.05.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 01.06.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 08.06.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 15.06.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 22.06.2010 |
17:30 - 19:00
|
HA 105 |
|
| Di 29.06.2010 |
17:30 - 19:00
|
HA 105 |
|
|
|
|
|
326.031 (2010S)
|
Spezialvorlesung
Computer Algebra II: Fast Arithmetic and Factorization
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Manuel Kauers
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 03.03.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 10.03.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 17.03.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 24.03.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 14.04.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 21.04.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 28.04.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 05.05.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 12.05.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 19.05.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 26.05.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 02.06.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 09.06.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 16.06.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 23.06.2010 |
09:00 - 10:30
|
HA105 |
|
| Mi 30.06.2010 |
09:00 - 10:30
|
HA105 |
|
|
|
|
|
326.036 (2010S)
|
Spezialvorlesung
Symbolische Summation und Spezielle Funktionen II (Sommer Semester 2010)
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Carsten Schneider
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 03.03.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 10.03.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 17.03.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 24.03.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 14.04.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 21.04.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 28.04.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 05.05.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 12.05.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 19.05.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 26.05.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 02.06.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 09.06.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 16.06.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 23.06.2010 |
16:00 - 17:30
|
HA 105 |
|
| Mi 30.06.2010 |
16:00 - 17:30
|
HA 105 |
|
|
|
|
|
326.063 (2010S)
|
Spezialvorlesung
Formale Spezifikation abstrakter Datentypen
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 05.03.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 12.03.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 19.03.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 26.03.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 16.04.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 23.04.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 30.04.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 07.05.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 14.05.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 21.05.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 28.05.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 11.06.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 18.06.2010 |
08:30 - 10:00
|
HS 13 |
|
| Fr 25.06.2010 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
|
326.069 (2010S)
|
Spezialvorlesung
Kategorientheorie fuer Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
2,00 |
Günter Landsmann
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 02.03.2010 |
12:00 - 13:30
|
T 041 |
|
| Fr 05.03.2010 |
12:00 - 13:30
|
T 112 |
|
| Fr 12.03.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 19.03.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 26.03.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 16.04.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 23.04.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 30.04.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 07.05.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 14.05.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 21.05.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 28.05.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 11.06.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 18.06.2010 |
13:45 - 15:15
|
T 642 |
|
| Fr 25.06.2010 |
13:45 - 15:15
|
T 642 |
|
|
|
|
|
326.045 (2010S)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,00 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 01.03.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 08.03.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 15.03.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 22.03.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 12.04.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 19.04.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 26.04.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 03.05.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 10.05.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 17.05.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 31.05.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 07.06.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 14.06.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 21.06.2010 |
13:30 - 14:30
|
HA 105 |
|
| Mo 28.06.2010 |
13:30 - 14:30
|
HA 105 |
|
|
|
|
