Find below the list of courses offered by RISC-Linz as of 30.6.2016.
| Course Id |
Title |
Registration |
Type | .
Hours |
Teachers |
Rhythm |
|
326.0AM (2016S)
|
Algebraic and Discrete Methods for Biology
Further information
|
Register
|
KV |
2,0 |
Nikolaj Popov
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.03.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 10.03.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 07.04.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 14.04.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 21.04.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 28.04.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 12.05.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 19.05.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 02.06.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 09.06.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 23.06.2016 |
13:45 - 15:15
|
HS 13 |
|
| Do. 30.06.2016 |
13:45 - 15:15
|
HS 13 |
|
|
|
|
|
326.046 (2016S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 15.03.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 05.04.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 12.04.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 19.04.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 26.04.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 03.05.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 10.05.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 24.05.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 31.05.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 07.06.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 14.06.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 21.06.2016 |
12:00 - 13:30
|
HS 11 |
|
| Di. 28.06.2016 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
|
326.047 (2016S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.03.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 08.03.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 15.03.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 05.04.2016 |
11:00 - 11:45
|
T 406 |
|
| Di. 12.04.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 19.04.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 26.04.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 03.05.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 10.05.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 24.05.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 31.05.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 07.06.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 14.06.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 21.06.2016 |
11:00 - 11:45
|
T 406/1 |
|
| Di. 28.06.2016 |
11:00 - 11:45
|
T 406/1 |
|
|
|
|
|
326.079 (2016S)
|
Computer analysis
Further information
|
Register
|
VO |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 11.03.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 18.03.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 08.04.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 15.04.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 22.04.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 29.04.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 13.05.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 20.05.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 03.06.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 10.06.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 17.06.2016 |
12:00 - 13:30
|
K 269D |
|
| Fr. 24.06.2016 |
12:00 - 13:30
|
K 269D |
|
|
|
|
|
326.052 (2016S)
|
Computer systems
Further information
|
Register
|
KV |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 11.03.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 16.03.2016 |
13:45 - 15:15
|
S2 054 |
|
| Do. 17.03.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 18.03.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 06.04.2016 |
13:45 - 15:15
|
S2 054 |
|
| Do. 07.04.2016 |
13:45 - 15:15
|
HF 9904 |
|
| Fr. 08.04.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 13.04.2016 |
13:45 - 15:15
|
S2 054 |
|
| Do. 14.04.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 15.04.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 20.04.2016 |
13:45 - 15:15
|
S2 054 |
|
| Do. 21.04.2016 |
13:45 - 15:15
|
HF 9904 |
|
| Fr. 22.04.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 27.04.2016 |
13:45 - 15:15
|
S2 054 |
|
| Do. 28.04.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 29.04.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Fr. 06.05.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 11.05.2016 |
13:45 - 15:15
|
BA 9908 |
|
| Do. 12.05.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 13.05.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 18.05.2016 |
13:45 - 15:15
|
BA 9908 |
|
| Do. 19.05.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 20.05.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 25.05.2016 |
13:45 - 15:15
|
BA 9908 |
|
| Mi. 01.06.2016 |
13:45 - 15:15
|
P 215 |
|
| Do. 02.06.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 03.06.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 08.06.2016 |
13:45 - 15:15
|
P 215 |
|
| Do. 09.06.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 10.06.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 15.06.2016 |
13:45 - 15:15
|
P 215 |
|
| Do. 16.06.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 17.06.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Mi. 22.06.2016 |
13:45 - 15:15
|
P 215 |
|
| Do. 23.06.2016 |
13:45 - 15:15
|
K 224B |
|
| Fr. 24.06.2016 |
10:15 - 11:45
|
BA 9911 |
|
| Di. 28.06.2016 |
08:30 - 10:00
|
HS 2 |
|
|
|
|
|
326.081 (2016S)
|
Introduction to parallel and distributed computing
Further information
|
Register
|
VO |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 14.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 04.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 11.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 18.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 25.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 02.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 09.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 23.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 30.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 06.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 13.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 20.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 27.06.2016 |
08:30 - 10:00
|
S2 120 |
|
|
|
|
|
326.008 (2016S)
|
Decidibility and complexity classes
Further information
|
Register
|
VO |
2,0 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 10.03.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 17.03.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 07.04.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 14.04.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 21.04.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 28.04.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 12.05.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 19.05.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 02.06.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 09.06.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 16.06.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 23.06.2016 |
08:30 - 10:00
|
BA 9912 |
|
| Do. 30.06.2016 |
08:30 - 10:00
|
BA 9912 |
|
|
|
|
|
326.703 (2016S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 17.03.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 07.04.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 14.04.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 21.04.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 28.04.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 12.05.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 19.05.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 02.06.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 09.06.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 16.06.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 23.06.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 30.06.2016 |
13:45 - 14:30
|
HS 3 |
|
| Do. 30.06.2016 |
15:30 - 17:00
|
MT 127 |
|
|
|
|
|
326.712 (2016S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 10.03.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 11.03.2016 |
08:30 - 10:00
|
HS 2 |
|
| Do. 17.03.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 18.03.2016 |
08:30 - 10:00
|
HS 7 |
|
| Do. 07.04.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 08.04.2016 |
08:30 - 10:00
|
HS 7 |
|
| Do. 14.04.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 15.04.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 21.04.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 22.04.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 28.04.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 29.04.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 12.05.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 13.05.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 19.05.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 20.05.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 02.06.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 03.06.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 09.06.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 10.06.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 16.06.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 17.06.2016 |
08:30 - 10:00
|
HS 5 |
|
| Do. 23.06.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 24.06.2016 |
08:30 - 10:00
|
HS 6 |
|
| Do. 30.06.2016 |
14:30 - 15:15
|
HS 3 |
|
| Fr. 01.07.2016 |
15:30 - 17:00
|
HS 7 |
|
|
|
|
|
326.757 (2016S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Johannes Middeke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 17.03.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 07.04.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 14.04.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 21.04.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 28.04.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 12.05.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 19.05.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 02.06.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 09.06.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 16.06.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 23.06.2016 |
15:30 - 16:15
|
HS 13 |
|
| Do. 30.06.2016 |
15:30 - 16:15
|
HS 13 |
|
|
|
|
|
326.003 (2016S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Further information
|
Register
|
KV |
2,0 |
Peter Paule
Bruno Buchberger
Evelyn Buckwar
Bert Jüttler
Manuel Kauers
Ulrich Langer
Martin Neumüller
Ronny Ramlau
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 16.03.2016 |
13:45 - 15:15
|
T 406/1 |
|
| Fr. 18.03.2016 |
13:45 - 14:30
|
S3 047 |
|
| Do. 07.04.2016 |
10:15 - 11:45
|
S2 219 |
|
| Di. 12.04.2016 |
13:45 - 15:15
|
S3 047 |
|
| Do. 14.04.2016 |
13:45 - 14:30
|
S3 047 |
|
| Di. 19.04.2016 |
08:30 - 11:00
|
T 406/1 |
|
| Do. 21.04.2016 |
10:15 - 11:00
|
S2 219 |
|
| Do. 28.04.2016 |
10:15 - 11:45
|
T 406/1 |
|
| Di. 03.05.2016 |
10:15 - 11:00
|
T 406/1 |
|
| Do. 12.05.2016 |
10:15 - 11:45
|
S2 219 |
|
| Fr. 13.05.2016 |
10:15 - 11:00
|
S3 058 |
|
| Di. 31.05.2016 |
12:00 - 14:30
|
K 112A |
|
| Mi. 01.06.2016 |
13:45 - 16:15
|
T 406/1 |
|
|
|
|
|
326.054 (2016S)
|
Functional programming
Further information
|
Register
|
KV |
2,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 09.03.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 16.03.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 06.04.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 13.04.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 20.04.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 27.04.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 11.05.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 18.05.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 25.05.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 01.06.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 08.06.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 22.06.2016 |
16:15 - 18:00
|
S2 120 |
|
| Mi. 29.06.2016 |
16:15 - 18:00
|
MT 127 |
|
|
|
|
|
326.0KA (2016S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VO |
4,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 11.03.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 15.03.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 18.03.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 05.04.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 08.04.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 12.04.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 15.04.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 19.04.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 22.04.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 26.04.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 29.04.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 03.05.2016 |
14:30 - 16:15
|
HS 11 |
|
| Di. 10.05.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 13.05.2016 |
10:15 - 11:45
|
HS 14 |
|
| Fr. 20.05.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 24.05.2016 |
14:30 - 16:15
|
HS 11 |
|
| Di. 31.05.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 03.06.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 07.06.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 10.06.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 14.06.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 17.06.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 21.06.2016 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 24.06.2016 |
10:15 - 11:45
|
HS 14 |
|
| Di. 28.06.2016 |
14:30 - 16:15
|
HS 11 |
|
|
|
|
|
326.0UK (2016S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
UE |
1,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 15.03.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 05.04.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 12.04.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 19.04.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 26.04.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 03.05.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 10.05.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 24.05.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 31.05.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 07.06.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 14.06.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 21.06.2016 |
16:15 - 17:00
|
HS 11 |
|
| Di. 28.06.2016 |
16:15 - 17:00
|
HS 11 |
|
|
|
|
|
326.048 (2016S)
|
Logic as a working language
Further information
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
12:00 - 13:30
|
HS 13 |
|
| Di. 15.03.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 05.04.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 12.04.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 19.04.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 26.04.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 03.05.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 10.05.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 24.05.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 31.05.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 07.06.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 14.06.2016 |
12:00 - 13:30
|
K 033C |
|
| Di. 21.06.2016 |
12:00 - 13:30
|
HS 19 |
|
| Di. 28.06.2016 |
12:00 - 13:30
|
K 033C |
|
|
|
|
|
326.0XX (2016S)
|
Seminar for graduate and doctoral students
Sommer Semester 16
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.0YY (2016S)
|
Seminar for graduate and doctoral students
Summer Semester 16
|
Register
|
SE |
2,0 |
Tudor Jebelean
Bruno Buchberger
|
Weekly
|
| |
|
|
|
326.0ZZ (2016S)
|
Seminar for graduate and doctoral students
Summer Semester 16
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
|
|
|
357.301 (2016S)
|
Mathematics for Economists
Further information
|
Register
|
KS |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 10.03.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 10.03.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 17.03.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 17.03.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 07.04.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 07.04.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 14.04.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 14.04.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 21.04.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 21.04.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 28.04.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 28.04.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 12.05.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 12.05.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 19.05.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 19.05.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 02.06.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 02.06.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 09.06.2016 |
17:15 - 18:45
|
HS 19 |
|
| Do. 09.06.2016 |
19:00 - 20:30
|
HS 19 |
|
| Do. 16.06.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 16.06.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 23.06.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 23.06.2016 |
19:00 - 20:30
|
HS 18 |
|
| Do. 30.06.2016 |
17:15 - 18:45
|
HS 18 |
|
| Do. 30.06.2016 |
19:00 - 20:30
|
HS 18 |
|
| Sa. 02.07.2016 |
12:30 - 14:00
|
HS 1 |
Klausur |
| Sa. 02.07.2016 |
12:30 - 14:00
|
HS 10 |
Klausur |
| Sa. 02.07.2016 |
12:30 - 14:00
|
HS 16 |
Klausur |
| Sa. 02.07.2016 |
12:30 - 14:00
|
HS 7 |
Klausur |
| Sa. 02.07.2016 |
12:30 - 14:00
|
HS 2 |
Klausur |
| Di. 13.09.2016 |
10:15 - 11:45
|
HS 10 |
Nachklausur |
| Di. 13.09.2016 |
10:15 - 11:45
|
HS 7 |
Nachklausur |
| Di. 13.09.2016 |
10:15 - 11:45
|
HS 2 |
Nachklausur |
| Di. 13.09.2016 |
10:15 - 11:45
|
HS 1 |
Nachklausur |
|
|
|
|
326.0PC (2016S)
|
Parallel Computing
Further information
|
Register
|
KV |
3,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 14.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 04.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 11.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 18.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 25.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 02.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 09.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 23.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 30.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 06.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 13.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 20.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 27.06.2016 |
08:30 - 10:00
|
S2 120 |
|
|
|
|
|
326.041 (2016S)
|
Practical software technology
Further information
|
Register
|
KV |
4,0 |
David Cerna
Ioana Cleopatra Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 09.03.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 10.03.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 16.03.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 17.03.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 06.04.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 07.04.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 13.04.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 14.04.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 20.04.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 21.04.2016 |
14:30 - 16:15
|
HT 177F |
|
| Mi. 27.04.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 28.04.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 11.05.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 12.05.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 18.05.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 19.05.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 25.05.2016 |
14:30 - 16:15
|
S3 048 |
|
| Mi. 01.06.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 02.06.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 08.06.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 09.06.2016 |
14:30 - 16:15
|
S3 058 |
|
| Mi. 15.06.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 16.06.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 22.06.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 23.06.2016 |
14:30 - 16:15
|
S2 059 |
|
| Mi. 29.06.2016 |
14:30 - 16:15
|
S3 048 |
|
| Do. 30.06.2016 |
14:30 - 16:15
|
S2 059 |
|
|
|
|
|
326.062 (2016S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 15.03.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 05.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 12.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 19.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 26.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 03.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 10.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 24.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 31.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 07.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 14.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 21.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 28.06.2016 |
15:30 - 17:00
|
HT 176G |
|
|
|
|
|
326.098 (2016S)
|
Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
|
Register
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 09.03.2016 |
10:15 - 11:45
|
K 223B |
|
| Mi. 16.03.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 06.04.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 13.04.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 20.04.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 27.04.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 11.05.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 18.05.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 25.05.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 01.06.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 08.06.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 15.06.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 22.06.2016 |
08:30 - 10:00
|
K 009D |
|
| Mi. 29.06.2016 |
08:30 - 10:00
|
K 009D |
|
|
|
|
|
326.001 (2016S)
|
Seminar symbolic computation
Computer-Algebra II (Summer Semester 16)
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 10.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 17.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 07.04.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 14.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 21.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 28.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 12.05.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 19.05.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 02.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 09.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 16.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 23.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 30.06.2016 |
10:00 - 12:00
|
HA 105 |
|
|
|
|
|
326.060 (2016S)
|
Seminar symbolic computation
Algorithmic Algebra
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
| |
|
|
|
326.096 (2016S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 16)
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 02.03.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 09.03.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 16.03.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 06.04.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 13.04.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 20.04.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 27.04.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 11.05.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 18.05.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 25.05.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 01.06.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 08.06.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 15.06.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 22.06.2016 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 29.06.2016 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.0UU (2016S)
|
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 16)
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 10.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 17.03.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 07.04.2016 |
14:30 - 16:00
|
HA 105 |
|
| Do. 14.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 21.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 28.04.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 12.05.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 19.05.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 02.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 09.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 16.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 23.06.2016 |
10:00 - 12:00
|
HA 105 |
|
| Do. 30.06.2016 |
10:00 - 12:00
|
HA 105 |
|
|
|
|
|
326.068 (2016S)
|
Software engineering
Further information
|
Register
|
KV |
2,0 |
Petru Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 15.03.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 05.04.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 12.04.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 19.04.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 26.04.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 03.05.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 10.05.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 24.05.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 31.05.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 07.06.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 14.06.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 21.06.2016 |
16:15 - 18:00
|
HS 14 |
|
| Di. 28.06.2016 |
16:15 - 18:00
|
HS 14 |
|
|
|
|
|
326.087 (2016S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
Stephan Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 09.03.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 16.03.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 06.04.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 13.04.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 20.04.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 27.04.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 11.05.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 18.05.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 25.05.2016 |
16:15 - 18:00
|
S3 048 |
|
| Mi. 01.06.2016 |
16:15 - 18:00
|
S3 048 |
|
| Mi. 08.06.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 15.06.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 22.06.2016 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 29.06.2016 |
16:15 - 18:00
|
MT 127 |
|
|
|
|
|
326.088 (2016S)
|
Special Topics
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 10.03.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 17.03.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 07.04.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 14.04.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 21.04.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 28.04.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 12.05.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 19.05.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 02.06.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 09.06.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 16.06.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 23.06.2016 |
17:15 - 18:45
|
S2 120 |
|
| Do. 30.06.2016 |
17:15 - 18:45
|
S2 120 |
|
|
|
|
|
326.0AD (2016S)
|
Special Topics
Introduction to Parallel and Distributed Computing
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 14.03.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 04.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 11.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 18.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 25.04.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 02.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 09.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 16.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 23.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 30.05.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 06.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 13.06.2016 |
08:30 - 10:00
|
S2 120 |
|
| Mo. 20.06.2016 |
08:30 - 10:00
|
S2 120 |
|
|
|
|
|
326.0MM (2016S)
|
Special Topics
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.03.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 15.03.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 05.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 12.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 19.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 26.04.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 03.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 10.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 24.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 31.05.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 07.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 14.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 21.06.2016 |
15:30 - 17:00
|
HT 176G |
|
| Di. 28.06.2016 |
15:30 - 17:00
|
HT 176G |
|
|
|
|
|
326.076 (2016S)
|
Special topics logic and software design
Formal Specification of Abstract Datatypes
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 11.03.2016 |
08:30 - 10:00
|
HS 12 |
|
| Fr. 18.03.2016 |
08:30 - 10:00
|
HS 12 |
|
|
|
|
|
326.086 (2016S)
|
Special topics logic and software design
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
| |
|
|
|
326.0SR (2016S)
|
Special Topics symbolic computation
Algebraic methods in kinematics
Further information
|
Register
|
VL |
2,0 |
Josef Schicho
|
Weekly
|
| |
|
|
