Find below the list of courses offered by RISC-Linz as of 13.4.2018.
Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
326.046 (2018S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 13.03.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 20.03.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 10.04.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 17.04.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 24.04.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 08.05.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 15.05.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 29.05.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 05.06.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 12.06.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 19.06.2018 |
12:00 - 13:30
|
HS 11 |
|
Di. 26.06.2018 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
326.047 (2018S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 13.03.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 20.03.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 10.04.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 17.04.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 24.04.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 08.05.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 15.05.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 29.05.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 05.06.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 12.06.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 19.06.2018 |
11:00 - 11:45
|
HS 11 |
|
Di. 26.06.2018 |
11:00 - 11:45
|
HS 11 |
|
|
|
|
326.079 (2018S)
|
Computer analysis
Further information
|
Register
|
VO |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 13.03.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 20.03.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 10.04.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 17.04.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 24.04.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 08.05.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 15.05.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 29.05.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 05.06.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 12.06.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 19.06.2018 |
12:00 - 13:30
|
K 001A |
|
Di. 26.06.2018 |
12:00 - 13:30
|
K 001A |
|
|
|
|
326.052 (2018S)
|
Computer systems
Further information
|
Register
|
KV |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 09.03.2018 |
10:15 - 11:45
|
BA 9911 |
|
Fr. 16.03.2018 |
10:15 - 11:45
|
BA 9911 |
|
Fr. 16.03.2018 |
12:00 - 13:30
|
BA 9912 |
|
Mo. 19.03.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 21.03.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 23.03.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 09.04.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 11.04.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 13.04.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 16.04.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 18.04.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 20.04.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 23.04.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 25.04.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 27.04.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 30.04.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 02.05.2018 |
14:30 - 16:15
|
S2 120 |
|
Mo. 07.05.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 09.05.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 11.05.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 14.05.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 16.05.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 18.05.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mi. 23.05.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 25.05.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 28.05.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 30.05.2018 |
14:30 - 16:15
|
S2 120 |
|
Mo. 04.06.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 06.06.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 08.06.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 11.06.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 13.06.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 15.06.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 18.06.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 20.06.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 22.06.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mo. 25.06.2018 |
16:15 - 18:00
|
K 223B |
|
Mi. 27.06.2018 |
14:30 - 16:15
|
S2 120 |
|
Fr. 29.06.2018 |
10:15 - 11:45
|
BA 9911 |
|
Mi. 04.07.2018 |
10:00 - 11:45
|
HS 8 |
|
|
|
|
326.081 (2018S)
|
Introduction to parallel and distributed computing
Further information
|
Register
|
VO |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 05.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 12.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 19.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 09.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 16.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 23.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 30.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 07.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 14.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 28.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 04.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 11.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 18.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 25.06.2018 |
08:30 - 10:00
|
S2 219 |
|
|
|
|
326.008 (2018S)
|
Decidibility and complexity classes
Further information
|
Register
|
VO |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 15.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 22.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 12.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 19.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 26.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 03.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 17.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 24.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 07.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 14.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 21.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 28.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
|
|
|
326.703 (2018S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
16:15 - 18:00
|
HS 10 |
|
Do. 15.03.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 22.03.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 19.04.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 26.04.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 03.05.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 17.05.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 24.05.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 07.06.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 14.06.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 21.06.2018 |
16:15 - 17:00
|
S3 047 |
|
Do. 28.06.2018 |
16:15 - 17:00
|
S3 047 |
|
|
|
|
326.712 (2018S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 15.03.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 22.03.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 12.04.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 19.04.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 26.04.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 03.05.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 24.05.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 14.06.2018 |
13:45 - 16:15
|
HS 18 |
|
Do. 28.06.2018 |
13:45 - 16:15
|
HS 18 |
|
|
|
|
326.714 (2018S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
16:15 - 18:00
|
HS 9 |
|
Do. 15.03.2018 |
16:15 - 17:00
|
HS 18 |
|
Do. 22.03.2018 |
16:15 - 17:00
|
HS 18 |
|
Do. 12.04.2018 |
16:15 - 17:00
|
HS 18 |
|
Do. 19.04.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 26.04.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 03.05.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 17.05.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 24.05.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 07.06.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 14.06.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 21.06.2018 |
16:15 - 17:00
|
MT 226 |
|
Do. 28.06.2018 |
16:15 - 17:00
|
MT 226 |
|
|
|
|
326.003 (2018S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 2018
Further information
|
Register
|
KV |
2,0 |
Diego Dominici
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 13.03.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 20.03.2018 |
13:45 - 15:15
|
S2 044 |
|
Di. 10.04.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 17.04.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 24.04.2018 |
13:45 - 15:15
|
S2 046 |
|
Di. 08.05.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 15.05.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 29.05.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 05.06.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 12.06.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 19.06.2018 |
13:45 - 15:15
|
BA 9912 |
|
Di. 26.06.2018 |
13:45 - 15:15
|
BA 9912 |
|
|
|
|
326.054 (2018S)
|
Functional programming
Further information
|
Register
|
KV |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
16:15 - 18:00
|
BA 9911 |
|
Mi. 14.03.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 21.03.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 11.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 18.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 25.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 02.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 09.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 16.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 23.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 30.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 06.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 13.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 20.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 27.06.2018 |
17:15 - 18:45
|
MT 226 |
|
|
|
|
326.0KA (2018S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VO |
4,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 09.03.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 13.03.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 16.03.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 20.03.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 23.03.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 10.04.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 13.04.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 17.04.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 20.04.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 24.04.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 27.04.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 08.05.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 11.05.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 15.05.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 18.05.2018 |
10:15 - 11:45
|
HS 14 |
|
Fr. 25.05.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 29.05.2018 |
14:30 - 16:15
|
HS 12 |
|
Di. 05.06.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 08.06.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 12.06.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 15.06.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 19.06.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 22.06.2018 |
10:15 - 11:45
|
HS 14 |
|
Di. 26.06.2018 |
14:30 - 16:15
|
HS 12 |
|
Fr. 29.06.2018 |
10:15 - 11:45
|
HS 14 |
|
|
|
|
326.0UK (2018S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
UE |
1,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 13.03.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 20.03.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 10.04.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 17.04.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 24.04.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 08.05.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 15.05.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 29.05.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 05.06.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 12.06.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 19.06.2018 |
16:15 - 17:00
|
HS 12 |
|
Di. 26.06.2018 |
16:15 - 17:00
|
HS 12 |
|
|
|
|
326.048 (2018S)
|
Logic as a working language
Further information
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 13.03.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 20.03.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 10.04.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 17.04.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 24.04.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 08.05.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 15.05.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 29.05.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 05.06.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 12.06.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 19.06.2018 |
12:00 - 13:30
|
S2 048 |
|
Di. 26.06.2018 |
12:00 - 13:30
|
S2 048 |
|
|
|
|
326.0XX (2018S)
|
Seminar for graduate and doctoral students
Summer Semester 2018
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
|
|
|
326.0YY (2018S)
|
Seminar for graduate and doctoral students
Summer Semester 2018
|
Register
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
|
|
|
326.0ZZ (2018S)
|
Seminar for graduate and doctoral students
Summer Semester 2018
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 15.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 22.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 12.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 19.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 26.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 03.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 17.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 24.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 07.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 14.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 21.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 28.06.2018 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
326.041 (2018S)
|
Practical software technology
Further information
|
Register
|
KV |
4,0 |
Ioana Cleopatra Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
14:30 - 16:15
|
S2 054 |
Introduction. Eclipse. |
Do. 08.03.2018 |
14:30 - 16:15
|
S2 044 |
First steps in Java |
Mi. 14.03.2018 |
14:30 - 16:15
|
S2 054 |
Project Management with Redmine |
Do. 15.03.2018 |
14:30 - 16:15
|
S2 044 |
Object Oriented Programming |
Mi. 21.03.2018 |
14:30 - 16:15
|
S2 054 |
Version Control Systems: SVN |
Do. 22.03.2018 |
14:30 - 16:15
|
S2 044 |
Garbage Collection, Packages, Polymorphism |
Mi. 11.04.2018 |
14:30 - 16:15
|
S2 054 |
Version Control Systems: Git |
Mi. 18.04.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 19.04.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 25.04.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 26.04.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 02.05.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 03.05.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 09.05.2018 |
14:30 - 16:15
|
S2 054 |
|
Mi. 16.05.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 17.05.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 23.05.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 24.05.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 30.05.2018 |
14:30 - 16:15
|
S2 054 |
|
Mi. 06.06.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 07.06.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 13.06.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 14.06.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 20.06.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 21.06.2018 |
14:30 - 16:15
|
S2 044 |
|
Mi. 27.06.2018 |
14:30 - 16:15
|
S2 054 |
|
Do. 28.06.2018 |
14:30 - 16:15
|
S2 044 |
|
|
|
|
326.062 (2018S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 13.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 20.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 10.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 17.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 24.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 08.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 15.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 29.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 05.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 12.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 19.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 26.06.2018 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.020 (2018S)
|
Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 18)
Further information
|
Register
|
SE |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
|
|
326.098 (2018S)
|
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. 05.03.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 12.03.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 19.03.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 09.04.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 09.04.2018 |
16:15 - 18:45
|
S2 219 |
|
Di. 10.04.2018 |
17:15 - 19:45
|
S3 057 |
|
Mo. 16.04.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 23.04.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 30.04.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 07.05.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 14.05.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 28.05.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 04.06.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 04.06.2018 |
16:15 - 18:45
|
S2 219 |
|
Di. 05.06.2018 |
17:15 - 19:45
|
S3 057 |
|
Mo. 11.06.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 18.06.2018 |
09:00 - 10:30
|
U1-14 |
|
Mo. 25.06.2018 |
09:00 - 10:30
|
U1-14 |
|
|
|
|
326.099 (2018S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 18)
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 14.03.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 21.03.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 11.04.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 18.04.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 25.04.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 25.04.2018 |
16:15 - 18:45
|
S2 120 |
|
Mi. 02.05.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 09.05.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 16.05.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 23.05.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 30.05.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 06.06.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 13.06.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 20.06.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 27.06.2018 |
12:30 - 14:00
|
HA 105 |
|
Mi. 27.06.2018 |
16:15 - 18:45
|
S2 120 |
|
|
|
|
326.006 (2018S)
|
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
|
Register
|
SE |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
|
|
326.060 (2018S)
|
Seminar symbolic computation
History and Philosophy of Mathematics
Further information
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 22.03.2018 |
13:45 - 15:15
|
S2 120 |
|
Do. 19.04.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 26.04.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 03.05.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 17.05.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 24.05.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 07.06.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 14.06.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 21.06.2018 |
13:45 - 15:15
|
HF 9905 |
|
Do. 28.06.2018 |
13:45 - 15:15
|
HF 9905 |
|
|
|
|
326.096 (2018S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2018)
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 14.03.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 21.03.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 11.04.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 18.04.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 25.04.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 02.05.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 09.05.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 16.05.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 23.05.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 30.05.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 06.06.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 13.06.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 20.06.2018 |
14:00 - 15:30
|
HA 105 |
|
Mi. 27.06.2018 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
326.0CA (2018S)
|
Seminar symbolic computation
Computer algebra II
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 15.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 22.03.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 12.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 19.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 26.04.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 03.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 17.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 24.05.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 07.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 14.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 21.06.2018 |
10:15 - 11:45
|
HA 105 |
|
Do. 28.06.2018 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
326.068 (2018S)
|
Software engineering
Further information
|
Register
|
KV |
2,0 |
Petru Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 13.03.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 20.03.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 10.04.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 17.04.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 24.04.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 08.05.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 15.05.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 29.05.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 05.06.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 12.06.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 19.06.2018 |
16:15 - 18:00
|
MT 132 |
|
Di. 26.06.2018 |
16:15 - 18:00
|
MT 132 |
|
|
|
|
326.087 (2018S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
16:15 - 18:00
|
BA 9911 |
|
Mi. 14.03.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 21.03.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 11.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 18.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 25.04.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 02.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 09.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 16.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 23.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 30.05.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 06.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 13.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 20.06.2018 |
17:15 - 18:45
|
MT 226 |
|
Mi. 27.06.2018 |
17:15 - 18:45
|
MT 226 |
|
|
|
|
326.0AD (2018S)
|
Special Topics
Introduction to Parallel and Distributed Computing
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 05.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 12.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 19.03.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 09.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 16.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 23.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 30.04.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 07.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 14.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 28.05.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 04.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 11.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 18.06.2018 |
08:30 - 10:00
|
S2 219 |
|
Mo. 25.06.2018 |
08:30 - 10:00
|
S2 219 |
|
|
|
|
326.0DC (2018S)
|
Special Topics
Decidability and Complexity Classes
Further information
|
Register
|
VL |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 15.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 22.03.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 12.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 19.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 26.04.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 03.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 17.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 24.05.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 07.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 14.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 21.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
Do. 28.06.2018 |
08:30 - 10:00
|
BA 9912 |
|
|
|
|
326.0MM (2018S)
|
Special Topics
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 06.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 13.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 20.03.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 10.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 17.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 24.04.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 08.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 15.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 29.05.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 05.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 12.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 19.06.2018 |
14:30 - 16:15
|
HT 176G |
|
Di. 26.06.2018 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.076 (2018S)
|
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. 09.03.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 16.03.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 23.03.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 13.04.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 20.04.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 27.04.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 11.05.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 18.05.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 25.05.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 08.06.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 15.06.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 22.06.2018 |
08:30 - 10:00
|
HS 13 |
|
Fr. 29.06.2018 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.097 (2018S)
|
Special topics logic and software design
Unification Theory
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 15.03.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 22.03.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 12.04.2018 |
16:15 - 18:00
|
HT 177F |
|
Do. 19.04.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 26.04.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 03.05.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 17.05.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 24.05.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 07.06.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 14.06.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 21.06.2018 |
16:15 - 18:00
|
S2 046 |
|
Do. 28.06.2018 |
16:15 - 18:00
|
S2 046 |
|
|
|
|
326.0DD (2018S)
|
Special topics logic and software design
Arithmetic, Recursion, and Types
Further information
|
Register
|
VL |
2,0 |
David Cerna
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 08.03.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 15.03.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 22.03.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 12.04.2018 |
16:15 - 18:00
|
ESH 2 |
|
Do. 19.04.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 26.04.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 03.05.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 17.05.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 24.05.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 07.06.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 14.06.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 21.06.2018 |
16:15 - 18:00
|
S2 044 |
|
Do. 28.06.2018 |
16:15 - 18:00
|
S2 044 |
|
|
|
|
326.026 (2018S)
|
Special Topics symbolic computation
Polynomial system solving and applications
|
Register
|
VL |
2,0 |
Ioannis Emiris
|
Block
|
|
|
|
326.075 (2018S)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions II
Further information
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 07.03.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 14.03.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 21.03.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 11.04.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 18.04.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 25.04.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 02.05.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 09.05.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 16.05.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 23.05.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 30.05.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 06.06.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 13.06.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 20.06.2018 |
16:00 - 17:30
|
HA 105 |
|
Mi. 27.06.2018 |
16:00 - 17:30
|
HA 105 |
|
|
|
|
326.0SR (2018S)
|
Special Topics symbolic computation
Mathematical Methods in Kinematics
Further information
|
Register
|
VL |
2,0 |
Josef Schicho
|
Weekly
|
|
|
|