Find below the list of courses offered by RISC-Linz as of 31.1.2019.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.006 (2018W)
|
Algorithms and data structures
Further information
|
Register
|
UE |
1,0 |
Ioana Cleopatra Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 11.10.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 18.10.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 25.10.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 08.11.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 15.11.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 22.11.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 29.11.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 06.12.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 13.12.2018 |
13:45 - 14:30
|
HT 177F |
|
| Do. 10.01.2019 |
13:45 - 14:30
|
HT 177F |
|
| Do. 17.01.2019 |
12:45 - 14:30
|
K 223B |
|
| Do. 24.01.2019 |
13:45 - 14:30
|
HT 177F |
|
| Do. 31.01.2019 |
13:45 - 14:30
|
HT 177F |
|
|
|
|
|
326.005 (2018W)
|
Algorithms and data structures
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 11.10.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 18.10.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 25.10.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 08.11.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 15.11.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 22.11.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 29.11.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 06.12.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 13.12.2018 |
08:30 - 10:00
|
HS 12 |
|
| Do. 10.01.2019 |
08:30 - 10:00
|
HS 12 |
|
| Do. 17.01.2019 |
08:30 - 10:00
|
HS 12 |
|
| Do. 24.01.2019 |
08:30 - 10:00
|
HS 12 |
|
| Do. 31.01.2019 |
08:30 - 10:00
|
HS 12 |
|
| Fr. 15.02.2019 |
10:00 - 12:00
|
HS 4 |
|
|
|
|
|
326.022 (2018W)
|
Analysis
Further information
|
Register
|
VO |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 12.10.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 19.10.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 09.11.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 16.11.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 23.11.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 30.11.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 07.12.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 14.12.2018 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 11.01.2019 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 18.01.2019 |
08:30 - 10:00
|
HS 10 |
|
| Fr. 25.01.2019 |
08:30 - 10:00
|
HS 10 |
|
| Do. 07.02.2019 |
12:30 - 14:30
|
HS 10 |
|
| Di. 26.02.2019 |
12:30 - 14:30
|
HS 10 |
|
|
|
|
|
326.027 (2018W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Alexander Maletzky
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 11.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 18.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 25.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 08.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 15.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 22.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 29.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 06.12.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 13.12.2018 |
15:30 - 17:00
|
HS 13 |
|
| Do. 10.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Do. 17.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Do. 24.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Do. 31.01.2019 |
15:30 - 17:00
|
HS 13 |
|
|
|
|
|
326.029 (2018W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 11.10.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 18.10.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 25.10.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 08.11.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 15.11.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 22.11.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 29.11.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 06.12.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 13.12.2018 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 10.01.2019 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 17.01.2019 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 24.01.2019 |
15:30 - 17:00
|
BA 9910 |
|
| Do. 31.01.2019 |
15:30 - 17:00
|
BA 9910 |
|
|
|
|
|
326.056 (2018W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Johannes Middeke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 11.10.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 18.10.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 25.10.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 08.11.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 15.11.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 22.11.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 29.11.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 06.12.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 13.12.2018 |
15:30 - 17:00
|
T 911 |
|
| Do. 10.01.2019 |
15:30 - 17:00
|
T 911 |
|
| Do. 17.01.2019 |
15:30 - 17:00
|
T 911 |
|
| Do. 24.01.2019 |
15:30 - 17:00
|
T 911 |
|
| Do. 31.01.2019 |
15:30 - 17:00
|
T 911 |
|
|
|
|
|
326.055 (2018W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Jakob Ablinger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 11.10.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 18.10.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 25.10.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 08.11.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 15.11.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 22.11.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 29.11.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 06.12.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 13.12.2018 |
15:30 - 17:00
|
HS 11 |
|
| Do. 10.01.2019 |
15:30 - 17:00
|
HS 11 |
|
| Do. 17.01.2019 |
15:30 - 17:00
|
HS 11 |
|
| Do. 24.01.2019 |
15:30 - 17:00
|
HS 11 |
|
| Do. 31.01.2019 |
15:30 - 17:00
|
HS 11 |
|
|
|
|
|
326.012 (2018W)
|
Bachelor Seminar with Bachelor Thesis
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.050 (2018W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,0 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 12.10.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 19.10.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 09.11.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 16.11.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 23.11.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 30.11.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 30.11.2018 |
14:30 - 15:15
|
HS 1 |
|
| Fr. 07.12.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 14.12.2018 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 11.01.2019 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 18.01.2019 |
11:00 - 11:45
|
HS 12 |
|
| Fr. 18.01.2019 |
14:30 - 15:15
|
HS 1 |
|
| Fr. 25.01.2019 |
11:00 - 11:45
|
HS 12 |
|
|
|
|
|
326.016 (2018W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,0 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 12.10.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 19.10.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 09.11.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 16.11.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 23.11.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 30.11.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 30.11.2018 |
14:30 - 15:15
|
HS 1 |
|
| Fr. 07.12.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 14.12.2018 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 11.01.2019 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 18.01.2019 |
10:15 - 11:00
|
HS 12 |
|
| Fr. 18.01.2019 |
14:30 - 15:15
|
HS 1 |
|
| Fr. 25.01.2019 |
10:15 - 11:00
|
HS 12 |
|
|
|
|
|
326.023 (2018W)
|
Computability and Complexity
Further information
|
Register
|
VO |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 12.10.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 19.10.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 09.11.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 16.11.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 23.11.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 30.11.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 07.12.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 14.12.2018 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 11.01.2019 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 18.01.2019 |
12:00 - 13:30
|
HS 10 |
|
| Fr. 25.01.2019 |
12:00 - 13:30
|
HS 10 |
|
| Do. 31.01.2019 |
17:15 - 18:45
|
HS 19 |
|
| Fr. 01.02.2019 |
12:00 - 13:30
|
HS 18 |
|
|
|
|
|
326.004 (2018W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 01.10.2018 |
15:30 - 16:15
|
MT 226/1 |
|
| Do. 11.10.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 18.10.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 08.11.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 15.11.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 22.11.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 29.11.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Fr. 30.11.2018 |
14:30 - 15:15
|
HS 1 |
|
| Do. 06.12.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 13.12.2018 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 10.01.2019 |
08:30 - 09:15
|
BA 9912 |
|
| Do. 17.01.2019 |
08:30 - 09:15
|
BA 9912 |
|
| Fr. 18.01.2019 |
14:30 - 15:15
|
HS 1 |
|
| Do. 24.01.2019 |
08:30 - 09:15
|
BA 9912 |
|
|
|
|
|
326.018 (2018W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 01.10.2018 |
16:15 - 17:00
|
MT 226/1 |
|
| Do. 11.10.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 18.10.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 08.11.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 15.11.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 22.11.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 29.11.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Fr. 30.11.2018 |
14:30 - 15:15
|
HS 1 |
|
| Do. 06.12.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 13.12.2018 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 10.01.2019 |
09:15 - 10:00
|
BA 9912 |
|
| Do. 17.01.2019 |
09:15 - 10:00
|
BA 9912 |
|
| Fr. 18.01.2019 |
14:30 - 15:15
|
HS 1 |
|
| Do. 24.01.2019 |
09:15 - 10:00
|
BA 9912 |
|
|
|
|
|
326.010 (2018W)
|
Computational Logic
Further information
|
Register
|
VL |
2,0 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 08.10.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 15.10.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 22.10.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 29.10.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 05.11.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 12.11.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 19.11.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 03.12.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 10.12.2018 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 07.01.2019 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 14.01.2019 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 21.01.2019 |
15:30 - 18:00
|
HS 11 |
|
| Mo. 28.01.2019 |
15:30 - 18:00
|
HS 11 |
|
|
|
|
|
326.011 (2018W)
|
Computational Logic
Further information
|
Register
|
UE |
1,0 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 08.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 15.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 29.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 05.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 12.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 19.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 03.12.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 10.12.2018 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 07.01.2019 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 14.01.2019 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 21.01.2019 |
18:00 - 18:45
|
HS 11 |
|
| Mo. 28.01.2019 |
18:00 - 18:45
|
HS 11 |
|
|
|
|
|
326.007 (2018W)
|
Computer Algebra
Further information
|
Register
|
VL |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 02.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 09.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 16.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 23.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 30.10.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 06.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 13.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 20.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 27.11.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 04.12.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 11.12.2018 |
15:30 - 17:00
|
HS 13 |
|
| Di. 08.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Di. 15.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Di. 22.01.2019 |
15:30 - 17:00
|
HS 13 |
|
| Di. 29.01.2019 |
16:15 - 18:45
|
HS 18 |
|
|
|
|
|
326.031 (2018W)
|
Computer Algebra
Further information
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 16.10.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 23.10.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 30.10.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 06.11.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 13.11.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 20.11.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 27.11.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 04.12.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 11.12.2018 |
17:15 - 18:00
|
HS 13 |
|
| Di. 08.01.2019 |
17:15 - 18:00
|
HS 13 |
|
| Di. 15.01.2019 |
17:15 - 18:00
|
HS 13 |
|
| Di. 22.01.2019 |
17:15 - 18:00
|
HS 13 |
|
| Di. 29.01.2019 |
17:15 - 18:00
|
HS 13 |
|
|
|
|
|
326.0D1 (2018W)
|
Design and Analysis of Algorithms
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 11.10.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 18.10.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 25.10.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 08.11.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 15.11.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 22.11.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 29.11.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 06.12.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 13.12.2018 |
14:30 - 16:15
|
K 223B |
|
| Do. 10.01.2019 |
14:30 - 16:15
|
K 223B |
|
| Do. 17.01.2019 |
14:30 - 16:15
|
K 223B |
|
| Do. 24.01.2019 |
14:30 - 16:15
|
K 223B |
|
| Do. 31.01.2019 |
14:30 - 16:15
|
K 001A |
|
|
|
|
|
326.025 (2018W)
|
Decidable logical theories
Further information
|
Register
|
VO |
2,0 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 11.10.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 18.10.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 25.10.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 08.11.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 15.11.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 22.11.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 29.11.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 06.12.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 13.12.2018 |
10:15 - 11:45
|
K 112A |
|
| Do. 10.01.2019 |
10:15 - 11:45
|
K 112A |
|
| Do. 17.01.2019 |
10:15 - 11:45
|
K 112A |
|
| Do. 24.01.2019 |
10:15 - 11:45
|
K 112A |
|
| Do. 31.01.2019 |
10:15 - 11:45
|
K 112A |
|
|
|
|
|
326.053 (2018W)
|
Formal methods in software development
Further information
|
Register
|
KV |
4,0 |
Wolfgang Schreiner
Janos Sztrik
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 12.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 19.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Mo. 05.11.2018 |
10:15 - 13:30
|
S3 048 |
|
| Mi. 07.11.2018 |
15:30 - 18:45
|
K 001A |
|
| Fr. 09.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 16.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 23.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 30.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 07.12.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 14.12.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 11.01.2019 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 18.01.2019 |
08:30 - 11:45
|
S3 057 |
|
| Fr. 25.01.2019 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 01.02.2019 |
08:30 - 10:00
|
HS 3 |
|
|
|
|
|
326.013 (2018W)
|
Formal Methods in Software Development
Further information
|
Register
|
KV |
3,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 12.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 19.10.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 09.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 16.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 23.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 30.11.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 07.12.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 14.12.2018 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 11.01.2019 |
08:30 - 11:45
|
S3 055 |
|
| Fr. 18.01.2019 |
08:30 - 11:45
|
S3 057 |
|
| Fr. 25.01.2019 |
08:30 - 11:45
|
S3 055 |
|
|
|
|
|
326.003 (2018W)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 2018/19
Further information
|
Register
|
KV |
2,0 |
Veronika Elisabeth Pillwein
Evelyn Buckwar
Diego Dominici
Bert Jüttler
Manuel Kauers
Ulrich Langer
Peter Paule
Ronny Ramlau
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 09.11.2018 |
12:45 - 16:15
|
S2 059 |
|
| Mi. 14.11.2018 |
10:15 - 11:45
|
S2 416-1 |
|
| Di. 20.11.2018 |
17:15 - 18:45
|
S2 219 |
|
| Mi. 21.11.2018 |
10:15 - 11:45
|
S2 416-1 |
|
| Do. 22.11.2018 |
17:15 - 18:00
|
S2 219 |
|
| Fr. 30.11.2018 |
12:45 - 16:15
|
S2 059 |
|
| Fr. 14.12.2018 |
08:30 - 11:00
|
HT 177F |
|
| Fr. 14.12.2018 |
12:45 - 16:15
|
S3 047 |
|
| Fr. 11.01.2019 |
08:30 - 11:00
|
S2 416-1 |
|
| Mi. 30.01.2019 |
13:45 - 16:00
|
S2 416-1 |
|
| Mi. 13.02.2019 |
10:15 - 11:45
|
S2 416-1 |
|
|
|
|
|
326.008 (2018W)
|
Ordinary differential equations and dynamical systems
|
Register
|
VL |
3,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 08.10.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 09.10.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 15.10.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 16.10.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 22.10.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 23.10.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 29.10.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 30.10.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 05.11.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 06.11.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 12.11.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 13.11.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 19.11.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 20.11.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 03.12.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 04.12.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 10.12.2018 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 11.12.2018 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 07.01.2019 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 08.01.2019 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 14.01.2019 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 15.01.2019 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 21.01.2019 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 22.01.2019 |
08:30 - 09:15
|
BA 9910 |
|
| Mo. 28.01.2019 |
08:30 - 10:00
|
BA 9910 |
|
| Di. 29.01.2019 |
08:30 - 09:15
|
BA 9910 |
|
| Di. 05.02.2019 |
10:15 - 11:45
|
S3 055 |
|
|
|
|
|
326.009 (2018W)
|
Ordinary differential equations and dynamical systems
|
Register
|
UE |
1,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 16.10.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 23.10.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 30.10.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 06.11.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 13.11.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 20.11.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 27.11.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 04.12.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 11.12.2018 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 08.01.2019 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 15.01.2019 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 22.01.2019 |
09:15 - 10:00
|
BA 9910 |
|
| Di. 29.01.2019 |
09:15 - 10:00
|
BA 9910 |
|
|
|
|
|
326.071 (2018W)
|
Linear algebra for physicists
Further information
|
Register
|
UE |
2,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 08.10.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 15.10.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 22.10.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 29.10.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 05.11.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 12.11.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 19.11.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 26.11.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 03.12.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 10.12.2018 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 07.01.2019 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 14.01.2019 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 21.01.2019 |
10:15 - 11:45
|
BA 9912 |
|
| Mo. 28.01.2019 |
10:15 - 11:45
|
BA 9912 |
|
|
|
|
|
326.017 (2018W)
|
Linear algebra for physicists
Further information
|
Register
|
VL |
4,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 01.10.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 02.10.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mo. 08.10.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 09.10.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 10.10.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 12.10.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 15.10.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 16.10.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 17.10.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 19.10.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 22.10.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 23.10.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 24.10.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Mo. 29.10.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 30.10.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 31.10.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Mo. 05.11.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 06.11.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 07.11.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 09.11.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 12.11.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 13.11.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 14.11.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 16.11.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 19.11.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 20.11.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 21.11.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 23.11.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 26.11.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 27.11.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 28.11.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 30.11.2018 |
10:15 - 11:45
|
S2 053 |
Tutorium |
| Mo. 03.12.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 04.12.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 05.12.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 07.12.2018 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
| Mo. 10.12.2018 |
08:30 - 10:00
|
HS 15 |
|
| Di. 11.12.2018 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 12.12.2018 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 14.12.2018 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
| Mo. 07.01.2019 |
08:30 - 10:00
|
HS 15 |
|
| Di. 08.01.2019 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 09.01.2019 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 11.01.2019 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
| Mo. 14.01.2019 |
08:30 - 10:00
|
HS 15 |
|
| Di. 15.01.2019 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 16.01.2019 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 18.01.2019 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
| Mo. 21.01.2019 |
08:30 - 10:00
|
HS 15 |
|
| Di. 22.01.2019 |
08:30 - 10:00
|
HS 2 |
|
| Mi. 23.01.2019 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 25.01.2019 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
| Mo. 28.01.2019 |
08:30 - 10:00
|
HS 15 |
|
| Di. 29.01.2019 |
07:30 - 10:00
|
HS 2 |
|
| Mi. 30.01.2019 |
12:00 - 13:30
|
S2 044 |
Tutorium |
| Fr. 01.02.2019 |
08:30 - 10:00
|
MZ 412A |
Tutorium |
|
|
|
|
326.067 (2018W)
|
Linear algebra for physicists
Further information
|
Register
|
UE |
2,0 |
Sebastian Falkensteiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 08.10.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 15.10.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 22.10.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 29.10.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 05.11.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 12.11.2018 |
10:15 - 11:45
|
HS 11 |
1.Klausur |
| Mo. 19.11.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 26.11.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 03.12.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 10.12.2018 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 07.01.2019 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 14.01.2019 |
10:15 - 11:45
|
HS 11 |
|
| Mo. 21.01.2019 |
10:15 - 11:45
|
HS 11 |
2.Klausur |
| Mo. 28.01.2019 |
10:15 - 11:45
|
HS 11 |
|
|
|
|
|
326.048 (2018W)
|
Logic as a working language
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 02.10.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 09.10.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 16.10.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 23.10.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 30.10.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 06.11.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 13.11.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 20.11.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 27.11.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 04.12.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 11.12.2018 |
12:00 - 13:30
|
S2 048 |
|
| Di. 08.01.2019 |
12:00 - 13:30
|
S2 048 |
|
| Di. 15.01.2019 |
12:00 - 13:30
|
S2 048 |
|
| Di. 22.01.2019 |
12:00 - 13:30
|
S2 048 |
|
| Di. 29.01.2019 |
12:00 - 13:30
|
S2 048 |
|
|
|
|
|
326.028 (2018W)
|
Logic programming
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 03.10.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 10.10.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 17.10.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 24.10.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 31.10.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 07.11.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 14.11.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 21.11.2018 |
16:15 - 18:00
|
MT 327 |
|
| Mi. 28.11.2018 |
16:15 - 18:00
|
S2 219 |
|
| Mi. 05.12.2018 |
16:15 - 18:00
|
S2 Z74 |
|
| Mi. 12.12.2018 |
16:15 - 18:00
|
S2 219 |
|
| Mi. 09.01.2019 |
16:15 - 18:00
|
S2 219 |
|
| Mi. 16.01.2019 |
16:15 - 18:00
|
S2 219 |
|
| Mi. 23.01.2019 |
16:15 - 18:00
|
S2 219 |
|
| Mi. 30.01.2019 |
16:15 - 18:00
|
S2 219 |
|
|
|
|
|
326.0XX (2018W)
|
Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.0YY (2018W)
|
Seminar for graduate and doctoral students
Winter Semester 2018/19
|
Register
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
|
|
|
326.0ZZ (2018W)
|
Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 11.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 18.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 25.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 08.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 15.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 22.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 29.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 06.12.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 13.12.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 10.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 17.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 24.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 31.01.2019 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
|
326.705 (2018W)
|
Mathematics and Logic
|
Register
|
UE |
1,0 |
Sebastian Falkensteiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 16.10.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 23.10.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 30.10.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 13.11.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 20.11.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 27.11.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 04.12.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 11.12.2018 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 08.01.2019 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 15.01.2019 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 22.01.2019 |
17:15 - 18:00
|
BA 9908 |
|
| Di. 29.01.2019 |
17:15 - 18:00
|
BA 9908 |
|
|
|
|
|
326.702 (2018W)
|
Mathematics and Logic
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 16.10.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 23.10.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 30.10.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 13.11.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 20.11.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 27.11.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 04.12.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 11.12.2018 |
17:15 - 18:00
|
HS 11 |
|
| Di. 08.01.2019 |
17:15 - 18:00
|
HS 11 |
|
| Di. 15.01.2019 |
17:15 - 18:00
|
HS 11 |
|
| Di. 22.01.2019 |
17:15 - 18:00
|
HS 11 |
|
|
|
|
|
326.704 (2018W)
|
Mathematics and Logic
|
Register
|
UE |
1,0 |
Alexander Maletzky
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 16.10.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 23.10.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 30.10.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 13.11.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 20.11.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 27.11.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 04.12.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 11.12.2018 |
17:15 - 18:00
|
S2 059 |
|
| Di. 08.01.2019 |
17:15 - 18:00
|
S2 059 |
|
| Di. 15.01.2019 |
17:15 - 18:00
|
S2 059 |
|
| Di. 22.01.2019 |
17:15 - 18:00
|
S2 059 |
|
|
|
|
|
326.701 (2018W)
|
Mathematics and Logic
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 16.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 23.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 30.10.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 13.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 20.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 27.11.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 04.12.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 11.12.2018 |
18:00 - 18:45
|
HS 11 |
|
| Di. 08.01.2019 |
18:00 - 18:45
|
HS 11 |
|
| Di. 15.01.2019 |
18:00 - 18:45
|
HS 11 |
|
| Di. 22.01.2019 |
18:00 - 18:45
|
HS 11 |
|
|
|
|
|
326.700 (2018W)
|
Mathematics and Logic
|
Register
|
VL |
3,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 02.10.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 05.10.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 09.10.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 12.10.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 16.10.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 19.10.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 23.10.2018 |
16:15 - 17:00
|
HS 19 |
|
| Di. 30.10.2018 |
16:15 - 17:00
|
HS 19 |
|
| Di. 06.11.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 09.11.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 13.11.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 16.11.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 20.11.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 23.11.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 27.11.2018 |
16:15 - 17:00
|
HS 18 |
|
| Fr. 30.11.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 04.12.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 07.12.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 11.12.2018 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 14.12.2018 |
13:45 - 15:15
|
HS 18 |
|
| Di. 08.01.2019 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 11.01.2019 |
13:45 - 15:15
|
HS 18 |
|
| Di. 15.01.2019 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 18.01.2019 |
13:45 - 15:15
|
HS 18 |
|
| Di. 22.01.2019 |
16:15 - 17:00
|
HS 19 |
|
| Fr. 25.01.2019 |
13:45 - 15:15
|
HS 18 |
|
| Di. 29.01.2019 |
17:15 - 18:45
|
HS 8 |
|
| Di. 29.01.2019 |
17:15 - 18:45
|
HS 7 |
|
| Di. 29.01.2019 |
17:15 - 18:45
|
HS 3 |
|
|
|
|
|
326.021 (2018W)
|
Mathematical logic 1
Further information
|
Register
|
UE |
1,0 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 16.10.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 23.10.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 06.11.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 13.11.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 20.11.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 04.12.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 11.12.2018 |
12:00 - 12:45
|
S2 054 |
|
| Di. 08.01.2019 |
12:00 - 12:45
|
S2 054 |
|
| Di. 15.01.2019 |
12:00 - 12:45
|
S2 054 |
|
| Di. 22.01.2019 |
12:00 - 12:45
|
S2 054 |
|
| Di. 29.01.2019 |
12:00 - 12:45
|
S2 054 |
|
|
|
|
|
326.019 (2018W)
|
Mathematical logic 1
Further information
|
Register
|
VO |
4,0 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 09.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 16.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 23.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 06.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 13.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 20.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 04.12.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 11.12.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 08.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 15.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 22.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 29.01.2019 |
08:30 - 11:45
|
S2 054 |
|
|
|
|
|
326.049 (2018W)
|
Programming project symbolic computation
Computeralgebra, Logic and Softwaredesign I
Further information
|
Register
|
KV |
2,0 |
Ralf Hemmecke
|
Weekly
|
| |
|
|
|
326.061 (2018W)
|
Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style
Further information
|
Register
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 01.10.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 08.10.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 15.10.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 22.10.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 29.10.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 05.11.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 12.11.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 19.11.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 26.11.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 03.12.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 10.12.2018 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 07.01.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 14.01.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 21.01.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 28.01.2019 |
09:00 - 10:30
|
U1-14 |
|
|
|
|
|
326.077 (2018W)
|
Seminar logic and software design
Natural Language Processing and Automated Reasoning in Python and Mathematica
|
Register
|
SE |
2,0 |
Bruno Buchberger
|
Weekly
|
| |
|
|
|
326.063 (2018W)
|
Seminar logic and software design
Project seminar Formal Methods I
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 03.10.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 10.10.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 17.10.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 24.10.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 31.10.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 07.11.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 14.11.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 21.11.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 28.11.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 05.12.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 12.12.2018 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 09.01.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 16.01.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 23.01.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 30.01.2019 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.060 (2018W)
|
Seminar symbolic computation
History and Philosophy of Mathematics
Further information
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 23.10.2018 |
13:45 - 15:15
|
S3 047 |
|
| Di. 30.10.2018 |
13:45 - 15:15
|
KG 519 |
|
| Di. 06.11.2018 |
13:45 - 15:15
|
S3 047 |
|
| Di. 13.11.2018 |
13:45 - 15:15
|
S3 047 |
|
| Di. 20.11.2018 |
13:45 - 15:15
|
S3 047 |
|
| Di. 04.12.2018 |
13:45 - 15:15
|
S3 047 |
|
| Di. 11.12.2018 |
13:45 - 15:15
|
K 223B |
|
| Di. 08.01.2019 |
13:45 - 15:15
|
S3 047 |
|
| Di. 15.01.2019 |
13:45 - 15:15
|
S3 047 |
|
|
|
|
|
326.AK1 (2018W)
|
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 03.10.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 10.10.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 17.10.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 24.10.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 31.10.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 07.11.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 14.11.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 21.11.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 28.11.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 05.12.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 12.12.2018 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 09.01.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 16.01.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 23.01.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 30.01.2019 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.015 (2018W)
|
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. 16.10.2018 |
12:00 - 13:30
|
S2 046 |
|
| Di. 06.11.2018 |
12:00 - 13:30
|
MT 128 |
|
| Di. 27.11.2018 |
12:00 - 13:30
|
MT 226/1 |
|
| Di. 11.12.2018 |
12:00 - 13:30
|
S2 046 |
|
|
|
|
|
326.CA1 (2018W)
|
Seminar symbolic computation
Computer-algebra I
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 11.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 18.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 25.10.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 08.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 15.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 22.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 29.11.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 06.12.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 13.12.2018 |
10:15 - 11:45
|
HA 105 |
|
| Do. 10.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 17.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 24.01.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 31.01.2019 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
|
326.090 (2018W)
|
Special Topics
Mathemtical Logic I
Further information
|
Register
|
KV |
3,0 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 16.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 23.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 30.10.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 06.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 13.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 20.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 27.11.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 04.12.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 11.12.2018 |
08:30 - 11:45
|
S2 054 |
|
| Di. 08.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 15.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 22.01.2019 |
08:30 - 11:45
|
S2 054 |
|
| Di. 29.01.2019 |
08:30 - 11:45
|
S2 054 |
|
|
|
|
|
326.082 (2018W)
|
Special Topics symbolic computation
Algorithmic Number Theory
Further information
|
Register
|
VL |
2,0 |
Jose Capco
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 01.10.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 08.10.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 15.10.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 22.10.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 29.10.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 05.11.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 12.11.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 19.11.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 26.11.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 03.12.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 10.12.2018 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 07.01.2019 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 14.01.2019 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 21.01.2019 |
16:15 - 18:00
|
S2 046 |
|
| Mo. 28.01.2019 |
16:15 - 18:00
|
S2 046 |
|
|
|
|
|
326.026 (2018W)
|
Special Topics symbolic computation
Algebraic and other nice power series
It's about power series from five diff. perspectives:Algebraic, Algorithmic, Arithmetic, Analytic, Asymptotic; combine techniques: combinatorics, commutative and computational algebra, complex analysis, function theory.No special prior knowledge required
Further information
|
Register
|
VL |
2,0 |
Herwig Hauser
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 04.10.2018 |
10:30 - 12:00
|
S2 416-1 |
|
| Do. 04.10.2018 |
14:30 - 16:00
|
S2 416-1 |
|
| Fr. 05.10.2018 |
09:30 - 11:00
|
S2 416-1 |
|
| Do. 18.10.2018 |
10:15 - 12:45
|
S3 048 |
|
| Do. 18.10.2018 |
15:30 - 17:00
|
T 406 |
|
| Fr. 19.10.2018 |
09:15 - 11:00
|
S3 048 |
|
| Do. 08.11.2018 |
08:30 - 10:00
|
K 009D |
|
| Do. 08.11.2018 |
10:15 - 12:45
|
K 223B |
|
| Do. 08.11.2018 |
14:30 - 16:15
|
K 112A |
|
| Do. 08.11.2018 |
15:30 - 17:00
|
HS 8 |
|
| Fr. 09.11.2018 |
09:15 - 11:00
|
K 223B |
|
| Do. 22.11.2018 |
10:15 - 12:45
|
K 223B |
|
| Do. 22.11.2018 |
15:30 - 17:00
|
K 224B |
|
| Fr. 23.11.2018 |
09:15 - 11:00
|
K 034D |
|
| Do. 06.12.2018 |
10:30 - 12:00
|
S2 416-1 |
|
| Do. 06.12.2018 |
15:30 - 17:00
|
S2 416-1 |
|
| Fr. 07.12.2018 |
09:30 - 11:00
|
S2 416-1 |
|
| Do. 13.12.2018 |
10:30 - 12:00
|
S2 416-1 |
|
|
|
|
|
326.020 (2018W)
|
Special Topics symbolic computation
A Gentle Introduction to Analytic Combinatorics in Several Variables
|
Register
|
VL |
1,0 |
Marni Mishna
|
Weekly
|
| |
|
|
|
326.032 (2018W)
|
Special Topics symbolic computation
Computer algebra systems
Further information
|
Register
|
VL |
2,0 |
Johannes Middeke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 05.10.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 12.10.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 19.10.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 09.11.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 16.11.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 23.11.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 30.11.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 07.12.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 14.12.2018 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 11.01.2019 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 18.01.2019 |
12:00 - 14:30
|
S3 057 |
|
| Fr. 25.01.2019 |
12:00 - 14:30
|
S3 057 |
|
|
|
|
|
326.075 (2018W)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions I
Further information
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 03.10.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 10.10.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 17.10.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 24.10.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 31.10.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 07.11.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 14.11.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 21.11.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 28.11.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 05.12.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 12.12.2018 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 09.01.2019 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 16.01.2019 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 23.01.2019 |
16:00 - 17:30
|
HA 105 |
|
| Mi. 30.01.2019 |
16:00 - 17:30
|
HA 105 |
|
|
|
|
|
326.999 (2018W)
|
Preparatory course mathematics for first-year students of Business Informatics
Further information
|
Register
|
VK |
2,0 |
Wolfgang Windsteiger
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 17.09.2018 |
08:30 - 15:15
|
HS 9 |
|
| Di. 18.09.2018 |
08:30 - 15:15
|
HS 9 |
|
| Mi. 19.09.2018 |
08:30 - 15:15
|
HS 9 |
|
| Do. 20.09.2018 |
08:30 - 15:15
|
HS 9 |
|
| Fr. 21.09.2018 |
08:30 - 11:45
|
HS 9 |
|
|
|
|
