Find below the list of courses offered by RISC-Linz as of 30.6.2014.
Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
368.191 (2014S)
|
Algebra
Further information
|
Register
|
UE |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 03.03.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 10.03.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 17.03.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 24.03.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 31.03.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 07.04.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 28.04.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 05.05.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 12.05.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 19.05.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 26.05.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 02.06.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 16.06.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 23.06.2014 |
15:30 - 17:00
|
S2 059 |
|
Mo 30.06.2014 |
15:30 - 17:00
|
S2 059 |
|
|
|
|
326.007 (2014S)
|
Algebraic and Discrete Methods for Biology
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
Stephan Dreiseitl
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
13:45 - 15:15
|
MT 128 |
|
Do 13.03.2014 |
17:15 - 18:45
|
S2 054 |
|
Do 20.03.2014 |
17:15 - 18:45
|
S2 054 |
|
Do 27.03.2014 |
13:45 - 15:15
|
S3 047 |
|
Do 03.04.2014 |
13:45 - 15:15
|
S3 047 |
|
Do 10.04.2014 |
13:45 - 15:15
|
S3 047 |
|
Do 08.05.2014 |
13:45 - 15:15
|
K 034D |
|
Do 15.05.2014 |
13:45 - 15:15
|
S3 047 |
|
Do 22.05.2014 |
13:45 - 15:15
|
MZ 005A |
|
Do 05.06.2014 |
13:45 - 15:15
|
S2 219 |
|
Do 12.06.2014 |
13:45 - 15:15
|
MZ 005A |
|
Do 26.06.2014 |
13:45 - 15:15
|
S2 219 |
|
Fr 27.06.2014 |
16:15 - 18:00
|
S2 219 |
|
|
|
|
326.046 (2014S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,00 |
Peter Paule
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 11.03.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 18.03.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 25.03.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 01.04.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 08.04.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 29.04.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 06.05.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 13.05.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 20.05.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 27.05.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 03.06.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 17.06.2014 |
12:00 - 13:30
|
HS 11 |
|
Di 24.06.2014 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
326.047 (2014S)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,00 |
Peter Paule
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 11.03.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 18.03.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 25.03.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 01.04.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 08.04.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 29.04.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 06.05.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 13.05.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 20.05.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 27.05.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 03.06.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 17.06.2014 |
11:00 - 11:45
|
HS 4 |
|
Di 24.06.2014 |
11:00 - 11:45
|
HS 4 |
|
|
|
|
326.079 (2014S)
|
Computer analysis
Further information
|
Register
|
VO |
2,00 |
Manuel Kauers
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 12.03.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 19.03.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 26.03.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 02.04.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 09.04.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 30.04.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 07.05.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 14.05.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 21.05.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 28.05.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 04.06.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 18.06.2014 |
09:00 - 10:30
|
HA 105 |
|
Mi 25.06.2014 |
09:00 - 10:30
|
HA 105 |
|
|
|
|
326.052 (2014S)
|
Computer systems
Further information
|
Register
|
KV |
2,00 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr 07.03.2014 |
10:15 - 11:45
|
BA 9911 |
|
Fr 14.03.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 17.03.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 20.03.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 21.03.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 24.03.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 27.03.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 28.03.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 31.03.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 03.04.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 04.04.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 07.04.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 10.04.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 11.04.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 28.04.2014 |
12:00 - 12:45
|
S2 054 |
|
Fr 02.05.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 05.05.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 08.05.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 09.05.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 12.05.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 15.05.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 16.05.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 19.05.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 22.05.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 23.05.2014 |
10:15 - 11:45
|
BA 9910 |
|
Mo 26.05.2014 |
12:00 - 12:45
|
S2 054 |
|
Fr 30.05.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 02.06.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 05.06.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 06.06.2014 |
10:15 - 11:45
|
BA 9911 |
|
Do 12.06.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 13.06.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 16.06.2014 |
12:00 - 12:45
|
S2 054 |
|
Mo 23.06.2014 |
12:00 - 12:45
|
S2 054 |
|
Do 26.06.2014 |
12:45 - 13:30
|
MT 128 |
|
Fr 27.06.2014 |
10:15 - 11:45
|
BA 9911 |
|
Mo 30.06.2014 |
12:00 - 12:45
|
S2 054 |
|
Fr 04.07.2014 |
10:15 - 11:45
|
HS 19 |
|
|
|
|
326.081 (2014S)
|
Introduction to parallel and distributed computing
Further information
|
Register
|
VO |
2,00 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 03.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 10.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 17.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 24.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 31.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 07.04.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 28.04.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 05.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 12.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 19.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 26.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 02.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 16.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 23.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 30.06.2014 |
08:30 - 10:00
|
T 642 |
|
|
|
|
326.008 (2014S)
|
Decidibility and complexity classes
Further information
|
Register
|
VO |
2,00 |
Heinrich Rolletschek
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 13.03.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 20.03.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 27.03.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 03.04.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 10.04.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 08.05.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 15.05.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 22.05.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 05.06.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 12.06.2014 |
08:30 - 10:00
|
BA 9908 |
|
Do 26.06.2014 |
08:30 - 10:00
|
BA 9908 |
|
|
|
|
326.703 (2014S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
UE |
1,00 |
Maximilian Thomas Jaroschek
|
Weekly
|
|
|
|
326.712 (2014S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
VO |
3,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 07.03.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 13.03.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 14.03.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 20.03.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 21.03.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 27.03.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 28.03.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 03.04.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 04.04.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 10.04.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 11.04.2014 |
08:30 - 10:00
|
HS 5 |
|
Fr 02.05.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 08.05.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 09.05.2014 |
08:30 - 10:00
|
HS 5 |
|
Fr 09.05.2014 |
10:15 - 11:45
|
HS 5 |
|
Do 15.05.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 16.05.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 22.05.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 23.05.2014 |
08:30 - 10:00
|
HS 5 |
|
Fr 23.05.2014 |
10:15 - 11:45
|
HS 5 |
|
Fr 30.05.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 05.06.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 06.06.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 12.06.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 13.06.2014 |
08:30 - 10:00
|
HS 5 |
|
Do 26.06.2014 |
14:30 - 15:15
|
HS 6 |
|
Fr 27.06.2014 |
08:30 - 10:00
|
HS 5 |
|
Fr 04.07.2014 |
13:45 - 15:15
|
HS 19 |
|
Fr 04.07.2014 |
13:45 - 15:15
|
HS 18 |
|
Mo 07.07.2014 |
13:45 - 15:15
|
HS 16 |
|
Mo 29.09.2014 |
15:30 - 17:00
|
HS 18 |
|
|
|
|
326.714 (2014S)
|
Formal Foundations in Business Informatics
Further information
|
Register
|
UE |
1,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 13.03.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 20.03.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 27.03.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 03.04.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 10.04.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 08.05.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 15.05.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 22.05.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 05.06.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 12.06.2014 |
13:45 - 14:30
|
HS 6 |
|
Do 26.06.2014 |
13:45 - 14:30
|
HS 6 |
|
|
|
|
326.003 (2014S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Sommer Semester 14
|
Register
|
KV |
2,00 |
Sergiy Pereverzyev
Sergiy Pereverzyev
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
10:15 - 12:00
|
SP2 416-1 |
|
Mo 14.04.2014 |
14:30 - 16:00
|
SP2 416-1 |
|
Mo 28.04.2014 |
14:30 - 16:00
|
SP2 416-1 |
|
Mo 05.05.2014 |
14:30 - 16:00
|
SP2 416-1 |
|
Do 08.05.2014 |
12:00 - 13:30
|
SP2 416-1 |
|
Mo 12.05.2014 |
14:30 - 16:00
|
SP2 416-1 |
|
Do 15.05.2014 |
12:00 - 13:30
|
SP2 416-1 |
|
Mo 19.05.2014 |
14:30 - 16:00
|
SP2 416-1 |
|
Do 22.05.2014 |
12:00 - 13:30
|
SP2 416-1 |
|
|
|
|
326.054 (2014S)
|
Functional programming
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 12.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 19.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 26.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 02.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 09.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 30.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 07.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 14.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 21.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 28.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 04.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 11.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 18.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 25.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
|
|
|
326.035 (2014S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Burkhard Zimmermann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 10.03.2014 |
10:15 - 11:45
|
S2 053 |
|
Mo 17.03.2014 |
10:15 - 11:45
|
S2 053 |
|
Mo 24.03.2014 |
10:15 - 11:45
|
S2 053 |
|
Mo 31.03.2014 |
10:15 - 11:45
|
S2 053 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 28.04.2014 |
10:15 - 11:45
|
S2 053 |
|
Di 06.05.2014 |
10:15 - 11:45
|
MT 327 |
|
|
|
|
326.037 (2014S)
|
Linear algebra for physicists II
Further information
|
Register
|
UE |
1,00 |
Wolfgang Leeb
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 10.03.2014 |
10:15 - 11:45
|
S2 046 |
|
Mo 17.03.2014 |
10:15 - 11:45
|
S2 046 |
|
Mo 24.03.2014 |
10:15 - 11:45
|
S2 046 |
|
Mo 31.03.2014 |
10:15 - 11:45
|
S2 046 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
K 033C |
|
Mo 28.04.2014 |
10:15 - 11:45
|
S2 046 |
|
|
|
|
326.038 (2014S)
|
Linear algebra for physicists II
Further information
|
Register
|
VO |
2,00 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 05.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 06.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 11.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 12.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 13.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 18.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 19.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 20.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 25.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 26.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 27.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 01.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 02.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 03.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 08.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 09.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 10.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 29.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 30.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 06.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 07.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 08.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Fr 09.05.2014 |
13:45 - 17:00
|
HS 19 |
|
Di 13.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 14.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 15.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 20.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 21.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 22.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 27.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 28.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 03.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 04.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 05.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Mi 11.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 12.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 17.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 18.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 24.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 25.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 26.06.2014 |
10:15 - 11:45
|
HS 9 |
|
|
|
|
326.018 (2014S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Georg Grasegger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 10.03.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 17.03.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 24.03.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 31.03.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
S2 053 |
1. Klausur |
Mo 28.04.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 05.05.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 12.05.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 19.05.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 26.05.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 02.06.2014 |
10:15 - 11:45
|
S2 048 |
|
Mo 16.06.2014 |
10:15 - 11:45
|
HS 15 |
2. Klausur |
Mo 23.06.2014 |
10:15 - 11:45
|
S2 048 |
|
|
|
|
326.024 (2014S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Franz Binder
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 10.03.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 17.03.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 24.03.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 31.03.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
MT 128 |
1. Klausur |
Mo 28.04.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 05.05.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 12.05.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 19.05.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 26.05.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 02.06.2014 |
10:15 - 11:45
|
MT 132 |
|
Mo 16.06.2014 |
10:15 - 11:45
|
HS 15 |
2. Klausur |
Mo 23.06.2014 |
10:15 - 11:45
|
MT 132 |
|
|
|
|
326.034 (2014S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
UE |
2,00 |
Günter Landsmann
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 17.03.2014 |
10:15 - 11:45
|
S2 120 |
|
Mo 17.03.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 24.03.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 31.03.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 07.04.2014 |
10:15 - 11:45
|
HF 9901 |
|
Mo 28.04.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 05.05.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 12.05.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 19.05.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 26.05.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 02.06.2014 |
10:15 - 11:45
|
T 911 |
|
Mo 16.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Mo 23.06.2014 |
10:15 - 11:45
|
T 911 |
|
|
|
|
326.040 (2014S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
VO |
5,00 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 05.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 06.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 11.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 12.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 13.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 18.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 19.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 20.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 25.03.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 26.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 27.03.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 01.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 02.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 03.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 08.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 09.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 10.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 29.04.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 30.04.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 06.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 07.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 08.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 13.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 14.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 15.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 20.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 21.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 22.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 27.05.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 28.05.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 03.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 04.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 05.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Mi 11.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 12.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 17.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 18.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Di 24.06.2014 |
11:00 - 11:45
|
HS 9 |
|
Mi 25.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Do 26.06.2014 |
10:15 - 11:45
|
HS 9 |
|
Sa 28.06.2014 |
09:00 - 12:00
|
HS 15 |
|
|
|
|
326.044 (2014S)
|
Linear algebra and analytic geometry 2
Further information
|
Register
|
KO |
2,00 |
Günter Landsmann
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 10.03.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 17.03.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 24.03.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 31.03.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 07.04.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 28.04.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 05.05.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 12.05.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 19.05.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 26.05.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 02.06.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 16.06.2014 |
13:45 - 15:15
|
S2 048 |
|
Mo 23.06.2014 |
13:45 - 15:15
|
S2 048 |
|
|
|
|
326.026 (2014S)
|
Seminar for graduate and doctoral students
Summer Semester 14
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
|
|
|
326.030 (2014S)
|
Seminar for graduate and doctoral students
Summer Semester 14
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
|
|
|
326.033 (2014S)
|
Seminar for graduate and doctoral students
Summer Semester 14
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
|
|
|
326.041 (2014S)
|
Practical software technology
Further information
|
Register
|
KV |
4,00 |
Karoly Bosa
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 06.03.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 12.03.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 13.03.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 19.03.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 20.03.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 26.03.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 27.03.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 02.04.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 03.04.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 09.04.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 10.04.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 30.04.2014 |
10:15 - 11:45
|
KG 519 |
|
Mi 07.05.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 08.05.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 14.05.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 15.05.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 21.05.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 22.05.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 28.05.2014 |
10:15 - 11:45
|
KG 519 |
|
Mi 04.06.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 05.06.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 11.06.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 12.06.2014 |
14:30 - 16:15
|
KG 519 |
|
Mi 18.06.2014 |
10:15 - 11:45
|
KG 519 |
|
Mi 25.06.2014 |
10:15 - 11:45
|
KG 519 |
|
Do 26.06.2014 |
14:30 - 16:15
|
KG 519 |
|
|
|
|
326.062 (2014S)
|
Programming in Mathematica
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 11.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 18.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 25.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 01.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 08.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 29.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 06.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 13.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 20.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 27.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 03.06.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 17.06.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 24.06.2014 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.098 (2014S)
|
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
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 12.03.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 19.03.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 26.03.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 02.04.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 09.04.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 30.04.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 07.05.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 14.05.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 21.05.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 28.05.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 04.06.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 11.06.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 18.06.2014 |
11:00 - 12:30
|
HA 105 |
|
Mi 25.06.2014 |
11:00 - 12:30
|
HA 105 |
|
|
|
|
326.001 (2014S)
|
Seminar symbolic computation
Computer-Algebra II (Summer Semester 14)
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 13.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 20.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 27.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 03.04.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 10.04.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 08.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 15.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 22.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 05.06.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 12.06.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 26.06.2014 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
326.060 (2014S)
|
Seminar symbolic computation
Algorithmic Algebra
|
Register
|
SE |
2,00 |
Josef Schicho
|
Weekly
|
|
|
|
326.064 (2014S)
|
Seminar symbolic computation
Project seminar Algorithmic Combinatorics II
Further information
|
Register
|
SE |
2,00 |
Peter Paule
Carsten Schneider
Manuel Kauers
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 12.03.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 19.03.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 26.03.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 02.04.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 09.04.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 30.04.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 07.05.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 14.05.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 21.05.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 28.05.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 04.06.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 11.06.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 18.06.2014 |
14:00 - 15:30
|
HA 105 |
|
Mi 25.06.2014 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
326.0CA (2014S)
|
Seminar symbolic computation
Project Seminar Computer algebra II
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 13.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 20.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 27.03.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 03.04.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 10.04.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 08.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 15.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 22.05.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 05.06.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 12.06.2014 |
14:30 - 16:00
|
HA 105 |
|
Do 26.06.2014 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
326.068 (2014S)
|
Software engineering
Further information
|
Register
|
KV |
2,00 |
Petru Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 11.03.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 18.03.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 25.03.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 01.04.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 08.04.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 29.04.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 06.05.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 13.05.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 20.05.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 27.05.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 03.06.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 17.06.2014 |
16:15 - 18:00
|
BA 9908 |
|
Di 24.06.2014 |
16:15 - 18:00
|
BA 9908 |
|
Do 10.07.2014 |
09:00 - 11:00
|
K 009D |
|
|
|
|
326.088 (2014S)
|
Special Topics
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 13.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 20.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 27.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 03.04.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 10.04.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 08.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 15.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 22.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 05.06.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 12.06.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 26.06.2014 |
18:00 - 19:45
|
S2 059 |
|
|
|
|
326.0FP (2014S)
|
Special Topics
Functional Programming
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 12.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 19.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 26.03.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 02.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 09.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 30.04.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 07.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 14.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 21.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 28.05.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 04.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 11.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 18.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
Mi 25.06.2014 |
16:15 - 18:00
|
S2 Z74 |
|
|
|
|
326.0UF (2014S)
|
Special Topics
Unification Theory
Further information
|
Register
|
VL |
2,00 |
Teimuraz Kutsia
|
Weekly
|
|
|
|
326.0VR (2014S)
|
Special Topics
Introduction to Parallel and Distributed Computing
Further information
|
Register
|
VL |
2,00 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo 03.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 10.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 17.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 24.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 31.03.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 07.04.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 28.04.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 05.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 12.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 19.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 26.05.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 02.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 16.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 23.06.2014 |
08:30 - 10:00
|
T 642 |
|
Mo 30.06.2014 |
08:30 - 10:00
|
T 642 |
|
|
|
|
326.MM0 (2014S)
|
Special Topics
Programming in Mathematica
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 04.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 11.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 18.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 25.03.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 01.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 08.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 29.04.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 06.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 13.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 20.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 27.05.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 03.06.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 17.06.2014 |
14:30 - 16:15
|
HT 176G |
|
Di 24.06.2014 |
14:30 - 16:15
|
HT 176G |
|
|
|
|
326.076 (2014S)
|
Special topics logic and software design
Formal Specification of Abstract Datatypes
Further information
|
Register
|
VL |
2,00 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr 07.03.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 14.03.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 21.03.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 28.03.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 04.04.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 11.04.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 02.05.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 09.05.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 16.05.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 23.05.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 30.05.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 06.06.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 13.06.2014 |
08:30 - 10:00
|
HS 13 |
|
Fr 27.06.2014 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.086 (2014S)
|
Special topics logic and software design
Gödel's Incompleteness Theorems
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do 06.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 13.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 20.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 27.03.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 03.04.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 10.04.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 08.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 15.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 22.05.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 05.06.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 12.06.2014 |
16:15 - 18:00
|
S2 059 |
|
Do 26.06.2014 |
18:00 - 19:45
|
S2 059 |
|
|
|
|
326.097 (2014S)
|
Special topics logic and software design
Unification theory
Further information
|
Register
|
VL |
2,00 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di 11.03.2014 |
15:30 - 17:00
|
K 012D |
|
Di 18.03.2014 |
15:30 - 17:00
|
K 012D |
|
Di 25.03.2014 |
15:30 - 17:00
|
K 012D |
|
Di 01.04.2014 |
15:30 - 17:00
|
K 012D |
|
Di 08.04.2014 |
15:30 - 17:00
|
K 012D |
|
Di 29.04.2014 |
15:30 - 17:00
|
K 012D |
|
Di 06.05.2014 |
15:30 - 17:00
|
K 012D |
|
Di 13.05.2014 |
15:30 - 17:00
|
K 012D |
|
Di 20.05.2014 |
15:30 - 17:00
|
K 012D |
|
Di 27.05.2014 |
15:30 - 17:00
|
K 012D |
|
Di 03.06.2014 |
15:30 - 17:00
|
K 012D |
|
Di 17.06.2014 |
15:30 - 17:00
|
K 012D |
|
Di 24.06.2014 |
15:30 - 17:00
|
K 012D |
|
Di 01.07.2014 |
15:30 - 17:00
|
K 012D |
|
|
|
|
326.0SF (2014S)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions II
|
Register
|
VL |
2,00 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi 05.03.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 12.03.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 19.03.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 26.03.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 02.04.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 09.04.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 30.04.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 07.05.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 14.05.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 21.05.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 28.05.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 04.06.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 11.06.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 18.06.2014 |
16:00 - 17:30
|
HA 105 |
|
Mi 25.06.2014 |
16:00 - 17:30
|
HA 105 |
|
|
|
|