Find below the list of courses offered by RISC-Linz as of 31.7.2009.
| LVA Nr. |
Titel |
Anmeldung |
Typ |
W.Std. |
LeiterInnen |
Rhythmus |
|
326.007 (2009S)
|
Algebraische und diskrete Methoden der Biologie
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Schreiner
Teimuraz Kutsia
Elena Kartaschova
Tudor Jebelean
Wolfgang Windsteiger
Stephan Dreiseitl
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 12.03.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 19.03.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 26.03.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 02.04.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 23.04.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 30.04.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 07.05.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 14.05.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 28.05.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 04.06.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 18.06.2009 |
13:45 - 15:15
|
HS 12 |
|
| Do 25.06.2009 |
13:45 - 15:15
|
HS 12 |
|
|
|
|
|
326.009 (2009S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 10.03.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 17.03.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 24.03.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 31.03.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 21.04.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 28.04.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 05.05.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 12.05.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 19.05.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 26.05.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 09.06.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 16.06.2009 |
12:00 - 13:30
|
HS 14 |
|
| Di 23.06.2009 |
12:00 - 13:30
|
HS 14 |
|
|
|
|
|
326.043 (2009S)
|
Algorithmische Kombinatorik
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Carsten Schneider
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 10.03.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 17.03.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 24.03.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 31.03.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 21.04.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 28.04.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 05.05.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 12.05.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 19.05.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 26.05.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 09.06.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 16.06.2009 |
11:00 - 11:45
|
HS 11 |
|
| Di 23.06.2009 |
11:00 - 11:45
|
HS 11 |
|
|
|
|
|
326.052 (2009S)
|
Computersysteme
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 06.03.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 13.03.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 20.03.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 27.03.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 03.04.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 24.04.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 08.05.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Do 14.05.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Fr 15.05.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 22.05.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 29.05.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 05.06.2009 |
10:15 - 11:45
|
BA 9911 |
|
| Fr 19.06.2009 |
10:15 - 11:45
|
UC 6 |
|
| Fr 26.06.2009 |
10:15 - 11:45
|
BA 9911 |
|
|
|
|
|
326.058 (2009S)
|
Eliminationstheorie
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Günter Landsmann
|
Wöchentlich |
| |
|
|
|
326.027 (2009S)
|
Formale Semantik von Programmiersprachen
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 06.03.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 13.03.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 20.03.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 27.03.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 03.04.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 24.04.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 08.05.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 15.05.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 22.05.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 29.05.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 05.06.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 19.06.2009 |
08:30 - 10:00
|
HS 13 |
|
| Fr 26.06.2009 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
|
326.902 (2009S)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Sommer Semester 2009
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Peter Paule
Ronny Ramlau
Ulrich Langer
Walter Zulehner
Josef Schicho
Wolfgang Schreiner
Franz Winkler
Bert Jüttler
Bruno Buchberger
|
Wöchentlich |
| |
|
|
|
326.054 (2009S)
|
Funktionales Programmieren
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Tudor Jebelean
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 04.03.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 11.03.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 18.03.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 25.03.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 01.04.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 22.04.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 29.04.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 06.05.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 13.05.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 20.05.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 27.05.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 03.06.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 10.06.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 17.06.2009 |
16:15 - 18:00
|
KG 712 |
|
| Mi 24.06.2009 |
16:15 - 18:00
|
KG 712 |
|
|
|
|
|
326.046 (2009S)
|
Lineare Algebra II für Physiker(innen)
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Franz Winkler
|
Blocktermin |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 04.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 05.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 10.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 11.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 12.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 17.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 18.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 19.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Mi 25.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 26.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 31.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 01.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 02.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 21.04.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 22.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 23.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 28.04.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 29.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 30.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Sa 16.05.2009 |
09:00 - 12:00
|
HS 7 |
|
|
|
|
|
326.047 (2009S)
|
Lineare Algebra II für Physiker(innen)
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Marcel Oliver Widi
|
Blocktermin |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 09.03.2009 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 16.03.2009 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 23.03.2009 |
10:15 - 11:45
|
BA 9909 |
|
| Mo 20.04.2009 |
10:15 - 11:45
|
BA 9909 |
|
|
|
|
|
326.078 (2009S)
|
Lineare Algebra II für Physiker(innen)
Weitere Infos
|
Anmelden
|
UE |
1,0 |
Marcel Oliver Widi
|
Blocktermin |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Mo 09.03.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Mo 16.03.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Mo 23.03.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Mo 20.04.2009 |
12:00 - 13:30
|
BA 9909 |
|
| Mo 27.04.2009 |
12:00 - 13:30
|
HS 2 |
|
|
|
|
|
326.003 (2009S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Johannes Middeke
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 09.03.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 16.03.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 23.03.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 30.03.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 20.04.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 27.04.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 11.05.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 18.05.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 25.05.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 08.06.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 15.06.2009 |
10:15 - 11:45
|
HS 14 |
|
| Mo 22.06.2009 |
10:15 - 11:45
|
HS 14 |
|
|
|
|
|
326.060 (2009S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
VO |
5,0 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 04.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 05.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 10.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 11.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 12.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 17.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 18.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 19.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Mi 25.03.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 26.03.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 31.03.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 01.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 02.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 21.04.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 22.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 23.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 28.04.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 29.04.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 30.04.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 05.05.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 06.05.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 07.05.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 12.05.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 13.05.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 14.05.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 19.05.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 20.05.2009 |
10:15 - 11:45
|
HS 4 |
|
| Di 26.05.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 27.05.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 28.05.2009 |
10:15 - 11:45
|
HS 15 |
|
| Mi 03.06.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 04.06.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 09.06.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 10.06.2009 |
10:15 - 11:45
|
HS 4 |
|
| Di 16.06.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 17.06.2009 |
10:15 - 11:45
|
HS 4 |
|
| Do 18.06.2009 |
10:15 - 11:45
|
HS 15 |
|
| Di 23.06.2009 |
09:15 - 10:00
|
HS 1 |
|
| Mi 24.06.2009 |
10:15 - 11:45
|
HS 4 |
|
| Sa 27.06.2009 |
13:45 - 17:15
|
HS 16 |
|
|
|
|
|
326.092 (2009S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Christian Aistleitner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 09.03.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 16.03.2009 |
08:30 - 10:00
|
T 642 |
|
| Mo 16.03.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 23.03.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 30.03.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 20.04.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 20.04.2009 |
15:30 - 17:00
|
HS 9 |
|
| Mo 27.04.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 11.05.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 18.05.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 25.05.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 08.06.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 15.06.2009 |
10:15 - 11:45
|
BA 9912 |
|
| Mo 22.06.2009 |
10:15 - 11:45
|
BA 9912 |
|
|
|
|
|
326.093 (2009S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
UE |
2,0 |
Günter Landsmann
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 09.03.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 16.03.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 23.03.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 30.03.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 20.04.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 27.04.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 11.05.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 18.05.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 25.05.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 08.06.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 15.06.2009 |
10:15 - 11:45
|
BA 9908 |
|
| Mo 22.06.2009 |
10:15 - 11:45
|
BA 9908 |
|
|
|
|
|
326.094 (2009S)
|
Lineare Algebra und Analytische Geometrie 2
Weitere Infos
|
Anmelden
|
KO |
2,0 |
Marcel Oliver Widi
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 09.03.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 16.03.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 23.03.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 20.04.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 27.04.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 18.05.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 25.05.2009 |
13:45 - 15:15
|
BA 9911 |
|
| Mo 08.06.2009 |
13:45 - 15:15
|
BA 9911 |
|
|
|
|
|
326.048 (2009S)
|
Logik als Arbeitssprache
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 10.03.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 17.03.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 24.03.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 21.04.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 28.04.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 05.05.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 12.05.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 19.05.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 09.06.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 16.06.2009 |
12:00 - 13:30
|
HS 12 |
|
| Di 23.06.2009 |
12:00 - 13:30
|
HS 12 |
|
|
|
|
|
326.000 (2009S)
|
Magister- und Dissertantenseminar
Sommer Semester 09
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
|
Wöchentlich |
| |
|
|
|
326.001 (2009S)
|
Magister- und Dissertantenseminar
Sommer Semester 09
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
| |
|
|
|
326.083 (2009S)
|
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
| |
|
|
|
326.059 (2009S)
|
Mathematische Logik 2
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Heinrich Rolletschek
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 12.03.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 19.03.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 26.03.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 02.04.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 23.04.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 30.04.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 07.05.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 14.05.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 28.05.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 04.06.2009 |
08:30 - 10:00
|
K 009D |
|
| Mo 08.06.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 18.06.2009 |
08:30 - 10:00
|
K 009D |
|
| Do 25.06.2009 |
08:30 - 10:00
|
K 009D |
|
|
|
|
|
326.041 (2009S)
|
Praktische Softwaretechnologie
Weitere Infos
|
Anmelden
|
KV |
4,0 |
Karoly Bosa
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 04.03.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 05.03.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 11.03.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 12.03.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 18.03.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 19.03.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 25.03.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 26.03.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 01.04.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 02.04.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 22.04.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 23.04.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 29.04.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 30.04.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 06.05.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 07.05.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 13.05.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 14.05.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 20.05.2009 |
10:15 - 11:45
|
K 112A |
|
| Mi 27.05.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 28.05.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 03.06.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 04.06.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 10.06.2009 |
10:15 - 11:45
|
K 112A |
|
| Mi 17.06.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 18.06.2009 |
14:30 - 16:15
|
K 112A |
|
| Mi 24.06.2009 |
10:15 - 11:45
|
K 112A |
|
| Do 25.06.2009 |
14:30 - 16:15
|
K 112A |
|
|
|
|
|
326.062 (2009S)
|
Programmieren in Mathematica
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Wolfgang Windsteiger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 10.03.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 17.03.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 17.03.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 24.03.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 24.03.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 31.03.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 31.03.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 21.04.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 21.04.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 28.04.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 28.04.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 05.05.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 05.05.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 12.05.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 12.05.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 19.05.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 19.05.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 26.05.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 26.05.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 09.06.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 09.06.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 16.06.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 16.06.2009 |
14:30 - 16:00
|
HF 9915 |
|
| Di 23.06.2009 |
14:30 - 16:00
|
KG 419 |
|
| Di 23.06.2009 |
14:30 - 16:00
|
HF 9915 |
|
|
|
|
|
326.049 (2009S)
|
Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Ralf Hemmecke
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Fr 06.03.2009 |
12:00 - 13:30
|
HS 11 |
|
| Fr 13.03.2009 |
12:00 - 13:30
|
HS 11 |
|
| Fr 20.03.2009 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
|
326.035 (2009S)
|
Projektseminar
Computer-Algebra II (Sommer Semester 2009)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 19.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 26.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 04.06.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.06.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.06.2009 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.096 (2009S)
|
Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik II
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 04.03.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 11.03.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 18.03.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 25.03.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 01.04.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 22.04.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 29.04.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 06.05.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 13.05.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 20.05.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 27.05.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 03.06.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 10.06.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 17.06.2009 |
14:00 - 15:30
|
HA 105 |
|
| Mi 24.06.2009 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.098 (2009S)
|
Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen II: Theorema: Mathematical Theory Exploration
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Bruno Buchberger
Tudor Jebelean
|
Wöchentlich |
| |
|
|
|
326.065 (2009S)
|
Rewriting in Computer Science und Logik
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 10.03.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 17.03.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 24.03.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 31.03.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 21.04.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 28.04.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 05.05.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 12.05.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 19.05.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 26.05.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 09.06.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 16.06.2009 |
16:15 - 18:00
|
UC 5 |
|
| Di 23.06.2009 |
16:15 - 18:00
|
UC 5 |
|
|
|
|
|
326.067 (2009S)
|
Seminar
Computer-Algebra II (Sommer Semester 09)
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 19.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 26.03.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 02.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.04.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.05.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 04.06.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 18.06.2009 |
14:30 - 16:00
|
HA 105 |
|
| Do 25.06.2009 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.087 (2009S)
|
Seminar (mit semesterweise wechselndem Inhalt)
Selected Algorithms
Weitere Infos
|
Anmelden
|
SE |
2,0 |
Manuel Kauers
Teimuraz Kutsia
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 19.03.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 26.03.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 02.04.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 23.04.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 30.04.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 07.05.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 14.05.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 28.05.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 04.06.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 18.06.2009 |
16:30 - 18:00
|
T 112 |
|
| Do 25.06.2009 |
16:30 - 18:00
|
T 112 |
|
|
|
|
|
326.068 (2009S)
|
Software Engineering
Weitere Infos
|
Anmelden
|
KV |
2,0 |
Petru Pau
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 10.03.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 17.03.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 24.03.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 31.03.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 21.04.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 28.04.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 05.05.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 12.05.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 19.05.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 26.05.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 09.06.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 16.06.2009 |
16:15 - 17:45
|
HS 11 |
|
| Di 23.06.2009 |
16:15 - 17:45
|
HS 11 |
|
| Fr 17.07.2009 |
09:00 - 12:00
|
MZ 005A |
|
|
|
|
|
326.00D (2009S)
|
Special Functions II
Orthogonale Polynome
|
Anmelden
|
UE |
1,0 |
Carsten Schneider
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 11.03.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 18.03.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 25.03.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 01.04.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 22.04.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 29.04.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 06.05.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 13.05.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 20.05.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 27.05.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 03.06.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 10.06.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 17.06.2009 |
13:00 - 13:45
|
HA 105 |
|
| Mi 24.06.2009 |
13:00 - 13:45
|
HA 105 |
|
|
|
|
|
326.00E (2009S)
|
Spezialvorlesung
Formale Sprachen und formale Grammatiken
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Nikolaj Popov
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 12.03.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 19.03.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 26.03.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 02.04.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 23.04.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 30.04.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 07.05.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 14.05.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 28.05.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 04.06.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 18.06.2009 |
14:30 - 16:15
|
T 112 |
|
| Do 25.06.2009 |
14:30 - 16:15
|
T 112 |
|
|
|
|
|
326.018 (2009S)
|
Spezialvorlesung
Symbolic Integral Operators and Boundary Problems
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Markus Rosenkranz
Georg Regensburger
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Di 03.03.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 10.03.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 17.03.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 24.03.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 31.03.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 21.04.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 28.04.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 05.05.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 12.05.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 19.05.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 26.05.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 09.06.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 16.06.2009 |
14:30 - 16:15
|
K 009D |
|
| Di 23.06.2009 |
14:30 - 16:15
|
K 009D |
|
|
|
|
|
326.039 (2009S)
|
Spezialvorlesung
Computer Algebra II: Groebner Bases
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Manuel Kauers
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 04.03.2009 |
09:00 - 10:30
|
Hagenberg |
|
| Di 10.03.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 17.03.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 24.03.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 31.03.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 21.04.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 28.04.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 05.05.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 12.05.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 19.05.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 26.05.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 09.06.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 16.06.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 23.06.2009 |
08:30 - 10:00
|
Hagenberg |
|
| Di 30.06.2009 |
08:30 - 10:00
|
Hagenberg |
|
|
|
|
|
326.076 (2009S)
|
Spezialvorlesung
Formale Modelle paralleler und verteilter Systeme
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Wolfgang Schreiner
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 09.03.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 16.03.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 23.03.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 30.03.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 20.04.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 27.04.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 11.05.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 18.05.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 25.05.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 25.05.2009 |
10:15 - 11:45
|
T 041 |
|
| Mo 08.06.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 15.06.2009 |
08:30 - 10:00
|
T 041 |
|
| Mo 22.06.2009 |
08:30 - 10:00
|
T 041 |
|
|
|
|
|
326.080 (2009S)
|
Spezialvorlesung
Symbolische Lineare Algebra
|
Anmelden
|
VO |
2,0 |
Carsten Schneider
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Do 05.03.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 12.03.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 19.03.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 26.03.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 02.04.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 23.04.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 30.04.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 07.05.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 14.05.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 28.05.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 04.06.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 18.06.2009 |
12:00 - 13:30
|
BA 9907 |
|
| Do 25.06.2009 |
12:00 - 13:30
|
BA 9907 |
|
|
|
|
|
326.088 (2009S)
|
Spezialvorlesung
Beweistheorie
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Mathias Baaz
|
Blocktermin |
| |
|
|
|
326.095 (2009S)
|
Spezialvorlesung
Spezielle Funktionen II (Orthogonale Polynome)
Weitere Infos
|
Anmelden
|
VO |
2,0 |
Peter Paule
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mi 11.03.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 18.03.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 25.03.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 01.04.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 22.04.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 29.04.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 06.05.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 13.05.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 20.05.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 27.05.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 03.06.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 10.06.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 17.06.2009 |
16:00 - 17:30
|
HA 105 |
|
| Mi 24.06.2009 |
16:00 - 17:30
|
HA 105 |
|
|
|
|
|
326.097 (2009S)
|
Spezialvorlesung
Automatische Beweissysteme
|
Anmelden
|
VO |
2,0 |
Florina Piroi
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 09.03.2009 |
10:00 - 12:00
|
KG419 |
Appoint further lecture dates |
| Mo 30.03.2009 |
15:30 - 20:30
|
BA 9907 |
Statement and Predicate Calculus, Unification, Resolution |
| Sa 25.04.2009 |
09:00 - 16:00
|
KG 419 |
Term Rewriting Systems, A Simple Prover - Example, RhoLog, Isabelle |
| Mo 18.05.2009 |
15:30 - 20:00
|
Risc SR |
Lambda calculus, Isabelle prover (+ demo) |
| Mo 08.06.2009 |
15:30 - 20:00
|
Risc UFO |
Student presentations: Mizar, ACL2 |
| Fr 19.06.2009 |
09:00 - 11:30
|
KG 419 |
System presentations: Theorema, Prover9/Mace, TPTP. Summary of the lecture. |
|
|
|
|
326.045 (2009S)
|
Vortragsreihe Symbolisches Rechnen
Weitere Infos
|
Anmelden
|
VO |
1,0 |
Franz Winkler
|
Wöchentlich |
| |
| Datum |
Zeit |
Ort |
Thema |
| Mo 02.03.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 09.03.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 16.03.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 23.03.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 30.03.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 20.04.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 27.04.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 11.05.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 18.05.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 25.05.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 08.06.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 15.06.2009 |
13:30 - 14:30
|
HA 105 |
|
| Mo 22.06.2009 |
13:30 - 14:30
|
HA 105 |
|
|
|
|
