Find below the list of courses offered by RISC-Linz as of 30.6.2017.
Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
326.046 (2017S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 14.03.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 21.03.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 28.03.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 04.04.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 25.04.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 02.05.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 09.05.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 16.05.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 23.05.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 30.05.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 13.06.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 20.06.2017 |
12:00 - 13:30
|
HS 14 |
|
Di. 27.06.2017 |
12:00 - 13:30
|
HS 14 |
|
|
|
|
326.047 (2017S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 14.03.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 21.03.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 28.03.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 04.04.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 25.04.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 02.05.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 09.05.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 16.05.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 23.05.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 30.05.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 13.06.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 20.06.2017 |
11:00 - 11:45
|
HS 14 |
|
Di. 27.06.2017 |
11:00 - 11:45
|
HS 14 |
|
|
|
|
326.052 (2017S)
|
Computer systems
Further information
|
Register
|
KV |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 10.03.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 13.03.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 16.03.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 17.03.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 20.03.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 23.03.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 24.03.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 27.03.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 30.03.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 31.03.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 03.04.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 06.04.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 07.04.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 24.04.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 27.04.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 28.04.2017 |
10:15 - 11:45
|
BA 9911 |
|
Fr. 05.05.2017 |
10:15 - 11:45
|
K 033C |
|
Mo. 08.05.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 11.05.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 12.05.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 15.05.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 18.05.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 19.05.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 22.05.2017 |
13:45 - 15:15
|
K 223B |
|
Fr. 26.05.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 29.05.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 01.06.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 02.06.2017 |
10:15 - 11:45
|
BA 9911 |
|
Do. 08.06.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 09.06.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 12.06.2017 |
13:45 - 15:15
|
K 223B |
|
Mo. 19.06.2017 |
13:45 - 15:15
|
K 223B |
|
Do. 22.06.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 23.06.2017 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 26.06.2017 |
13:45 - 15:15
|
K 223B |
|
Di. 27.06.2017 |
17:15 - 18:45
|
HS 19 |
|
Do. 29.06.2017 |
13:45 - 15:15
|
HF 9905 |
|
Fr. 30.06.2017 |
10:15 - 11:45
|
BA 9911 |
|
|
|
|
326.703 (2017S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 16.03.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 23.03.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 30.03.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 06.04.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 27.04.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 11.05.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 18.05.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 01.06.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 08.06.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 22.06.2017 |
18:00 - 18:45
|
HS 3 |
|
Do. 29.06.2017 |
18:00 - 18:45
|
HS 3 |
|
|
|
|
326.712 (2017S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 16.03.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 23.03.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 30.03.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 06.04.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 27.04.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 11.05.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 18.05.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 01.06.2017 |
13:45 - 16:15
|
HS 2 |
|
Do. 08.06.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 22.06.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 29.06.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 06.07.2017 |
13:45 - 16:15
|
HS 18 |
|
Do. 06.07.2017 |
13:45 - 16:15
|
HS 19 |
|
|
|
|
326.714 (2017S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 16.03.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 23.03.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 30.03.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 06.04.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 27.04.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 11.05.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 18.05.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 01.06.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 08.06.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 22.06.2017 |
18:00 - 18:45
|
T 405 |
|
Do. 29.06.2017 |
18:00 - 18:45
|
T 405 |
|
|
|
|
326.0FS (2017S)
|
Formal Semantics of Programming Languages
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 10.03.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 17.03.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 24.03.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 31.03.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 07.04.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 28.04.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 05.05.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 12.05.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 19.05.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 26.05.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 02.06.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 09.06.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 23.06.2017 |
08:30 - 10:00
|
HS 12 |
|
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 12 |
|
|
|
|
326.003 (2017S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Further information
|
Register
|
KV |
2,0 |
Clemens Raab
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 14.03.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 21.03.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 04.04.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 02.05.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 09.05.2017 |
10:15 - 11:45
|
S2 054 |
|
Fr. 12.05.2017 |
15:30 - 17:00
|
S2 054 |
|
Di. 16.05.2017 |
10:15 - 11:45
|
S2 054 |
|
Fr. 19.05.2017 |
15:30 - 17:00
|
S2 054 |
|
Di. 23.05.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 30.05.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 13.06.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 20.06.2017 |
10:15 - 11:45
|
S2 054 |
|
Di. 27.06.2017 |
10:15 - 11:45
|
S2 054 |
|
|
|
|
326.054 (2017S)
|
Functional programming
Further information
|
Register
|
KV |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
16:15 - 18:00
|
S2 219 |
|
Mi. 15.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 22.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 29.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 05.04.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 26.04.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 03.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 10.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 17.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 24.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 31.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 07.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 14.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 21.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 28.06.2017 |
17:15 - 18:45
|
S2 053 |
|
|
|
|
326.0KA (2017S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VO |
4,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 10.03.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 14.03.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 17.03.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 21.03.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 24.03.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 28.03.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 31.03.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 04.04.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 07.04.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 25.04.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 28.04.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 02.05.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 05.05.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 09.05.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 12.05.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 16.05.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 19.05.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 23.05.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 26.05.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 30.05.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 02.06.2017 |
10:15 - 11:45
|
HS 14 |
|
Fr. 09.06.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 13.06.2017 |
14:30 - 16:15
|
HS 11 |
|
Di. 20.06.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 23.06.2017 |
10:15 - 11:45
|
HS 14 |
|
Di. 27.06.2017 |
14:30 - 16:15
|
HS 11 |
|
Fr. 30.06.2017 |
10:15 - 11:45
|
HS 14 |
|
|
|
|
326.0UK (2017S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
UE |
1,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 14.03.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 21.03.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 28.03.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 04.04.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 25.04.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 02.05.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 09.05.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 16.05.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 23.05.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 30.05.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 13.06.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 20.06.2017 |
16:15 - 17:00
|
HS 11 |
|
Di. 27.06.2017 |
16:15 - 17:00
|
HS 11 |
|
|
|
|
326.048 (2017S)
|
Logic as a working language
Further information
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 21.03.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 28.03.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 04.04.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 25.04.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 02.05.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 09.05.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 16.05.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 23.05.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 30.05.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 13.06.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 20.06.2017 |
12:00 - 13:30
|
S2 048 |
|
Di. 27.06.2017 |
12:00 - 13:30
|
S2 048 |
|
|
|
|
326.0XX (2017S)
|
Seminar for graduate and doctoral students
Sommer Semester 17
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
|
|
|
326.0YY (2017S)
|
Seminar for graduate and doctoral students
Summer Semester 17
|
Register
|
SE |
2,0 |
Tudor Jebelean
Bruno Buchberger
|
Weekly
|
|
|
|
326.0ZZ (2017S)
|
Seminar for graduate and doctoral students
Summer Semester 17
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
14:30 - 16:00
|
HA 105 |
|
Do. 16.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 23.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 30.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 06.04.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 27.04.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 11.05.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 18.05.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 01.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 08.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 22.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 29.06.2017 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
357.301 (2017S)
|
Mathematics for Economists
Further information
|
Register
|
KS |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 09.03.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 16.03.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 16.03.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 23.03.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 23.03.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 30.03.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 30.03.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 06.04.2017 |
17:15 - 18:45
|
HS 19 |
|
Do. 06.04.2017 |
19:00 - 20:30
|
HS 19 |
Tutorium |
Do. 27.04.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 27.04.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 11.05.2017 |
17:15 - 18:45
|
HS 10 |
|
Do. 11.05.2017 |
19:00 - 20:30
|
HS 10 |
Prüfungsteil A |
Do. 11.05.2017 |
19:00 - 20:30
|
HS 1 |
Prüfungsteil A |
Do. 11.05.2017 |
19:00 - 20:30
|
HS 7 |
Prüfungsteil A |
Do. 11.05.2017 |
19:00 - 20:30
|
HS 2 |
Prüfungsteil A |
Do. 11.05.2017 |
19:00 - 20:30
|
HS 9 |
Prüfungsteil A |
Do. 18.05.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 18.05.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 01.06.2017 |
17:15 - 18:45
|
HS 19 |
|
Do. 01.06.2017 |
19:00 - 20:30
|
HS 19 |
Tutorium |
Do. 08.06.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 08.06.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Do. 22.06.2017 |
17:15 - 18:45
|
HS 10 |
|
Do. 22.06.2017 |
19:00 - 20:30
|
HS 10 |
Tutorium |
Do. 29.06.2017 |
17:15 - 18:45
|
HS 18 |
|
Do. 29.06.2017 |
19:00 - 20:30
|
HS 18 |
Tutorium |
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 1 |
Prüfungsteil B |
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 10 |
Prüfungsteil B |
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 7 |
Prüfungsteil B |
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 9 |
Prüfungsteil B |
Fr. 30.06.2017 |
08:30 - 10:00
|
HS 18 |
Prüfungsteil B |
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 10 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 16 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 9 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 18 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 15 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 8 |
|
Fr. 15.09.2017 |
10:15 - 11:45
|
HS 17 |
|
|
|
|
326.059 (2017S)
|
Mathematical logic 2
Further information
|
Register
|
VO |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 16.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 23.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 30.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 06.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 27.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 11.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 18.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 01.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 08.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 22.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Do. 29.06.2017 |
08:30 - 10:00
|
HS 11 |
|
|
|
|
326.041 (2017S)
|
Practical software technology
Further information
|
Register
|
KV |
4,0 |
Ioana Cleopatra Pau
David Cerna
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
14:30 - 16:15
|
MT 327 |
Introduction. IDE's / Eclipse |
Do. 09.03.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 15.03.2017 |
13:45 - 16:15
|
ESH 3 |
|
Do. 16.03.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 22.03.2017 |
13:45 - 16:15
|
ESH 3 |
Project Management Platforms: Redmine |
Do. 23.03.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 29.03.2017 |
13:45 - 16:15
|
ESH 3 |
Version Control Systems. SVN. |
Do. 30.03.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 05.04.2017 |
13:45 - 16:15
|
BA 9909 |
Version Control Systems. Git. |
Do. 06.04.2017 |
14:30 - 16:15
|
MZ 005B |
Javadoc. Integration of tools. |
Mi. 26.04.2017 |
13:45 - 16:15
|
HT 177F |
Testing. JUnit. |
Do. 27.04.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 03.05.2017 |
13:45 - 16:15
|
HT 177F |
Continuous Integration. Jenkins. |
Mi. 10.05.2017 |
13:45 - 16:15
|
ESH 3 |
Testing & Mocking |
Do. 11.05.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 17.05.2017 |
13:45 - 16:15
|
ESH 3 |
Design Patterns. Part 1 |
Do. 18.05.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 24.05.2017 |
13:45 - 16:15
|
ESH 3 |
|
Mi. 31.05.2017 |
13:45 - 16:15
|
HT 177F |
Design Patterns. Part 2 |
Do. 01.06.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 07.06.2017 |
13:45 - 16:15
|
ESH 3 |
Design Patterns. Part 3 |
Do. 08.06.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 14.06.2017 |
13:45 - 16:15
|
HT 177F |
Design Patterns. Part 4 |
Mi. 21.06.2017 |
13:45 - 16:15
|
K 012D |
|
Do. 22.06.2017 |
14:30 - 16:15
|
MZ 005B |
|
Mi. 28.06.2017 |
13:45 - 16:15
|
K 012D |
|
Do. 29.06.2017 |
14:30 - 16:15
|
MZ 005B |
|
|
|
|
326.062 (2017S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 16.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 23.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 30.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Di. 04.04.2017 |
14:30 - 16:15
|
K 012D |
|
Do. 27.04.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 11.05.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 18.05.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 01.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 08.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 22.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 29.06.2017 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.065 (2017S)
|
Rewriting in Computer Science and Logic
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 17.03.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 24.03.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 31.03.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 07.04.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 28.04.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 05.05.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 12.05.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 19.05.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 26.05.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 02.06.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 09.06.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 23.06.2017 |
12:00 - 13:30
|
T 406/1 |
|
Fr. 30.06.2017 |
12:00 - 13:30
|
T 406/1 |
|
Mo. 10.07.2017 |
10:00 - 12:00
|
K 224B |
|
|
|
|
326.098 (2017S)
|
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 |
Mo. 13.03.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 20.03.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 27.03.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 03.04.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 24.04.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 08.05.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 15.05.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 22.05.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 29.05.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 12.06.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 19.06.2017 |
15:00 - 16:30
|
HA 105 |
|
Mo. 26.06.2017 |
15:00 - 16:30
|
HA 105 |
|
|
|
|
326.099 (2017S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 17)
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
Franz Lichtenberger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 15.03.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 22.03.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 29.03.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 05.04.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 26.04.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 03.05.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 10.05.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 17.05.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 24.05.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 31.05.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 07.06.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 14.06.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 21.06.2017 |
12:30 - 14:00
|
HA 105 |
|
Mi. 28.06.2017 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
326.006 (2017S)
|
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
|
Register
|
SE |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
13:45 - 15:15
|
S3 048 |
|
Di. 14.03.2017 |
13:45 - 15:15
|
S3 048 |
|
Di. 21.03.2017 |
13:45 - 15:15
|
S3 048 |
|
|
|
|
326.060 (2017S)
|
Seminar symbolic computation
Algorithmic Algebra
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 15.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 22.03.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 29.03.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 05.04.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 26.04.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 03.05.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 10.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 17.05.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 24.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 31.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 07.06.2017 |
13:45 - 15:15
|
T 406/1 |
|
Mi. 14.06.2017 |
13:45 - 15:15
|
S2 054 |
|
Mi. 21.06.2017 |
13:45 - 15:15
|
T 406/1 |
|
|
|
|
326.096 (2017S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 17)
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 15.03.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 22.03.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 29.03.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 05.04.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 26.04.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 03.05.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 10.05.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 17.05.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 24.05.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 31.05.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 07.06.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 14.06.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 21.06.2017 |
14:00 - 15:30
|
HA 105 |
|
Mi. 28.06.2017 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
326.0UU (2017S)
|
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 17)
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
14:30 - 16:00
|
HA 105 |
|
Do. 16.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 23.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 30.03.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 06.04.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 27.04.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 11.05.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 18.05.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 01.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 08.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 22.06.2017 |
10:15 - 11:45
|
HA 105 |
|
Do. 29.06.2017 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
326.068 (2017S)
|
Software engineering
Further information
|
Register
|
KV |
2,0 |
Petru Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 07.03.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 14.03.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 21.03.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 28.03.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 04.04.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 25.04.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 02.05.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 09.05.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 16.05.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 23.05.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 30.05.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 13.06.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 20.06.2017 |
16:15 - 17:45
|
S2 053 |
|
Di. 27.06.2017 |
16:15 - 17:45
|
S2 053 |
|
Fr. 30.06.2017 |
16:15 - 19:00
|
S2 054 |
|
|
|
|
326.087 (2017S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 08.03.2017 |
16:15 - 18:00
|
S2 219 |
|
Mi. 15.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 22.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 29.03.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 05.04.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 26.04.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 03.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 10.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 17.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 24.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 31.05.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 07.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 14.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 21.06.2017 |
17:15 - 18:45
|
S2 053 |
|
Mi. 28.06.2017 |
17:15 - 18:45
|
S2 053 |
|
|
|
|
326.0MM (2017S)
|
Special Topics
Programming in Mathematica
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 16.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 23.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 30.03.2017 |
14:30 - 16:15
|
HT 176G |
|
Di. 04.04.2017 |
14:30 - 16:15
|
K 012D |
|
Do. 27.04.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 11.05.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 18.05.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 01.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 08.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 22.06.2017 |
14:30 - 16:15
|
HT 176G |
|
Do. 29.06.2017 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.0VR (2017S)
|
Special Topics
Formal Models of Parallel and Distributed Systems
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 06.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 13.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 20.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 27.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 03.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 24.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 08.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 15.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 22.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 29.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 12.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 19.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 26.06.2017 |
08:30 - 10:00
|
HS 11 |
|
|
|
|
326.00E (2017S)
|
Special topics logic and software design
Formal Languages and Formal Grammars
Further information
|
Register
|
VL |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 09.03.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 16.03.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 23.03.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 30.03.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 06.04.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 27.04.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 11.05.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 18.05.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 01.06.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 08.06.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 22.06.2017 |
16:15 - 18:00
|
HS 11 |
|
Do. 29.06.2017 |
16:15 - 18:00
|
HS 11 |
|
|
|
|
326.076 (2017S)
|
Special topics logic and software design
Formal Models of Parallel and Distributed Systems
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 06.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 13.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 20.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 27.03.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 03.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 24.04.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 08.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 15.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 22.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 29.05.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 12.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 19.06.2017 |
08:30 - 10:00
|
HS 11 |
|
Mo. 26.06.2017 |
08:30 - 10:00
|
HS 11 |
|
|
|
|
326.080 (2017S)
|
Special Topics symbolic computation
Symbolic Linear Algebra
Further information
|
Register
|
VL |
2,0 |
Johannes Middeke
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 10.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 17.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 24.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 31.03.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 07.04.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 28.04.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 05.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 12.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 19.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 26.05.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 02.06.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 09.06.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 23.06.2017 |
13:45 - 15:15
|
S2 054 |
|
Fr. 30.06.2017 |
13:45 - 15:15
|
S2 054 |
|
|
|
|