RISC JKU

RISC Courses Summer Semester 2009 (Details)

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
 
Keine Termine gefunden.
 
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
 
Keine Termine gefunden.
 
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
 
Keine Termine gefunden.
 
326.001 (2009S) Magister- und Dissertantenseminar
Sommer Semester 09
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
 
Keine Termine gefunden.
 
326.083 (2009S) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
 
Keine Termine gefunden.
 
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
 
Keine Termine gefunden.
 
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
 
Keine Termine gefunden.
 
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
 
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail