Find below the list of courses offered by RISC-Linz as of 11.6.2020.
Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
326.002 (2020S)
|
Algortithmic Combinatorics
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 02.03.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 09.03.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 16.03.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 23.03.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 30.03.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 20.04.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 27.04.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 11.05.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 18.05.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 25.05.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 08.06.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 15.06.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 22.06.2020 |
17:15 - 18:00
|
S2 059 |
|
Mo. 29.06.2020 |
17:15 - 18:00
|
S2 059 |
|
|
|
|
326.001 (2020S)
|
Algortithmic Combinatorics
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 02.03.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 09.03.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 16.03.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 23.03.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 30.03.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 20.04.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 27.04.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 11.05.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 18.05.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 25.05.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 08.06.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 15.06.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 22.06.2020 |
15:30 - 17:00
|
S2 059 |
|
Mo. 29.06.2020 |
15:30 - 17:00
|
S2 059 |
|
|
|
|
326.003 (2020S)
|
Algorithmic methods
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Mo. 09.03.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 10.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 13.03.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 16.03.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 17.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 20.03.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 23.03.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 24.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 27.03.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 30.03.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 31.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 03.04.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 20.04.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 21.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 24.04.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 27.04.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 28.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Di. 05.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 08.05.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 11.05.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 12.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 15.05.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 18.05.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 19.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 22.05.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 25.05.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 26.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 29.05.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Fr. 05.06.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 08.06.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 09.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Mo. 15.06.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 16.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 19.06.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 22.06.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 23.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 26.06.2020 |
09:15 - 10:00
|
MT 327 |
Tutorium |
Mo. 29.06.2020 |
09:15 - 10:00
|
BA 9909 |
Tutorium |
Di. 30.06.2020 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.012 (2020S)
|
Bachelor Seminar with Bachelor Thesis
|
Register
|
SE |
2,0 |
Peter Paule
Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
|
Weekly
|
|
|
|
326.047 (2020S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 10.03.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 17.03.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 24.03.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 31.03.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 21.04.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 28.04.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 05.05.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 12.05.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 19.05.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 26.05.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 09.06.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 16.06.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 23.06.2020 |
11:00 - 11:45
|
HS 6 |
|
Di. 30.06.2020 |
11:00 - 11:45
|
HS 6 |
|
|
|
|
326.046 (2020S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 10.03.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 17.03.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 24.03.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 31.03.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 21.04.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 28.04.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 05.05.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 12.05.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 19.05.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 26.05.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 09.06.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 16.06.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 23.06.2020 |
12:00 - 13:30
|
HS 6 |
|
Di. 30.06.2020 |
12:00 - 13:30
|
HS 6 |
|
|
|
|
326.081 (2020S)
|
Introduction to parallel and distributed computing
Introduction to parallel and distriputed computing
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 02.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 09.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 16.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 23.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 30.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 20.04.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 27.04.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 11.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 18.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 25.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 08.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 15.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 22.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 29.06.2020 |
08:30 - 10:00
|
S2 120 |
|
|
|
|
326.009 (2020S)
|
Introductory Exercises in Mathematics
|
Register
|
UE |
2,0 |
Josef Schicho
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 06.03.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 13.03.2020 |
10:15 - 11:45
|
S2 219 |
|
Fr. 20.03.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 27.03.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 03.04.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 08.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Fr. 15.05.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 22.05.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 05.06.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 19.06.2020 |
10:15 - 11:45
|
S2 053 |
|
Fr. 26.06.2020 |
10:15 - 11:45
|
S2 053 |
|
|
|
|
326.008 (2020S)
|
Decidibility and complexity classes
Further information
|
Register
|
VO |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 12.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 19.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 26.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 02.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 23.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 30.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 07.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 14.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 28.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 04.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 18.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 25.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
|
|
|
326.703 (2020S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 19.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 26.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 02.04.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 23.04.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 30.04.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 07.05.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 14.05.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 28.05.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 04.06.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 18.06.2020 |
16:15 - 17:00
|
HS 11 |
|
Do. 25.06.2020 |
16:15 - 17:00
|
HS 11 |
|
|
|
|
326.718 (2020S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 19.03.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 26.03.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 02.04.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 23.04.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 30.04.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 07.05.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 14.05.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 28.05.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 04.06.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 18.06.2020 |
17:15 - 18:00
|
HS 11 |
|
Do. 25.06.2020 |
17:15 - 18:00
|
HS 11 |
|
|
|
|
326.714 (2020S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 19.03.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 26.03.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 02.04.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 23.04.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 30.04.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 07.05.2020 |
16:15 - 17:00
|
HS 19 |
|
Do. 14.05.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 28.05.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 04.06.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 18.06.2020 |
16:15 - 17:00
|
MT 128 |
|
Do. 25.06.2020 |
16:15 - 17:00
|
MT 128 |
|
|
|
|
326.715 (2020S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 19.03.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 26.03.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 02.04.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 23.04.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 30.04.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 07.05.2020 |
17:15 - 18:00
|
HS 19 |
|
Do. 14.05.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 28.05.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 04.06.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 18.06.2020 |
17:15 - 18:00
|
MT 128 |
|
Do. 25.06.2020 |
17:15 - 18:00
|
MT 128 |
|
|
|
|
326.712 (2020S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 19.03.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 26.03.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 02.04.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 23.04.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 30.04.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 07.05.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 14.05.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 28.05.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 04.06.2020 |
13:45 - 16:15
|
HS 19 |
|
Do. 18.06.2020 |
13:45 - 16:15
|
ESH 1 |
|
Do. 25.06.2020 |
13:45 - 16:15
|
HS 19 |
|
|
|
|
326.006 (2020S)
|
Formal Modelling
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
Josef Schicho
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 11.03.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 18.03.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 25.03.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 01.04.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 22.04.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 29.04.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 06.05.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 13.05.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 20.05.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 27.05.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 03.06.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 10.06.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 17.06.2020 |
15:30 - 17:00
|
S2 046 |
|
Mi. 24.06.2020 |
15:30 - 17:00
|
S2 046 |
|
|
|
|
326.007 (2020S)
|
Formal Modelling
Further information
|
Register
|
PS |
2,0 |
Wolfgang Schreiner
Josef Schicho
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 11.03.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 18.03.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 25.03.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 01.04.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 22.04.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 29.04.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 06.05.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 13.05.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 20.05.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 27.05.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 03.06.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 10.06.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 17.06.2020 |
17:15 - 18:45
|
S2 046 |
|
Mi. 24.06.2020 |
17:15 - 18:45
|
S2 046 |
|
|
|
|
326.054 (2020S)
|
Functional programming
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 11.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 18.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 25.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 01.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 22.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 29.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 06.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 13.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 20.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 27.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 03.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 10.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 17.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 24.06.2020 |
16:15 - 18:00
|
S2 059 |
|
|
|
|
326.0UK (2020S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
UE |
1,0 |
Sebastian Falkensteiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 10.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 24.03.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 21.04.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 05.05.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 26.05.2020 |
16:15 - 17:00
|
HS 11 |
|
Di. 16.06.2020 |
16:15 - 17:00
|
HS 11 |
Project presentation |
|
|
|
326.0KA (2020S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VO |
4,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 06.03.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 10.03.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 13.03.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 17.03.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 20.03.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 24.03.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 27.03.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 31.03.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 03.04.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 21.04.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 24.04.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 28.04.2020 |
14:30 - 16:15
|
HS 11 |
|
Di. 05.05.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 08.05.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 12.05.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 15.05.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 19.05.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 22.05.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 26.05.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 29.05.2020 |
10:15 - 11:45
|
K 001A |
|
Fr. 05.06.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 09.06.2020 |
14:30 - 16:15
|
HS 11 |
|
Di. 16.06.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 19.06.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 23.06.2020 |
14:30 - 16:15
|
HS 11 |
|
Fr. 26.06.2020 |
10:15 - 11:45
|
K 001A |
|
Di. 30.06.2020 |
14:30 - 16:15
|
HS 11 |
|
|
|
|
326.0ZZ (2020S)
|
Seminar for graduate and doctoral students
Summer Semester 2020
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 12.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 19.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 26.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 02.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 23.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 30.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 07.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 14.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 28.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 04.06.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 18.06.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 25.06.2020 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
326.0XX (2020S)
|
Seminar for graduate and doctoral students
Summer Semester 2020
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
|
|
|
326.041 (2020S)
|
Practical software technology
Further information
|
Register
|
KV |
4,0 |
Ioana Cleopatra Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 05.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 11.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 12.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 18.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 19.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 25.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 26.03.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 01.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 02.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 22.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 23.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 29.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 30.04.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 06.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 07.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 13.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 14.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 20.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 27.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 28.05.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 03.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 04.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 10.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 17.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 18.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Mi. 24.06.2020 |
14:30 - 16:15
|
S2 219 |
|
Do. 25.06.2020 |
14:30 - 16:15
|
S2 219 |
|
|
|
|
326.062 (2020S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 12.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 19.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 26.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 02.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 23.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 30.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 07.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 14.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 28.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 04.06.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 18.06.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 25.06.2020 |
16:15 - 18:00
|
T 406 |
|
|
|
|
326.005 (2020S)
|
Programming 2
Further information
|
Register
|
KV |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 06.03.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 09.03.2020 |
13:45 - 15:15
|
K 012D |
|
Mi. 11.03.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 13.03.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 16.03.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 18.03.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 20.03.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 23.03.2020 |
13:45 - 15:15
|
K 224B |
|
Mi. 25.03.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 27.03.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 30.03.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 01.04.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 03.04.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 20.04.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 22.04.2020 |
15:30 - 17:00
|
K 009D |
|
Fr. 24.04.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 27.04.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 29.04.2020 |
15:30 - 17:00
|
K 012D |
|
Mi. 06.05.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 08.05.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 11.05.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 13.05.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 15.05.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 18.05.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 20.05.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 22.05.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 25.05.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 27.05.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 29.05.2020 |
10:15 - 11:45
|
HS 13 |
|
Mi. 03.06.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 05.06.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 08.06.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 10.06.2020 |
15:30 - 17:00
|
K 012D |
|
Mo. 15.06.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 17.06.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 19.06.2020 |
10:15 - 11:45
|
HS 13 |
|
Mo. 22.06.2020 |
13:45 - 15:15
|
MT 128 |
|
Mi. 24.06.2020 |
15:30 - 17:00
|
K 012D |
|
Fr. 26.06.2020 |
10:15 - 11:45
|
HS 17 |
|
Mo. 29.06.2020 |
13:45 - 15:15
|
MT 128 |
|
|
|
|
326.099 (2020S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 20)
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 11.03.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 18.03.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 25.03.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 01.04.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 22.04.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 29.04.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 06.05.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 13.05.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 20.05.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 27.05.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 03.06.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 10.06.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 17.06.2020 |
12:45 - 14:30
|
HA 105 |
|
Mi. 24.06.2020 |
12:45 - 14:30
|
HA 105 |
|
|
|
|
326.096 (2020S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2020)
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 11.03.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 18.03.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 25.03.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 01.04.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 22.04.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 29.04.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 06.05.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 13.05.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 20.05.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 27.05.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 03.06.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 10.06.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 17.06.2020 |
13:45 - 16:15
|
HA 105 |
|
Mi. 24.06.2020 |
13:45 - 16:15
|
HA 105 |
|
|
|
|
326.0CA (2020S)
|
Seminar symbolic computation
Computer algebra II
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 12.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 19.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 26.03.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 02.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 23.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 30.04.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 07.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 14.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 28.05.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 04.06.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 18.06.2020 |
10:15 - 11:45
|
HA 105 |
|
Do. 25.06.2020 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
326.015 (2020S)
|
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
|
Register
|
SE |
2,0 |
Clemens Hofreither
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 03.03.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 10.03.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 17.03.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 24.03.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 28.04.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 05.05.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 12.05.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 19.05.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 26.05.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 16.06.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 23.06.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
Di. 30.06.2020 |
12:30 - 13:30
|
SP2 416-1 |
|
|
|
|
326.060 (2020S)
|
Seminar symbolic computation
Research Topics in Algebra and Combinatorics
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
|
|
|
326.00D (2020S)
|
Special Functions II
Symbolic Summation and Special Functions
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
|
|
|
326.0MM (2020S)
|
Special Topics
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 12.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 19.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 26.03.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 02.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 23.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 30.04.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 07.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 14.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 28.05.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 04.06.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 18.06.2020 |
16:15 - 18:00
|
T 406 |
|
Do. 25.06.2020 |
16:15 - 18:00
|
T 406 |
|
|
|
|
326.0AD (2020S)
|
Special Topics
Introduction to Parallel and Distributed Computing
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 02.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 09.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 16.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 23.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 30.03.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 20.04.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 27.04.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 11.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 18.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 25.05.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 08.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 15.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 22.06.2020 |
08:30 - 10:00
|
S2 120 |
|
Mo. 29.06.2020 |
08:30 - 10:00
|
S2 120 |
|
|
|
|
326.901 (2020S)
|
Special Topics
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 19.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 26.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 02.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 23.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 30.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 07.05.2020 |
08:30 - 10:00
|
HS 11 |
|
Do. 14.05.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 28.05.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 04.06.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 18.06.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 25.06.2020 |
10:15 - 11:45
|
S2 044 |
|
|
|
|
326.0UF (2020S)
|
Special Topics
Unification Theory
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 12.03.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 19.03.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 26.03.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 02.04.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 23.04.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 30.04.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 07.05.2020 |
12:00 - 13:30
|
MZ 112B |
|
Do. 14.05.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 28.05.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 04.06.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 18.06.2020 |
12:00 - 13:30
|
BA 9912 |
|
Do. 25.06.2020 |
12:00 - 13:30
|
BA 9912 |
|
|
|
|
326.0DC (2020S)
|
Special Topics
Decidability and Complexity Classes
Further information
|
Register
|
VL |
2,0 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 12.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 19.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 26.03.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 02.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 23.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 30.04.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 07.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 14.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 28.05.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 04.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 18.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
Do. 25.06.2020 |
08:30 - 10:00
|
BA 9909 |
|
|
|
|
326.0VR (2020S)
|
Special Topics
Formal Specification of Abstract Datatypes
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 06.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 13.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 20.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 27.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 03.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 24.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 08.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 15.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 22.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 29.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 05.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 19.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 26.06.2020 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.087 (2020S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 11.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 18.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 25.03.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 01.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 22.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 29.04.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 06.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 13.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 20.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 27.05.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 03.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 10.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 17.06.2020 |
16:15 - 18:00
|
S2 059 |
|
Mi. 24.06.2020 |
16:15 - 18:00
|
S2 059 |
|
|
|
|
326.097 (2020S)
|
Special topics logic and software design
Unification Theory
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
|
|
326.0ST (2020S)
|
Special topics logic and software design
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 05.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 19.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 26.03.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 02.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 23.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 30.04.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 07.05.2020 |
08:30 - 10:00
|
HS 11 |
|
Do. 14.05.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 28.05.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 04.06.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 18.06.2020 |
10:15 - 11:45
|
S2 044 |
|
Do. 25.06.2020 |
10:15 - 11:45
|
S2 044 |
|
|
|
|
326.076 (2020S)
|
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. 06.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 13.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 20.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 27.03.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 03.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 24.04.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 08.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 15.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 22.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 29.05.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 05.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 19.06.2020 |
08:30 - 10:00
|
HS 13 |
|
Fr. 26.06.2020 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.069 (2020S)
|
Special Topics symbolic computation
Category Theory for Symbolic Computation
Further information
|
Register
|
VL |
2,0 |
Günter Landsmann
|
Weekly
|
|
|
|
326.0AT (2020S)
|
Special Topics symbolic computation
Algebraic Topology
Further information
|
Register
|
VL |
2,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 19.03.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 26.03.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 02.04.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 23.04.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 30.04.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 07.05.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 14.05.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 28.05.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 04.06.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 18.06.2020 |
18:00 - 19:45
|
HS 11 |
|
Do. 25.06.2020 |
18:00 - 19:45
|
HS 11 |
|
|
|
|
326.075 (2020S)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions II
Further information
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 04.03.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 11.03.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 18.03.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 25.03.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 01.04.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 22.04.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 29.04.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 06.05.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 13.05.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 20.05.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 27.05.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 03.06.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 10.06.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 17.06.2020 |
16:15 - 18:00
|
HA 105 |
|
Mi. 24.06.2020 |
16:15 - 18:00
|
HA 105 |
|
|
|
|
326.0SR (2020S)
|
Special Topics symbolic computation
Mathematical Methods in Kinematics
Further information
|
Register
|
VL |
2,0 |
Josef Schicho
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 06.03.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 13.03.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 20.03.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 27.03.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 03.04.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 24.04.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 08.05.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 15.05.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 22.05.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 29.05.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 05.06.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 19.06.2020 |
13:45 - 15:15
|
T 406 |
|
Fr. 26.06.2020 |
13:45 - 15:15
|
T 406 |
|
|
|
|