Find below the list of courses offered by RISC-Linz as of 30.6.2019.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.002 (2019S)
|
Algortithmic Combinatorics
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 04.03.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 11.03.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 18.03.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 25.03.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 01.04.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 08.04.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 29.04.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 06.05.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 13.05.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 20.05.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 27.05.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 03.06.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 17.06.2019 |
17:15 - 18:00
|
S3 055 |
|
| Mo. 24.06.2019 |
17:15 - 18:00
|
S3 055 |
|
|
|
|
|
326.001 (2019S)
|
Algortithmic Combinatorics
Further information
|
Register
|
VL |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 04.03.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 11.03.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 18.03.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 25.03.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 01.04.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 08.04.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 29.04.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 06.05.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 13.05.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 20.05.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 27.05.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 03.06.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 17.06.2019 |
15:30 - 17:00
|
S3 055 |
|
| Mo. 24.06.2019 |
15:30 - 17:00
|
S3 055 |
|
|
|
|
|
326.003 (2019S)
|
Algorithmic methods
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
12:00 - 13:30
|
S2 048 |
|
| Di. 12.03.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 13.03.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 13.03.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 19.03.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 20.03.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 20.03.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 26.03.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 27.03.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 27.03.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 02.04.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 03.04.2019 |
11:00 - 11:45
|
S3 055 |
Tutorium |
| Mi. 03.04.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 09.04.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 10.04.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 10.04.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 30.04.2019 |
12:00 - 13:30
|
S2 048 |
|
| Di. 07.05.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 08.05.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 08.05.2019 |
17:15 - 18:00
|
S2 219 |
Tutorium |
| Di. 14.05.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 15.05.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 21.05.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 22.05.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 28.05.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 29.05.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 04.06.2019 |
12:00 - 13:30
|
S2 048 |
|
| Mi. 05.06.2019 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Mi. 12.06.2019 |
13:45 - 15:15
|
S3 057 |
Tutorium |
| Di. 18.06.2019 |
12:00 - 13:30
|
S2 048 |
|
|
|
|
|
326.012 (2019S)
|
Bachelor Seminar with Bachelor Thesis
|
Register
|
SE |
2,0 |
Peter Paule
Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Veronika Elisabeth Pillwein
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
|
Weekly
|
| |
|
|
|
326.046 (2019S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 12.03.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 19.03.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 26.03.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 02.04.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 09.04.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 30.04.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 07.05.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 14.05.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 21.05.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 28.05.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 04.06.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 18.06.2019 |
12:00 - 13:30
|
HS 12 |
|
| Di. 25.06.2019 |
12:00 - 13:30
|
HS 12 |
|
|
|
|
|
326.047 (2019S)
|
Computer Algebra for Concrete Mathematics
|
Register
|
UE |
1,0 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 12.03.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 19.03.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 26.03.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 02.04.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 09.04.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 30.04.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 07.05.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 14.05.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 21.05.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 28.05.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 04.06.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 18.06.2019 |
11:00 - 11:45
|
HS 12 |
|
| Di. 25.06.2019 |
11:00 - 11:45
|
HS 12 |
|
|
|
|
|
326.009 (2019S)
|
Introductory Exercises in Mathematics
|
Register
|
UE |
2,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 08.03.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 15.03.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 22.03.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 29.03.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 05.04.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 12.04.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 03.05.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 17.05.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 24.05.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 07.06.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 14.06.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 21.06.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 28.06.2019 |
10:15 - 11:45
|
S3 055 |
|
|
|
|
|
326.703 (2019S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 14.03.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 21.03.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 28.03.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 04.04.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 11.04.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 09.05.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 16.05.2019 |
16:15 - 17:00
|
HS 18 |
|
| Do. 23.05.2019 |
16:15 - 17:00
|
BA 9910 |
|
| Do. 06.06.2019 |
16:15 - 17:00
|
HS 15 |
|
| Do. 13.06.2019 |
16:15 - 17:00
|
HS 18 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 18 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 19 |
|
|
|
|
|
326.714 (2019S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 14.03.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 21.03.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 28.03.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 04.04.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 11.04.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 09.05.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 16.05.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 23.05.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 06.06.2019 |
16:15 - 17:00
|
HS 19 |
|
| Do. 13.06.2019 |
16:15 - 17:00
|
HS 19 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 18 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 19 |
|
|
|
|
|
326.712 (2019S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 14.03.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 21.03.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 28.03.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 04.04.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 11.04.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 09.05.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 16.05.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 23.05.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 06.06.2019 |
13:45 - 16:15
|
HS 19 |
|
| Do. 13.06.2019 |
13:45 - 16:15
|
HS 19 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 18 |
|
| Di. 25.06.2019 |
17:15 - 19:45
|
HS 19 |
|
|
|
|
|
326.007 (2019S)
|
Formal Modelling
Further information
|
Register
|
PS |
2,0 |
Wolfgang Schreiner
Josef Schicho
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 13.03.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 20.03.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 27.03.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 03.04.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 10.04.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 08.05.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 15.05.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 22.05.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 29.05.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 05.06.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 12.06.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 19.06.2019 |
17:15 - 18:45
|
S2 Z74 |
|
| Mi. 26.06.2019 |
17:15 - 18:45
|
S2 Z74 |
|
|
|
|
|
326.006 (2019S)
|
Formal Modelling
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
Josef Schicho
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 13.03.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 20.03.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 27.03.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 03.04.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 10.04.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 08.05.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 15.05.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 22.05.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 29.05.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 05.06.2019 |
15:30 - 17:00
|
S2 Z74 |
|
| Mi. 12.06.2019 |
15:30 - 17:00
|
S2 Z74 |
|
|
|
|
|
326.0FS (2019S)
|
Formal Semantics of Programming Languages
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 08.03.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 15.03.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 22.03.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 29.03.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 05.04.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 12.04.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 03.05.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 10.05.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 17.05.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 24.05.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 07.06.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 14.06.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 21.06.2019 |
08:30 - 10:00
|
HS 13 |
|
| Fr. 28.06.2019 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
|
326.004 (2019S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Further information
|
Register
|
KV |
2,0 |
Diego Dominici
|
Weekly
|
| |
|
|
|
326.054 (2019S)
|
Functional programming
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 13.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 20.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 27.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 03.04.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 10.04.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 08.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 15.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 22.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 29.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 05.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 12.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 19.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 26.06.2019 |
16:15 - 18:00
|
S2 053 |
|
|
|
|
|
326.0KA (2019S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VO |
4,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 08.03.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 12.03.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 15.03.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 19.03.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 22.03.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 26.03.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 29.03.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 02.04.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 05.04.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 09.04.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 12.04.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 30.04.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 03.05.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 07.05.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 10.05.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 14.05.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 17.05.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 21.05.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 24.05.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 28.05.2019 |
14:30 - 16:15
|
HS 11 |
|
| Di. 04.06.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 07.06.2019 |
10:15 - 11:45
|
HS 14 |
|
| Fr. 14.06.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 18.06.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 21.06.2019 |
10:15 - 11:45
|
HS 14 |
|
| Di. 25.06.2019 |
14:30 - 16:15
|
HS 11 |
|
| Fr. 28.06.2019 |
10:15 - 11:45
|
HS 14 |
|
|
|
|
|
326.0UK (2019S)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
UE |
1,0 |
Sebastian Falkensteiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 12.03.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 19.03.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 26.03.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 02.04.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 09.04.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 30.04.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 07.05.2019 |
16:15 - 17:00
|
HS 11 |
Project report |
| Di. 14.05.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 21.05.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 28.05.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 04.06.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 18.06.2019 |
16:15 - 17:00
|
HS 11 |
|
| Di. 25.06.2019 |
16:15 - 17:00
|
HS 11 |
Project presentation |
|
|
|
|
326.0XX (2019S)
|
Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
|
Register
|
SE |
2,0 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.0ZZ (2019S)
|
Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 14.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 21.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 28.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 04.04.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 11.04.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 02.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 09.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 16.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 23.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 06.06.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 13.06.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 27.06.2019 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
|
326.059 (2019S)
|
Mathematical logic 2
Further information
|
Register
|
VO |
2,0 |
David Cerna
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 14.03.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 21.03.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 28.03.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 04.04.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 11.04.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 02.05.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 09.05.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 16.05.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 23.05.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 06.06.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 13.06.2019 |
12:45 - 14:30
|
T 406/1 |
|
| Do. 27.06.2019 |
12:45 - 14:30
|
T 406/1 |
|
|
|
|
|
326.041 (2019S)
|
Practical software technology
Further information
|
Register
|
KV |
4,0 |
Ioana Cleopatra Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
14:30 - 16:15
|
S2 053 |
Introduction. Eclipse. |
| Do. 07.03.2019 |
14:30 - 16:15
|
T 406/1 |
First steps in Java |
| Mi. 13.03.2019 |
14:30 - 16:15
|
S2 053 |
Project Management with Redmine |
| Do. 14.03.2019 |
14:30 - 16:15
|
T 406/1 |
Object Oriented Programming |
| Mi. 20.03.2019 |
14:30 - 16:15
|
S2 053 |
Version Control Systems: SVN |
| Do. 21.03.2019 |
14:30 - 16:15
|
T 406/1 |
Garbage Collection, Packages, Polymorphism |
| Mi. 27.03.2019 |
14:30 - 16:15
|
S2 053 |
Version Control Systems: Git |
| Do. 28.03.2019 |
14:30 - 16:15
|
T 406/1 |
Exceptions. Constants. Enumerations. Generic Types |
| Mi. 03.04.2019 |
14:30 - 16:15
|
S2 053 |
Javadoc. Integration of tools |
| Do. 04.04.2019 |
14:30 - 16:15
|
T 406/1 |
Refactoring |
| Mi. 10.04.2019 |
14:30 - 16:15
|
S2 053 |
Testing with JUnit |
| Do. 11.04.2019 |
14:30 - 16:15
|
T 406/1 |
Programming a GUI |
| Do. 02.05.2019 |
14:30 - 16:15
|
T 406/1 |
Collections, Searching, Big O Notation, Sorting |
| Mi. 08.05.2019 |
14:30 - 16:15
|
S2 053 |
JUnit. Mocking. |
| Do. 09.05.2019 |
14:30 - 16:15
|
T 406/1 |
Comparing, Simple data structures, Backtracking |
| Mi. 15.05.2019 |
14:30 - 16:15
|
S2 053 |
Continuous Integration. Continuous Build. Jenkins |
| Do. 16.05.2019 |
14:30 - 16:15
|
T 406/1 |
Trees, Binary Search Trees, Red-Black Trees |
| Mi. 22.05.2019 |
14:30 - 16:15
|
S2 053 |
Design Patterns. Creational Patterns. |
| Do. 23.05.2019 |
14:30 - 16:15
|
T 406/1 |
Graphs, Weighted Graphs, Shortest Path |
| Mi. 29.05.2019 |
14:30 - 16:15
|
S2 053 |
Design Patterns. Structural Patterns |
| Mi. 05.06.2019 |
14:30 - 16:15
|
S2 053 |
Design Patterns. Behavioral Patterns |
| Do. 06.06.2019 |
14:30 - 16:15
|
T 406/1 |
Polynomials, Newton Approximation, Gradient Descent |
| Mi. 12.06.2019 |
14:30 - 16:15
|
S2 053 |
UML |
| Do. 13.06.2019 |
14:30 - 16:15
|
T 406/1 |
Reflection, Scripting, Serialization |
| Mi. 19.06.2019 |
14:30 - 16:15
|
S2 053 |
Client-Server Architecture. Web Services |
| Mi. 26.06.2019 |
14:30 - 16:15
|
S2 053 |
Projects presentations |
| Do. 27.06.2019 |
14:30 - 16:15
|
T 406/1 |
Projects presentations |
|
|
|
|
326.062 (2019S)
|
Programming in Mathematica
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 12.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 19.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 26.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 02.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 09.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 30.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 07.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 14.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 21.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 28.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 04.06.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 18.06.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 25.06.2019 |
14:30 - 16:15
|
HS 13 |
|
|
|
|
|
326.005 (2019S)
|
Programming 2
Further information
|
Register
|
KV |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 04.03.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 06.03.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 08.03.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Fr. 08.03.2019 |
12:00 - 13:30
|
K 001A |
|
| Mo. 11.03.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 13.03.2019 |
10:15 - 11:45
|
K 153C |
|
| Fr. 15.03.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 18.03.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 20.03.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 22.03.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 25.03.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 27.03.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 29.03.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 01.04.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 03.04.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 05.04.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 08.04.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 10.04.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 12.04.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 29.04.2019 |
15:30 - 17:00
|
K 223B |
|
| Fr. 03.05.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 06.05.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 08.05.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 10.05.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 13.05.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 15.05.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 17.05.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 20.05.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 22.05.2019 |
10:15 - 11:45
|
S3 055 |
|
| Fr. 24.05.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 27.05.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 29.05.2019 |
10:15 - 11:45
|
K 112A |
|
| Mo. 03.06.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 05.06.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 07.06.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Do. 13.06.2019 |
12:00 - 13:30
|
S2 219 |
|
| Fr. 14.06.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Di. 18.06.2019 |
16:15 - 18:00
|
S2 054 |
|
| Mi. 19.06.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 21.06.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Mo. 24.06.2019 |
15:30 - 17:00
|
K 223B |
|
| Mi. 26.06.2019 |
10:15 - 11:45
|
K 112A |
|
| Fr. 28.06.2019 |
10:15 - 11:45
|
HF 9904 |
|
| Di. 02.07.2019 |
08:30 - 10:00
|
HS 4 |
|
|
|
|
|
326.065 (2019S)
|
Rewriting in Computer Science and Logic
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 08.03.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 15.03.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 22.03.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 29.03.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 05.04.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 12.04.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 03.05.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 10.05.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 17.05.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 24.05.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 07.06.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 14.06.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 21.06.2019 |
12:00 - 13:30
|
T 406 |
|
| Fr. 28.06.2019 |
12:00 - 13:30
|
T 406 |
|
| Mi. 03.07.2019 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
|
326.099 (2019S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 19)
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 13.03.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 20.03.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 27.03.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 03.04.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 10.04.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 08.05.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 15.05.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 22.05.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 29.05.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 05.06.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 12.06.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 19.06.2019 |
12:30 - 14:00
|
HA 105 |
|
| Mi. 26.06.2019 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.098 (2019S)
|
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. 04.03.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 11.03.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 18.03.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 25.03.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 01.04.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 08.04.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 29.04.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 06.05.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 13.05.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 20.05.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 27.05.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 03.06.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 17.06.2019 |
09:00 - 10:30
|
U1-14 |
|
| Mo. 24.06.2019 |
09:00 - 10:30
|
U1-14 |
|
|
|
|
|
326.096 (2019S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2019)
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 13.03.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 20.03.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 27.03.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 03.04.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 10.04.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 08.05.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 15.05.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 22.05.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 29.05.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 05.06.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 12.06.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 19.06.2019 |
14:00 - 15:30
|
HA 105 |
|
| Mi. 26.06.2019 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.015 (2019S)
|
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
|
Register
|
SE |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
|
|
|
326.0CA (2019S)
|
Seminar symbolic computation
Computer algebra II
Further information
|
Register
|
SE |
2,0 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 14.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 21.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 28.03.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 04.04.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 11.04.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 02.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 09.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 16.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 23.05.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 06.06.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 13.06.2019 |
10:15 - 11:45
|
HA 105 |
|
| Do. 27.06.2019 |
10:15 - 11:45
|
HA 105 |
|
|
|
|
|
326.060 (2019S)
|
Seminar symbolic computation
History and Philosophy of Mathematics
Further information
|
Register
|
SE |
2,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 12.03.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 19.03.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 26.03.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 02.04.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 30.04.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 07.05.2019 |
13:45 - 15:15
|
T 406/1 |
|
| Mi. 15.05.2019 |
13:45 - 15:15
|
MZ 112B |
|
| Di. 21.05.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 28.05.2019 |
13:45 - 15:15
|
S3 057 |
|
| Di. 04.06.2019 |
13:45 - 15:15
|
S3 057 |
|
|
|
|
|
326.087 (2019S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 06.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 13.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 20.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 27.03.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 03.04.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 10.04.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 08.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 15.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 22.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 29.05.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 05.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 12.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 19.06.2019 |
16:15 - 18:00
|
S2 053 |
|
| Mi. 26.06.2019 |
16:15 - 18:00
|
S2 053 |
|
|
|
|
|
326.0MM (2019S)
|
Special Topics
Programming in Mathematica
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 05.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 12.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 19.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 26.03.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 02.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 09.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 30.04.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 07.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 14.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 21.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 28.05.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 04.06.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 18.06.2019 |
14:30 - 16:15
|
HS 13 |
|
| Di. 25.06.2019 |
14:30 - 16:15
|
HS 13 |
|
|
|
|
|
326.0VR (2019S)
|
Special Topics
Formal Models of Parallel and Distributed Systems
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 04.03.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 11.03.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 18.03.2019 |
08:30 - 10:00
|
S3 057 |
|
| Mo. 25.03.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 01.04.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 08.04.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 29.04.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 06.05.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 13.05.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 20.05.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 27.05.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 03.06.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 17.06.2019 |
08:30 - 10:00
|
S2 046 |
|
| Mo. 24.06.2019 |
08:30 - 10:00
|
S2 046 |
|
|
|
|
|
326.008 (2019S)
|
Special topics logic and software design
Rewriting in Computer Science and Logic
|
Register
|
UE |
1,0 |
Ioana Cleopatra Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 08.03.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 15.03.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 22.03.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 29.03.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 05.04.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 12.04.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 03.05.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 10.05.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 17.05.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 24.05.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 07.06.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 14.06.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 21.06.2019 |
13:45 - 14:30
|
T 406 |
|
| Fr. 28.06.2019 |
13:45 - 14:30
|
T 406 |
|
|
|
|
|
326.080 (2019S)
|
Special Topics symbolic computation
Symbolic Linear Algebra
Further information
|
Register
|
VL |
2,0 |
Johannes Middeke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 07.03.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 14.03.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 21.03.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 04.04.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 11.04.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 02.05.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 09.05.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 16.05.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 23.05.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 06.06.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 13.06.2019 |
16:15 - 18:00
|
S3 047 |
|
| Do. 27.06.2019 |
16:15 - 18:00
|
S3 047 |
|
|
|
|
