Find below the list of courses offered by RISC-Linz as of 30.6.2013.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.007 (2013S)
|
Algebraic and Discrete Methods for Biology
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
Stephan Dreiseitl
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 14.03.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 21.03.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 11.04.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 18.04.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 25.04.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 02.05.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 16.05.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 23.05.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 06.06.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 13.06.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 20.06.2013 |
13:45 - 15:15
|
HS 12 |
|
| Do 27.06.2013 |
13:45 - 15:15
|
HS 12 |
|
|
|
|
|
326.009 (2013S)
|
Algorithmic combinatorics
Further information
|
Register
|
VO |
2,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 12.03.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 19.03.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 09.04.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 16.04.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 23.04.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 30.04.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 07.05.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 14.05.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 28.05.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 04.06.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 11.06.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 18.06.2013 |
12:00 - 13:30
|
HS 14 |
|
| Di 25.06.2013 |
12:00 - 13:30
|
HS 14 |
|
|
|
|
|
326.043 (2013S)
|
Algorithmic combinatorics
Further information
|
Register
|
UE |
1,00 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 12.03.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 19.03.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 09.04.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 16.04.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 23.04.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 30.04.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 07.05.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 14.05.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 28.05.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 04.06.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 11.06.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 18.06.2013 |
11:00 - 11:45
|
HS 11 |
|
| Di 25.06.2013 |
11:00 - 11:45
|
HS 11 |
|
|
|
|
|
326.052 (2013S)
|
Computer systems
Further information
|
Register
|
KV |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 08.03.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 15.03.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 22.03.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 12.04.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 19.04.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 26.04.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 03.05.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 10.05.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 17.05.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 24.05.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 07.06.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 14.06.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 21.06.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 28.06.2013 |
10:15 - 11:45
|
BA 9911 |
|
| Mo 01.07.2013 |
10:15 - 11:45
|
HS 4 |
|
|
|
|
|
326.058 (2013S)
|
Elimination theory
Further information
|
Register
|
VO |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 11.03.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 18.03.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 08.04.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 15.04.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 22.04.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 29.04.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 06.05.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 13.05.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 27.05.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 03.06.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 10.06.2013 |
15:30 - 17:00
|
HS 12 |
|
| Fr 14.06.2013 |
12:45 - 15:15
|
K 009D |
|
| Mo 17.06.2013 |
15:30 - 17:00
|
HS 12 |
|
| Mo 24.06.2013 |
15:30 - 17:00
|
HS 12 |
|
|
|
|
|
326.703 (2013S)
|
Formal Foundations in Business Informatics
|
Register
|
UE |
1,00 |
Richard Lechner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 14.03.2013 |
13:45 - 14:30
|
HS 3 |
|
| Do 21.03.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 11.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 18.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 25.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 02.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 16.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 23.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 06.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 13.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 20.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 27.06.2013 |
13:45 - 14:30
|
HS 4 |
|
|
|
|
|
326.712 (2013S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VO |
3,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 08.03.2013 |
08:30 - 10:00
|
HS 9 |
|
| Do 14.03.2013 |
14:30 - 15:15
|
HS 3 |
|
| Fr 15.03.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 21.03.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 22.03.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 11.04.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 12.04.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 18.04.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 19.04.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 25.04.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 26.04.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 02.05.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 03.05.2013 |
08:30 - 10:00
|
HS 10 |
|
| Fr 03.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Fr 10.05.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 16.05.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 17.05.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 23.05.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 24.05.2013 |
08:30 - 10:00
|
HS 9 |
|
| Fr 24.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 06.06.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 07.06.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 13.06.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 14.06.2013 |
08:30 - 10:00
|
HS 10 |
|
| Do 20.06.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 21.06.2013 |
08:30 - 10:00
|
HS 10 |
|
| Fr 21.06.2013 |
13:45 - 15:15
|
HS 10 |
|
| Do 27.06.2013 |
14:30 - 15:15
|
HS 4 |
|
| Fr 28.06.2013 |
08:30 - 10:00
|
HS 10 |
|
|
|
|
|
326.714 (2013S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
UE |
1,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 14.03.2013 |
13:45 - 14:30
|
HS 3 |
|
| Do 21.03.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 11.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 18.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 25.04.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 02.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 16.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 23.05.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 06.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 13.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 20.06.2013 |
13:45 - 14:30
|
HS 4 |
|
| Do 27.06.2013 |
13:45 - 14:30
|
HS 4 |
|
|
|
|
|
326.027 (2013S)
|
Formal semantics of programming languages
Further information
|
Register
|
VO |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 08.03.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 15.03.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 22.03.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 12.04.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 19.04.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 26.04.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 03.05.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 10.05.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 17.05.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 24.05.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 07.06.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 14.06.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 21.06.2013 |
08:30 - 10:00
|
HS 13 |
|
| Fr 28.06.2013 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
|
326.003 (2013S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 13
Further information
|
Register
|
KV |
2,00 |
Bruno Buchberger
Manuel Kauers
Walter Zulehner
Bert Jüttler
Peter Paule
Josef Schicho
Ronny Ramlau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 07.05.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 14.05.2013 |
10:15 - 11:45
|
S3 058 |
|
| Mo 03.06.2013 |
13:45 - 15:15
|
S2 059 |
|
| Mo 10.06.2013 |
13:45 - 15:15
|
S2 059 |
|
| Di 11.06.2013 |
10:15 - 11:45
|
S3 047 |
|
| Do 13.06.2013 |
13:45 - 15:15
|
S2 044 |
|
|
|
|
|
326.054 (2013S)
|
Functional programming
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 13.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 20.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 10.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 17.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 24.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 08.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 15.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 22.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 29.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 05.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 12.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 19.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 26.06.2013 |
16:15 - 18:00
|
KG 712 |
|
|
|
|
|
326.035 (2013S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Manuela Wiesinger-Widi
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 11.03.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 18.03.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 08.04.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 15.04.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 22.04.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 29.04.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 30.09.2013 |
10:15 - 12:45
|
HS 15 |
|
|
|
|
|
326.037 (2013S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Christian Irrgeher
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
10:15 - 11:45
|
S2 046 |
|
| Mo 11.03.2013 |
10:15 - 11:45
|
S2 046 |
|
| Mo 18.03.2013 |
10:15 - 11:45
|
S2 046 |
|
| Mo 08.04.2013 |
10:15 - 11:45
|
S2 046 |
|
| Fr 12.04.2013 |
17:15 - 19:45
|
HS 16 |
Klausur |
| Mo 15.04.2013 |
10:15 - 11:45
|
S2 046 |
|
| Mo 22.04.2013 |
10:15 - 11:45
|
S2 046 |
|
| Mo 29.04.2013 |
10:15 - 11:45
|
S2 046 |
|
| Fr 17.05.2013 |
17:15 - 19:45
|
HS 16 |
Klausur |
| Mo 30.09.2013 |
10:15 - 12:45
|
HS 15 |
Nachklausur |
|
|
|
|
326.038 (2013S)
|
Linear algebra for physicists II
Further information
|
Register
|
VO |
2,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 06.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 07.03.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 12.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 13.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 14.03.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 19.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 20.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 21.03.2013 |
10:15 - 11:45
|
HS 1 |
|
| Di 09.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 10.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 11.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 16.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 17.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 18.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 23.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 24.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 25.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 30.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Do 02.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 07.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 08.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Di 14.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 15.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 16.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Mi 22.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 23.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 28.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 29.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Di 04.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 05.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 06.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 11.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 12.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 13.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 18.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 19.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 20.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 25.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 26.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 27.06.2013 |
10:15 - 11:45
|
HS 18 |
|
|
|
|
|
326.018 (2013S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Burkhard Zimmermann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 11.03.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 18.03.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 08.04.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 15.04.2013 |
10:15 - 11:45
|
S2 048 |
|
| Do 18.04.2013 |
12:00 - 13:30
|
S3 047 |
|
| Mo 22.04.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 29.04.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 06.05.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 13.05.2013 |
10:15 - 11:45
|
S2 048 |
|
| Do 23.05.2013 |
12:00 - 13:30
|
S2 054 |
|
| Mo 27.05.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 03.06.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 10.06.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 17.06.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 24.06.2013 |
10:15 - 11:45
|
S2 048 |
|
| Do 27.06.2013 |
12:00 - 13:30
|
S2 054 |
|
| Mo 30.09.2013 |
10:15 - 12:45
|
HS 15 |
|
|
|
|
|
326.024 (2013S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Peter Mayr
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 11.03.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 18.03.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 08.04.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 15.04.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 22.04.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 29.04.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 06.05.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 13.05.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 27.05.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 03.06.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 10.06.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 17.06.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 24.06.2013 |
10:15 - 11:45
|
MT 130 |
|
| Mo 30.09.2013 |
10:15 - 12:45
|
HS 15 |
|
|
|
|
|
326.034 (2013S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Georg Grasegger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 11.03.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 18.03.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 08.04.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 15.04.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 22.04.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 29.04.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 06.05.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 13.05.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 27.05.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 03.06.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 10.06.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 17.06.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 24.06.2013 |
10:15 - 11:45
|
S2 044 |
|
| Mo 30.09.2013 |
10:15 - 12:45
|
HS 15 |
|
|
|
|
|
326.040 (2013S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
VO |
5,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 06.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 07.03.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 12.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 13.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 14.03.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 19.03.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 20.03.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 21.03.2013 |
10:15 - 11:45
|
HS 1 |
|
| Di 09.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 10.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 11.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 16.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 17.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 18.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 23.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 24.04.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 25.04.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 30.04.2013 |
11:00 - 11:45
|
HS 9 |
|
| Do 02.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 07.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 08.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Di 14.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 15.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 16.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Mi 22.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 23.05.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 28.05.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 29.05.2013 |
10:15 - 11:45
|
HS 9 |
|
| Di 04.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 05.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 06.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 11.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 12.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 13.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 18.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 19.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 20.06.2013 |
10:15 - 11:45
|
HS 18 |
|
| Di 25.06.2013 |
11:00 - 11:45
|
HS 9 |
|
| Mi 26.06.2013 |
10:15 - 11:45
|
HS 9 |
|
| Do 27.06.2013 |
10:15 - 11:45
|
HS 18 |
|
|
|
|
|
326.044 (2013S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
KO |
2,00 |
Franz Binder
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 11.03.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 18.03.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 08.04.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 15.04.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 22.04.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 29.04.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 06.05.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 13.05.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 27.05.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 03.06.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 10.06.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 17.06.2013 |
13:45 - 15:15
|
S3 047 |
|
| Mo 24.06.2013 |
13:45 - 15:15
|
S3 047 |
|
|
|
|
|
326.048 (2013S)
|
Logic as a working language
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 12.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 19.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 09.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 16.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 23.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 30.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 07.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 14.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 28.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 04.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 11.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 18.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 25.06.2013 |
12:00 - 13:30
|
HS 13 |
|
|
|
|
|
326.0XX (2013S)
|
Seminar for graduate and doctoral students
Summer Semester 13
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.0YY (2013S)
|
Seminar for graduate and doctoral students
Summer Semester 13
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
|
|
|
326.0ZZ (2013S)
|
Seminar for graduate and doctoral students
Summer Semester 13
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
|
|
|
326.059 (2013S)
|
Mathematical logic 2
Further information
|
Register
|
VO |
2,00 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 14.03.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 21.03.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 11.04.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 18.04.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 25.04.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 02.05.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 16.05.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 23.05.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 06.06.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 13.06.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 20.06.2013 |
08:30 - 10:00
|
HS 11 |
|
| Do 27.06.2013 |
08:30 - 11:00
|
HS 11 |
|
|
|
|
|
326.041 (2013S)
|
Practical software technology
Further information
|
Register
|
KV |
4,00 |
Karoly Bosa
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 07.03.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 13.03.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 14.03.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 20.03.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 21.03.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 10.04.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 11.04.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 17.04.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 18.04.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 24.04.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 25.04.2013 |
14:30 - 16:15
|
HS 11 |
|
| Do 02.05.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 08.05.2013 |
10:15 - 11:45
|
T 112 |
|
| Mi 15.05.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 16.05.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 22.05.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 23.05.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 29.05.2013 |
10:15 - 11:45
|
T 112 |
|
| Mi 05.06.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 06.06.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 12.06.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 13.06.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 19.06.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 20.06.2013 |
14:30 - 16:15
|
HS 11 |
|
| Mi 26.06.2013 |
10:15 - 11:45
|
T 112 |
|
| Do 27.06.2013 |
14:30 - 16:15
|
HS 11 |
|
|
|
|
|
326.062 (2013S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 12.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 19.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 09.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 16.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 23.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 30.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 07.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 14.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 28.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 04.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 11.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 18.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 25.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
|
|
|
|
326.049 (2013S)
|
Programming project symbolic computation
Computer algebra, Logic, and Software design II
Further information
|
Register
|
KV |
2,00 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 04.03.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 11.03.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 18.03.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 08.04.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 15.04.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 22.04.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 29.04.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 06.05.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 13.05.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 27.05.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 03.06.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 10.06.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 17.06.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 24.06.2013 |
12:00 - 13:30
|
HA 105 |
|
|
|
|
|
326.065 (2013S)
|
Rewriting in computer science and logic
Further information
|
Register
|
VO |
2,00 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 08.03.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 15.03.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 22.03.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 12.04.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 19.04.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 26.04.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 03.05.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 10.05.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 17.05.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 24.05.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 07.06.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 14.06.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 21.06.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 28.06.2013 |
12:00 - 13:30
|
T 112 |
|
| Fr 12.07.2013 |
11:00 - 12:45
|
K 009D |
|
|
|
|
|
326.020 (2013S)
|
Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 13)
Further information
|
Register
|
SE |
2,00 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 18.03.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 08.04.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 15.04.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 22.04.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 29.04.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 06.05.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 13.05.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 27.05.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 03.06.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 10.06.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 17.06.2013 |
16:15 - 18:00
|
HT 177F |
|
| Mo 01.07.2013 |
13:45 - 15:15
|
HT 177F |
|
|
|
|
|
326.098 (2013S)
|
Seminar logic and software design
Project seminar Automated theorem proving II: Theorema (Summer semester 13)
Further information
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 13.03.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 20.03.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 10.04.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 17.04.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 24.04.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 08.05.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 15.05.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 22.05.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 29.05.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 05.06.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 12.06.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 19.06.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 26.06.2013 |
11:00 - 12:30
|
HA 105 |
|
|
|
|
|
326.099 (2013S)
|
Seminar logic and software design
Project seminar Formal Methods II (Summer semester 13)
Further information
|
Register
|
SE |
2,00 |
Wolfgang Schreiner
Franz Lichtenberger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 13.03.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 20.03.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 10.04.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 17.04.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 24.04.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 08.05.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 15.05.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 22.05.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 29.05.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 05.06.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 12.06.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 19.06.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 26.06.2013 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.001 (2013S)
|
Seminar symbolic computation
Computer-Algebra II (Summer Semester 13)
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 06.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 13.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.06.2013 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.060 (2013S)
|
Seminar symbolic computation
Algorithmic Algebra (Summer semester 13)
|
Register
|
SE |
2,00 |
Josef Schicho
|
Weekly
|
| |
|
|
|
326.096 (2013S)
|
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 13)
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 13.03.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 20.03.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 10.04.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 17.04.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 24.04.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 08.05.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 15.05.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 22.05.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 29.05.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 05.06.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 12.06.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 19.06.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 26.06.2013 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.0UU (2013S)
|
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 13)
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.03.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 11.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.04.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.05.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 06.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 13.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 20.06.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 27.06.2013 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.068 (2013S)
|
Software engineering
Further information
|
Register
|
KV |
2,00 |
Petru Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 12.03.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 19.03.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 09.04.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 16.04.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 23.04.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 30.04.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 07.05.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 14.05.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 28.05.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 04.06.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 11.06.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 18.06.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Di 25.06.2013 |
16:15 - 18:00
|
HF 9904 |
|
| Mi 10.07.2013 |
09:30 - 11:30
|
K 009D |
|
|
|
|
|
326.077 (2013S)
|
Special course Analysis
Artin Approximation and Solutions to Recursion Equations
Further information
|
Register
|
VL |
1,00 |
Herwig Hauser
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 21.03.2013 |
11:00 - 13:30
|
MT 128 |
|
| Do 21.03.2013 |
15:30 - 18:00
|
T 642 |
|
| Fr 22.03.2013 |
09:15 - 12:45
|
MT 130 |
|
| Do 11.04.2013 |
11:00 - 13:30
|
MT 130 |
|
| Do 11.04.2013 |
15:30 - 17:00
|
S3 058 |
|
| Fr 12.04.2013 |
09:15 - 12:45
|
S2 054 |
|
| Do 25.04.2013 |
11:00 - 13:30
|
S2 054 |
|
| Do 25.04.2013 |
15:30 - 17:00
|
S2 054 |
|
| Fr 26.04.2013 |
09:15 - 11:45
|
S2 054 |
|
| Do 16.05.2013 |
11:00 - 13:30
|
MT 128 |
|
| Do 16.05.2013 |
15:30 - 17:00
|
S2 054 |
|
| Fr 17.05.2013 |
09:15 - 11:45
|
S3 048 |
|
|
|
|
|
326.00E (2013S)
|
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 07.03.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 14.03.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 21.03.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 11.04.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 18.04.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 25.04.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 02.05.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 16.05.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 23.05.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 06.06.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 13.06.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 20.06.2013 |
16:15 - 18:00
|
P 215 |
|
| Do 27.06.2013 |
16:15 - 18:00
|
P 215 |
|
|
|
|
|
326.097 (2013S)
|
Special topics logic and software design
Unification theory
Further information
|
Register
|
VL |
2,00 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 12.03.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 19.03.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 09.04.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 16.04.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 23.04.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 30.04.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 07.05.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 14.05.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 28.05.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 04.06.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 11.06.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 18.06.2013 |
15:30 - 17:00
|
K 009D |
|
| Di 25.06.2013 |
15:30 - 17:00
|
K 009D |
|
|
|
|
|
326.039 (2013S)
|
Special Topics symbolic computation
Computer algebra II: Groebner bases
Further information
|
Register
|
VL |
2,00 |
Manuel Kauers
|
Weekly
|
| |
|
|
|
326.080 (2013S)
|
Special Topics symbolic computation
Symbolic Linear Algebra
|
Register
|
VL |
2,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 07.03.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 14.03.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 21.03.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 11.04.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 18.04.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 25.04.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 02.05.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 16.05.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 23.05.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 06.06.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 13.06.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 20.06.2013 |
12:00 - 13:30
|
KG 712 |
|
| Do 27.06.2013 |
12:00 - 13:30
|
KG 712 |
|
|
|
|
|
326.017 (2013S)
|
Special Topics in Computer Science
Predicate Logic as a Working Language
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 12.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 19.03.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 09.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 16.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 23.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 30.04.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 07.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 14.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 28.05.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 04.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 11.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 18.06.2013 |
12:00 - 13:30
|
HS 13 |
|
| Di 25.06.2013 |
12:00 - 13:30
|
HS 13 |
|
|
|
|
|
326.I06 (2013S)
|
Special Topics in Computer Science
Programming in Mathematica
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 05.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 12.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 19.03.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 09.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 16.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 23.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 30.04.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 07.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 14.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 28.05.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 04.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 11.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 18.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
| Di 25.06.2013 |
14:30 - 16:15
|
HF 9915 |
|
|
|
|
|
326.I07 (2013S)
|
Special Topics in Computer Science
Functional Programming
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 06.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 13.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 20.03.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 10.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 17.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 24.04.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 08.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 15.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 22.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 29.05.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 05.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 12.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 19.06.2013 |
16:15 - 18:00
|
KG 712 |
|
| Mi 26.06.2013 |
16:15 - 18:00
|
KG 712 |
|
|
|
|
