Find below the list of courses offered by RISC-Linz as of 30.6.2015.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.007 (2015S)
|
Algebraic and Discrete Methods for Biology
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
Stephan Dreiseitl
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 12.03.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 19.03.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 26.03.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 16.04.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 23.04.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 30.04.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 07.05.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 21.05.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 28.05.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 11.06.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 18.06.2015 |
13:45 - 15:15
|
HS 13 |
|
| Do 25.06.2015 |
13:45 - 15:15
|
HS 13 |
|
|
|
|
|
326.046 (2015S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 10.03.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 17.03.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 24.03.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 14.04.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 21.04.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 28.04.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 05.05.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 12.05.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 19.05.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 02.06.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 09.06.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 16.06.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 23.06.2015 |
12:00 - 13:30
|
HS 11 |
|
| Di 30.06.2015 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
|
326.047 (2015S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,00 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 10.03.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 17.03.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 24.03.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 14.04.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 21.04.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 28.04.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 05.05.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 12.05.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 19.05.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 02.06.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 09.06.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 16.06.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 23.06.2015 |
11:00 - 11:45
|
HS 11 |
|
| Di 30.06.2015 |
11:00 - 11:45
|
HS 11 |
|
|
|
|
|
326.052 (2015S)
|
Computer systems
Further information
|
Register
|
KV |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 06.03.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 13.03.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Do 19.03.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 20.03.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 20.03.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 26.03.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 27.03.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 27.03.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 16.04.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 17.04.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 17.04.2015 |
12:00 - 13:30
|
S2 044 |
|
| Do 23.04.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 24.04.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 24.04.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 30.04.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 07.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 08.05.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 08.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 15.05.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 15.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 21.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 22.05.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 22.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 28.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 29.05.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 29.05.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 11.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 12.06.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 12.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 18.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 19.06.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 19.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Do 25.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 26.06.2015 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 26.06.2015 |
12:00 - 13:30
|
S3 047 |
|
| Fr 03.07.2015 |
08:30 - 10:00
|
HS 8 |
|
|
|
|
|
326.703 (2015S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,00 |
Jakob Ablinger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 12.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 19.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 26.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 16.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 23.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 30.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 07.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 21.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 28.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 11.06.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 18.06.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 25.06.2015 |
13:45 - 14:30
|
HS 6 |
|
|
|
|
|
326.712 (2015S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VL |
3,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 06.03.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 12.03.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 13.03.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 19.03.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 20.03.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 26.03.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 27.03.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 16.04.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 17.04.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 23.04.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 24.04.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 30.04.2015 |
14:30 - 15:15
|
HS 6 |
|
| Do 07.05.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 08.05.2015 |
08:30 - 10:00
|
HS 10 |
|
| Fr 15.05.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 21.05.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 22.05.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 28.05.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 29.05.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 11.06.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 12.06.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 18.06.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 19.06.2015 |
08:30 - 10:00
|
HS 10 |
|
| Do 25.06.2015 |
14:30 - 15:15
|
HS 6 |
|
| Fr 26.06.2015 |
08:30 - 10:00
|
HS 10 |
|
| Mi 08.07.2015 |
09:30 - 12:00
|
HS 6 |
|
| Mi 08.07.2015 |
09:30 - 12:00
|
HS 5 |
|
| Di 29.09.2015 |
09:30 - 12:00
|
HS 10 |
|
|
|
|
|
326.714 (2015S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
UE |
1,00 |
Alexander Baumgartner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 12.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 19.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 26.03.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 16.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 23.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 30.04.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 07.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 21.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 28.05.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 11.06.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 18.06.2015 |
13:45 - 14:30
|
HS 6 |
|
| Do 25.06.2015 |
13:45 - 14:30
|
HS 6 |
|
|
|
|
|
326.0FS (2015S)
|
Formal Semantics of Programming Languages
Further information
|
Register
|
VL |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 06.03.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 13.03.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 20.03.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 27.03.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 17.04.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 24.04.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 08.05.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 15.05.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 22.05.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 29.05.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 12.06.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 19.06.2015 |
08:30 - 10:00
|
HS 12 |
|
| Fr 26.06.2015 |
08:30 - 10:00
|
HS 12 |
|
|
|
|
|
326.003 (2015S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Isogeometric Analysis (Summer Semester 15)
Further information
|
Register
|
KV |
2,00 |
Bert Jüttler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 11.03.2015 |
13:45 - 15:15
|
BA 9909 |
|
| Mi 18.03.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 25.03.2015 |
13:45 - 15:15
|
S2 046 |
|
| Do 16.04.2015 |
10:15 - 11:45
|
K 034D |
|
| Mi 29.04.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 06.05.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 13.05.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 20.05.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 27.05.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 03.06.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 17.06.2015 |
13:45 - 15:15
|
S2 046 |
|
| Mi 24.06.2015 |
13:45 - 15:15
|
S2 046 |
|
|
|
|
|
326.054 (2015S)
|
Functional programming
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 11.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 18.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 25.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 15.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 22.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 29.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 06.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 13.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 20.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 27.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 03.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 10.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 17.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 24.06.2015 |
16:15 - 18:00
|
MT 130 |
|
|
|
|
|
326.035 (2015S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Burkhard Zimmermann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
S2 046 |
|
| Mo 16.03.2015 |
10:15 - 11:45
|
S2 046 |
|
| Mo 23.03.2015 |
10:15 - 11:45
|
S2 046 |
|
| Mo 13.04.2015 |
10:15 - 11:45
|
S2 046 |
|
| Mo 20.04.2015 |
10:15 - 11:45
|
S2 046 |
|
|
|
|
|
326.037 (2015S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
S2 054 |
|
| Mo 16.03.2015 |
10:15 - 11:45
|
S2 054 |
|
| Mo 23.03.2015 |
10:15 - 11:45
|
S2 054 |
|
| Mo 13.04.2015 |
10:15 - 11:45
|
S2 054 |
|
| Mo 20.04.2015 |
10:15 - 11:45
|
S2 054 |
|
|
|
|
|
326.038 (2015S)
|
Linear algebra for physicists II
Further information
|
Register
|
VO |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 04.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 05.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 10.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 11.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 12.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 17.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 18.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 19.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 24.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 25.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 26.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 14.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 15.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 16.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 21.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 22.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 23.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Sa 25.04.2015 |
14:00 - 17:00
|
HS 1 |
|
| Di 28.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 29.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 30.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 05.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 06.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 07.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 12.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 13.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Di 19.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 20.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 21.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Mi 27.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 28.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 02.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 03.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Di 09.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 10.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 11.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 16.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 17.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 18.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 23.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 24.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 25.06.2015 |
10:15 - 11:45
|
HS 2 |
|
|
|
|
|
326.0LI (2015S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Peter Mayr
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 16.03.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 23.03.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 13.04.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 20.04.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 27.04.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 11.05.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 18.05.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 01.06.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 08.06.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 22.06.2015 |
10:15 - 11:45
|
MT 132 |
|
| Mo 29.06.2015 |
10:15 - 11:45
|
MT 132 |
|
|
|
|
|
326.018 (2015S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Georg Grasegger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 16.03.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 23.03.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 13.04.2015 |
10:15 - 11:45
|
S2 053 |
1. Klausur |
| Mo 20.04.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 27.04.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 11.05.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 18.05.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 01.06.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 08.06.2015 |
10:15 - 11:45
|
S2 053 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
S2 053 |
2. Klausur (HS 4) |
| Mo 22.06.2015 |
10:15 - 11:45
|
S2 053 |
|
| Fr 26.06.2015 |
08:30 - 10:00
|
S2 053 |
Offene Fragen |
|
|
|
|
326.034 (2015S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 16.03.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 23.03.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 13.04.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 20.04.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 27.04.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 11.05.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 18.05.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 01.06.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 08.06.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 22.06.2015 |
10:15 - 11:45
|
HS 14 |
|
| Mo 29.06.2015 |
10:15 - 11:45
|
HS 14 |
|
|
|
|
|
326.040 (2015S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
VO |
5,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 04.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 05.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 10.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 11.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 12.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 17.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 18.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 19.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 24.03.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 25.03.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 26.03.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 14.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 15.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 16.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 21.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 22.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 23.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 28.04.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 29.04.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 30.04.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 05.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 06.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 07.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 12.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 13.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Di 19.05.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 20.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 21.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Mi 27.05.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 28.05.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 02.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 03.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Di 09.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 10.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 11.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
HS 4 |
|
| Mo 15.06.2015 |
10:15 - 11:45
|
HS 6 |
|
| Di 16.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 17.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 18.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Di 23.06.2015 |
11:00 - 11:45
|
HS 15 |
|
| Mi 24.06.2015 |
10:15 - 11:45
|
HS 7 |
|
| Do 25.06.2015 |
10:15 - 11:45
|
HS 2 |
|
| Sa 27.06.2015 |
09:00 - 12:00
|
HS 1 |
|
|
|
|
|
326.044 (2015S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
KO |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 02.03.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 09.03.2015 |
13:45 - 15:15
|
HS 14 |
|
| Mo 09.03.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 16.03.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 23.03.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 13.04.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 20.04.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 27.04.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 11.05.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 18.05.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 01.06.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 08.06.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 15.06.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 22.06.2015 |
13:45 - 15:15
|
HT 177F |
|
| Mo 29.06.2015 |
13:45 - 15:15
|
HT 177F |
|
|
|
|
|
326.0UL (2015S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Franz Binder
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 09.03.2015 |
10:15 - 11:45
|
S2 Z74 |
1. Übungsblatt |
| Mo 16.03.2015 |
10:15 - 11:45
|
S2 Z74 |
2. Übungsblatt |
| Mo 23.03.2015 |
10:15 - 11:45
|
S2 Z74 |
3. Übungsblatt |
| Mo 13.04.2015 |
10:15 - 11:45
|
S2 Z74 |
1. Test |
| Mo 20.04.2015 |
10:15 - 11:45
|
S2 Z74 |
4. Übungsblatt |
| Mo 27.04.2015 |
10:15 - 11:45
|
S2 Z74 |
5. Übungsblatt |
| Mo 11.05.2015 |
10:15 - 11:45
|
S2 Z74 |
6. Übungsblatt |
| Mo 18.05.2015 |
10:15 - 11:45
|
S2 Z74 |
7. Übungsblatt |
| Mo 01.06.2015 |
10:15 - 11:45
|
S2 Z74 |
8. Übungsblatt |
| Mo 08.06.2015 |
10:15 - 11:45
|
S2 Z74 |
9. Übungsblatt |
| Mo 15.06.2015 |
10:15 - 11:45
|
S2 Z74 |
2. Test, im HS 6. |
| Mo 22.06.2015 |
10:15 - 11:45
|
S2 Z74 |
10. Übungsblatt |
|
|
|
|
326.0LG (2015S)
|
Logical Foundations and Computer-Supported Proving for Teacher Training Mathematics
|
Register
|
SE |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
17:15 - 18:00
|
S2 054 |
|
| Di 17.03.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 24.03.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 14.04.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 21.04.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 28.04.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 05.05.2015 |
17:15 - 18:45
|
S2 120 |
|
| Di 12.05.2015 |
17:15 - 18:45
|
S2 059 |
|
| Di 19.05.2015 |
17:15 - 18:45
|
S2 059 |
|
| Di 02.06.2015 |
17:15 - 18:45
|
S2 059 |
|
| Di 09.06.2015 |
17:15 - 18:45
|
S2 059 |
|
| Di 16.06.2015 |
17:15 - 18:45
|
S2 059 |
|
| Di 23.06.2015 |
17:15 - 18:45
|
S2 059 |
|
|
|
|
|
326.0XX (2015S)
|
Seminar for graduate and doctoral students
Summer Semester 15
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.0YY (2015S)
|
Seminar for graduate and doctoral students
Summer Semester 15
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
|
|
|
326.0ZZ (2015S)
|
Seminar for graduate and doctoral students
Summer Semester 15
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
|
|
|
357.301 (2015S)
|
Mathematics for Economists
Further information
|
Register
|
KS |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
17:15 - 18:45
|
HS 7 |
|
| Do 05.03.2015 |
19:00 - 20:30
|
HS 7 |
|
| Do 12.03.2015 |
17:15 - 18:45
|
HS 7 |
|
| Do 12.03.2015 |
19:00 - 20:30
|
HS 7 |
|
| Do 19.03.2015 |
17:15 - 18:45
|
HS 7 |
|
| Do 19.03.2015 |
19:00 - 20:30
|
HS 7 |
|
| Do 26.03.2015 |
17:15 - 18:45
|
HS 7 |
|
| Do 26.03.2015 |
19:00 - 20:30
|
HS 7 |
|
| Do 16.04.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 16.04.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 23.04.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 23.04.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 30.04.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 30.04.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 07.05.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 07.05.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 21.05.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 21.05.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 28.05.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 28.05.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 11.06.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 11.06.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 18.06.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 18.06.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 25.06.2015 |
17:15 - 18:45
|
HS 18 |
|
| Do 25.06.2015 |
19:00 - 20:30
|
HS 18 |
|
| Do 02.07.2015 |
13:45 - 15:15
|
HS 15 |
Klausur |
| Do 02.07.2015 |
13:45 - 15:15
|
HS 18 |
Klausur |
| Do 02.07.2015 |
13:45 - 15:15
|
HS 9 |
Klausur |
| Do 02.07.2015 |
13:45 - 15:15
|
HS 10 |
Klausur |
| Do 02.07.2015 |
13:45 - 15:15
|
HS 1 |
Klausur |
| Mi 16.09.2015 |
09:30 - 11:00
|
HS 9 |
|
| Mi 16.09.2015 |
09:30 - 11:00
|
HS 10 |
|
| Mi 16.09.2015 |
09:30 - 11:00
|
HS 16 |
|
| Mi 16.09.2015 |
09:30 - 11:00
|
HS 7 |
|
| Mi 16.09.2015 |
09:30 - 11:00
|
HS 2 |
|
|
|
|
|
326.059 (2015S)
|
Mathematical logic 2
Further information
|
Register
|
VO |
2,00 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 12.03.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 19.03.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 26.03.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 16.04.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 23.04.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 30.04.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 07.05.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 21.05.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 28.05.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 11.06.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 18.06.2015 |
08:30 - 10:00
|
HS 11 |
|
| Do 25.06.2015 |
08:30 - 10:00
|
HS 11 |
|
|
|
|
|
326.041 (2015S)
|
Practical software technology
Further information
|
Register
|
KV |
4,00 |
Alexander Baumgartner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
14:30 - 16:15
|
MT 128 |
|
| Mi 11.03.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 12.03.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 18.03.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 19.03.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 25.03.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 26.03.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 15.04.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 16.04.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 22.04.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 23.04.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 29.04.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 30.04.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 06.05.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 07.05.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 13.05.2015 |
14:30 - 16:15
|
MT 128 |
|
| Mi 20.05.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 21.05.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 27.05.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 28.05.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 03.06.2015 |
14:30 - 16:15
|
MT 128 |
|
| Mi 10.06.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 11.06.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 17.06.2015 |
14:30 - 16:15
|
MT 128 |
|
| Do 18.06.2015 |
14:30 - 16:15
|
S3 047 |
|
| Mi 24.06.2015 |
14:30 - 16:15
|
MT 130 |
|
| Do 25.06.2015 |
14:30 - 16:15
|
S3 047 |
|
|
|
|
|
326.062 (2015S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 10.03.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 17.03.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 24.03.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 14.04.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 21.04.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 28.04.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 05.05.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 12.05.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 19.05.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 02.06.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 09.06.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 16.06.2015 |
14:30 - 16:15
|
HT 176G |
|
| Di 23.06.2015 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
|
326.049 (2015S)
|
Programming project symbolic computation
Computer algebra, Logic and Softwaredesign II
Further information
|
Register
|
KV |
2,00 |
Ralf Hemmecke
|
Weekly
|
| |
|
|
|
326.065 (2015S)
|
Rewriting in Computer Science and Logic
Further information
|
Register
|
VL |
2,00 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 06.03.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 13.03.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 20.03.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 27.03.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 17.04.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 24.04.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 08.05.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 15.05.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 22.05.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 29.05.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 12.06.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 19.06.2015 |
12:00 - 13:30
|
T 406 |
|
| Fr 26.06.2015 |
12:00 - 13:30
|
T 406 |
|
| Di 07.07.2015 |
11:30 - 13:00
|
T 406 |
|
|
|
|
|
326.098 (2015S)
|
Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 11.03.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 18.03.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 25.03.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 15.04.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 22.04.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 29.04.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 06.05.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 13.05.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 20.05.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 27.05.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 03.06.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 10.06.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 17.06.2015 |
11:00 - 12:30
|
HA 105 |
|
| Mi 24.06.2015 |
11:00 - 12:30
|
HA 105 |
|
|
|
|
|
326.099 (2015S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 15)
Further information
|
Register
|
SE |
2,00 |
Wolfgang Schreiner
Franz Lichtenberger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 11.03.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 18.03.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mo 23.03.2015 |
17:15 - 18:45
|
S2 054 |
|
| Mi 25.03.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 15.04.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 22.04.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 29.04.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 06.05.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 13.05.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 20.05.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 27.05.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 03.06.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 10.06.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 17.06.2015 |
12:30 - 14:00
|
HA 105 |
|
| Mi 24.06.2015 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.001 (2015S)
|
Seminar symbolic computation
Computer-Algebra II (Summer Semester 15)
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 19.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 26.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.06.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.06.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.06.2015 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.060 (2015S)
|
Seminar symbolic computation
Algorithmic Algebra
|
Register
|
SE |
2,00 |
Josef Schicho
|
Weekly
|
| |
|
|
|
326.096 (2015S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 15)
Further information
|
Register
|
SE |
2,00 |
Peter Paule
Manuel Kauers
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 11.03.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 18.03.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 25.03.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 15.04.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 22.04.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 29.04.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 06.05.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 13.05.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 20.05.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 27.05.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 03.06.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 10.06.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 17.06.2015 |
14:00 - 15:30
|
HA 105 |
|
| Mi 24.06.2015 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.0UU (2015S)
|
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 15)
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 19.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 26.03.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.04.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.05.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.06.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.06.2015 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.06.2015 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.068 (2015S)
|
Software engineering
Further information
|
Register
|
KV |
2,00 |
Petru Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 03.03.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 10.03.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 17.03.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 24.03.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 14.04.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 21.04.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 28.04.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Mo 04.05.2015 |
09:00 - 11:00
|
K 009D |
|
| Di 05.05.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 12.05.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 19.05.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 02.06.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 09.06.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 16.06.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 23.06.2015 |
16:15 - 18:00
|
BA 9909 |
|
| Di 30.06.2015 |
16:15 - 18:00
|
BA 9909 |
|
|
|
|
|
326.088 (2015S)
|
Special Topics
Functional Programming
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 11.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 18.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 25.03.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 15.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 22.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 29.04.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 06.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 13.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 20.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 27.05.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 03.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 10.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 17.06.2015 |
16:15 - 18:00
|
MT 130 |
|
| Mi 24.06.2015 |
16:15 - 18:00
|
MT 130 |
|
|
|
|
|
326.0VR (2015S)
|
Special Topics
Formal Models of Parallel and Distributed Systems
Further information
|
Register
|
VL |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 02.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 09.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 16.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 23.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 13.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 20.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 27.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 11.05.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 18.05.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 01.06.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 08.06.2015 |
08:30 - 11:45
|
S2 046 |
|
| Mo 15.06.2015 |
08:30 - 11:45
|
S2 046 |
|
| Mo 22.06.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 29.06.2015 |
08:30 - 10:00
|
S2 046 |
|
|
|
|
|
326.00E (2015S)
|
Special topics logic and software design
Formal Languages and Formal Grammars
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 05.03.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 12.03.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 19.03.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 26.03.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 16.04.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 23.04.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 30.04.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 07.05.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 21.05.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 28.05.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 11.06.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 18.06.2015 |
16:15 - 18:00
|
K 112A |
|
| Do 25.06.2015 |
16:15 - 18:00
|
K 112A |
|
|
|
|
|
326.076 (2015S)
|
Special topics logic and software design
Formal Models for Parallel and Distributed Systems
Further information
|
Register
|
VL |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 02.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 09.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 16.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 23.03.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 13.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 20.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 27.04.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 11.05.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 18.05.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 01.06.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 08.06.2015 |
08:30 - 11:45
|
S2 046 |
|
| Mo 15.06.2015 |
08:30 - 11:45
|
S2 046 |
|
| Mo 22.06.2015 |
08:30 - 10:00
|
S2 046 |
|
| Mo 29.06.2015 |
08:30 - 10:00
|
S2 046 |
|
|
|
|
|
326.075 (2015S)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions II
Further information
|
Register
|
VL |
2,00 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 04.03.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 11.03.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 18.03.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 25.03.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 15.04.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 22.04.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 29.04.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 06.05.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 13.05.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 20.05.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 27.05.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 03.06.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 10.06.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 17.06.2015 |
16:15 - 18:00
|
HA 105 |
|
| Mi 24.06.2015 |
16:15 - 18:00
|
HA 105 |
|
|
|
|
|
326.0SP (2015S)
|
Special Topics symbolic computation
Loewy Decomposition of Linear Differential Equations
Further information
|
Register
|
VL |
2,00 |
Fritz Schwarz
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.05.2015 |
08:30 - 10:00
|
HF 9915 |
|
| Fr 08.05.2015 |
10:15 - 11:45
|
HF 9915 |
|
| Di 12.05.2015 |
08:30 - 10:00
|
HF 9915 |
|
| Mi 13.05.2015 |
08:30 - 10:00
|
HF 9915 |
|
| Di 19.05.2015 |
08:30 - 10:00
|
HF 9915 |
|
| Fr 22.05.2015 |
10:15 - 11:45
|
HF 9915 |
|
| Mi 27.05.2015 |
08:30 - 10:00
|
HF 9915 |
|
| Fr 29.05.2015 |
10:15 - 11:45
|
HF 9915 |
|
|
|
|
