RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2012 (Details)

Find below the list of courses offered by RISC-Linz as of 31.1.2013.

Course Id Title Registration Type Hours Teachers Rhythm
326.011 (2012W) Algorithms and data structures
Further information
Register KV 2,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do 04.10.2012 08:30 - 10:00 BA 9908
Do 11.10.2012 08:30 - 10:00 BA 9908
Di 16.10.2012 12:45 - 13:30 MZ 005B
Mi 17.10.2012 09:15 - 10:00 T 112
Do 18.10.2012 08:30 - 10:00 BA 9908
Di 23.10.2012 12:45 - 13:30 MZ 005B
Mi 24.10.2012 09:15 - 10:00 T 112
Do 25.10.2012 08:30 - 10:00 BA 9908
Di 30.10.2012 12:45 - 13:30 MZ 005B
Mi 31.10.2012 09:15 - 10:00 T 112
Di 06.11.2012 12:45 - 13:30 MZ 005B
Mi 07.11.2012 09:15 - 10:00 T 112
Do 08.11.2012 08:30 - 10:00 BA 9908
Di 13.11.2012 12:45 - 13:30 MZ 005B
Mi 14.11.2012 09:15 - 10:00 T 112
Do 15.11.2012 08:30 - 10:00 BA 9908
Di 20.11.2012 12:45 - 13:30 MZ 005B
Mi 21.11.2012 09:15 - 10:00 T 112
Do 22.11.2012 08:30 - 10:00 BA 9908
Di 27.11.2012 12:45 - 13:30 MZ 005B
Mi 28.11.2012 09:15 - 10:00 T 112
Do 29.11.2012 08:30 - 10:00 BA 9908
Di 04.12.2012 12:45 - 13:30 MZ 005B
Mi 05.12.2012 09:15 - 10:00 T 112
Do 06.12.2012 08:30 - 10:00 BA 9908
Di 11.12.2012 12:45 - 13:30 MZ 005B
Mi 12.12.2012 09:15 - 10:00 T 112
Do 13.12.2012 08:30 - 10:00 BA 9908
Di 08.01.2013 12:45 - 13:30 MZ 005B
Mi 09.01.2013 09:15 - 10:00 T 112
Do 10.01.2013 08:30 - 10:00 BA 9908
Di 15.01.2013 12:45 - 13:30 MZ 005B
Mi 16.01.2013 09:15 - 10:00 T 112
Do 17.01.2013 08:30 - 10:00 BA 9908
Di 22.01.2013 12:45 - 13:30 MZ 005B
Mi 23.01.2013 09:15 - 10:00 T 112
Do 24.01.2013 08:30 - 10:00 BA 9908
Di 29.01.2013 12:45 - 13:30 MZ 005B
Mi 30.01.2013 09:15 - 10:00 T 112
Do 31.01.2013 08:30 - 10:00 BA 9908
Fr 08.02.2013 10:00 - 12:00 HS 4
 
326.002 (2012W) Algorithmic methods 1
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 02.10.2012 12:00 - 13:30 HS 4
Di 09.10.2012 12:00 - 13:30 HS 4
Mi 10.10.2012 15:30 - 16:15 S3 058
Do 11.10.2012 12:00 - 12:45 S2 120
Di 16.10.2012 12:00 - 13:30 HS 4
Mi 17.10.2012 15:30 - 16:15 S3 058
Do 18.10.2012 12:00 - 12:45 S2 120
Di 23.10.2012 12:00 - 13:30 HS 4
Mi 24.10.2012 15:30 - 16:15 S3 058
Do 25.10.2012 12:00 - 12:45 S2 120
Di 30.10.2012 12:00 - 13:30 HS 4
Mi 31.10.2012 15:30 - 16:15 S3 058
Di 06.11.2012 12:00 - 13:30 HS 4
Mi 07.11.2012 15:30 - 16:15 S3 058
Do 08.11.2012 12:00 - 12:45 S2 120
Di 13.11.2012 12:00 - 13:30 HS 4
Mi 14.11.2012 15:30 - 16:15 S3 058
Do 15.11.2012 12:00 - 12:45 S2 120
Di 20.11.2012 12:00 - 13:30 HS 4
Mi 21.11.2012 15:30 - 16:15 S3 058
Do 22.11.2012 12:00 - 12:45 S2 120
Di 27.11.2012 12:00 - 13:30 HS 4
Mi 28.11.2012 15:30 - 16:15 S3 058
Do 29.11.2012 12:00 - 12:45 S2 120
Di 04.12.2012 12:00 - 13:30 HS 4
Mi 05.12.2012 15:30 - 16:15 S3 058
Do 06.12.2012 12:00 - 12:45 S2 120
Di 11.12.2012 12:00 - 13:30 HS 4
Mi 12.12.2012 15:30 - 16:15 S3 058
Do 13.12.2012 12:00 - 12:45 S2 120
Di 08.01.2013 12:00 - 13:30 HS 4
Mi 09.01.2013 15:30 - 16:15 S3 058
Do 10.01.2013 12:00 - 12:45 S2 120
Di 15.01.2013 12:00 - 13:30 HS 4
Mi 16.01.2013 15:30 - 16:15 S3 058
Do 17.01.2013 12:00 - 12:45 S2 120
Di 22.01.2013 12:00 - 13:30 HS 4
Mi 23.01.2013 15:30 - 16:15 S3 058
Do 24.01.2013 12:00 - 12:45 S2 120
Di 29.01.2013 12:00 - 13:30 HS 4
Mi 30.01.2013 15:30 - 16:15 S3 058
Do 31.01.2013 12:00 - 12:45 S2 120
 
326.022 (2012W) Analysis
Further information
Register VO 2,00 Manuel Kauers Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 13:45 - 15:15 HS 2
Fr 12.10.2012 08:30 - 10:00 HS 10
Fr 19.10.2012 08:30 - 10:00 HS 10
Do 08.11.2012 15:30 - 17:00 HS 2
Fr 09.11.2012 08:30 - 10:00 HS 10
Fr 16.11.2012 08:30 - 10:00 HS 10
Fr 23.11.2012 08:30 - 10:00 HS 10
Fr 30.11.2012 08:30 - 10:00 HS 10
Fr 07.12.2012 08:30 - 10:00 HS 10
Fr 14.12.2012 08:30 - 10:00 HS 10
Fr 11.01.2013 08:30 - 10:00 HS 10
Fr 18.01.2013 08:30 - 10:00 HS 10
Fr 25.01.2013 08:30 - 10:00 HS 10
Mo 04.02.2013 12:45 - 14:30 HS 10
 
326.027 (2012W) Analysis
Further information
Register UE 2,00 Monika Wolfmayr Weekly
 
Date Daytime Room Topic
Do 11.10.2012 15:30 - 17:00 HS 12
Do 18.10.2012 15:30 - 17:00 HS 12
Do 25.10.2012 15:30 - 17:00 HS 12
Do 15.11.2012 15:30 - 17:00 HS 12
Do 22.11.2012 15:30 - 17:00 HS 12
Do 29.11.2012 15:30 - 17:00 HS 12
Do 06.12.2012 15:30 - 17:00 HS 12
Do 13.12.2012 15:30 - 17:00 HS 12
Do 10.01.2013 15:30 - 17:00 HS 12
Do 17.01.2013 15:30 - 17:00 HS 12
Do 24.01.2013 15:30 - 17:00 HS 12
Do 31.01.2013 15:30 - 17:00 HS 12
 
326.055 (2012W) Analysis
Further information
Register UE 2,00 Philipp Birklbauer Weekly
 
Date Daytime Room Topic
Do 11.10.2012 15:30 - 17:00 HS 13
Do 18.10.2012 15:30 - 17:00 HS 13
Do 25.10.2012 15:30 - 17:00 HS 13
Do 15.11.2012 15:30 - 17:00 HS 13
Do 22.11.2012 15:30 - 17:00 HS 13
Do 29.11.2012 15:30 - 17:00 HS 13
Do 06.12.2012 15:30 - 17:00 HS 13
Do 13.12.2012 15:30 - 17:00 HS 13
Do 10.01.2013 15:30 - 17:00 HS 13
Do 17.01.2013 15:30 - 17:00 HS 13
Do 24.01.2013 15:30 - 17:00 HS 13
Do 31.01.2013 15:30 - 17:00 HS 13
 
326.056 (2012W) Analysis
Further information
Register UE 2,00 Christoph Koutschan Weekly
 
Date Daytime Room Topic
Do 11.10.2012 15:30 - 17:00 K 269D
Do 18.10.2012 15:30 - 17:00 K 269D
Do 25.10.2012 15:30 - 17:00 K 269D
Do 15.11.2012 15:30 - 17:00 K 269D
Do 22.11.2012 15:30 - 17:00 HS 12
Do 29.11.2012 15:30 - 17:00 K 269D
Do 06.12.2012 15:30 - 17:00 K 269D
Do 13.12.2012 15:30 - 17:00 K 269D
Do 10.01.2013 15:30 - 17:00 K 269D
Do 17.01.2013 15:30 - 17:00 K 269D
Do 24.01.2013 15:30 - 17:00 K 269D
Do 31.01.2013 15:30 - 17:00 K 269D
 
326.004 (2012W) Computability and Complexity
Further information
Register UE 1,00 Burkhard Zimmermann Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 11:00 - 11:45 K 033C
Fr 12.10.2012 11:00 - 11:45 K 033C
Fr 19.10.2012 11:00 - 11:45 K 033C
Fr 09.11.2012 11:00 - 11:45 K 033C
Fr 16.11.2012 11:00 - 11:45 K 033C
Fr 23.11.2012 11:00 - 11:45 HS 2 1. Übungsklausur
Fr 30.11.2012 11:00 - 11:45 K 033C
Fr 07.12.2012 11:00 - 11:45 K 033C
Fr 14.12.2012 11:00 - 11:45 K 033C
Fr 11.01.2013 11:00 - 11:45 K 033C
Do 17.01.2013 17:15 - 18:00 K 033C
Do 17.01.2013 18:00 - 18:45 HS 7 2. Übungsklausur
Fr 18.01.2013 11:00 - 11:45 K 033C
Fr 25.01.2013 11:00 - 11:45 K 033C
 
326.016 (2012W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 10:15 - 11:00 HS 12
Fr 12.10.2012 10:15 - 11:00 HS 12
Fr 19.10.2012 10:15 - 11:00 HS 12
Fr 09.11.2012 10:15 - 11:00 HS 12
Fr 16.11.2012 10:15 - 11:00 HS 12
Fr 23.11.2012 11:00 - 11:45 HS 2 1. Übungsklausur
Fr 30.11.2012 10:15 - 11:00 HS 12
Fr 07.12.2012 10:15 - 11:00 HS 12
Fr 14.12.2012 10:15 - 11:00 HS 12
Fr 11.01.2013 10:15 - 11:00 HS 12
Do 17.01.2013 18:00 - 18:45 HS 7 2. Übungsklausur
Fr 18.01.2013 10:15 - 11:00 HS 12
Fr 25.01.2013 10:15 - 11:00 HS 12
 
326.023 (2012W) Computability and Complexity
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 12:00 - 13:30 HS 10
Fr 12.10.2012 12:00 - 13:30 HS 10
Fr 19.10.2012 12:00 - 13:30 HS 10
Fr 09.11.2012 12:00 - 13:30 HS 10
Fr 16.11.2012 12:00 - 13:30 HS 10
Fr 23.11.2012 12:00 - 13:30 HS 10
Fr 30.11.2012 12:00 - 13:30 HS 10
Fr 07.12.2012 12:00 - 13:30 HS 10
Fr 14.12.2012 12:00 - 13:30 HS 10
Fr 11.01.2013 12:00 - 13:30 HS 10
Fr 18.01.2013 12:00 - 13:30 HS 10
Fr 25.01.2013 12:00 - 13:30 HS 10
Fr 08.02.2013 12:00 - 13:30 HS 10
 
326.050 (2012W) Computability and Complexity
Further information
Register UE 1,00 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 11:00 - 11:45 HS 12
Fr 12.10.2012 11:00 - 11:45 HS 12
Fr 19.10.2012 11:00 - 11:45 HS 12
Fr 09.11.2012 11:00 - 11:45 HS 12
Fr 16.11.2012 11:00 - 11:45 HS 12
Fr 23.11.2012 11:00 - 11:45 HS 2 1.Übungsklausur
Fr 30.11.2012 11:00 - 11:45 HS 12
Fr 07.12.2012 11:00 - 11:45 HS 12
Fr 14.12.2012 11:00 - 11:45 HS 12
Fr 11.01.2013 11:00 - 11:45 HS 12
Do 17.01.2013 18:00 - 18:45 HS 7 2. Übungsklausur
Fr 18.01.2013 11:00 - 11:45 HS 12
Fr 25.01.2013 11:00 - 11:45 HS 12
 
326.989 (2012W) Computer algebra
Further information
Register VL 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Di 09.10.2012 15:30 - 17:00 HS 13
Di 16.10.2012 15:30 - 17:00 HS 13
Di 23.10.2012 15:30 - 17:00 HS 13
Di 30.10.2012 15:30 - 17:00 HS 13
Di 06.11.2012 15:30 - 17:00 HS 13
Di 13.11.2012 15:30 - 17:00 HS 13
Di 20.11.2012 15:30 - 17:00 HS 13
Di 27.11.2012 15:30 - 17:00 HS 13
Di 04.12.2012 15:30 - 17:00 HS 13
Di 11.12.2012 15:30 - 17:00 HS 13
Di 08.01.2013 15:30 - 17:00 HS 13
Di 15.01.2013 15:30 - 17:00 HS 13
Di 22.01.2013 15:30 - 17:00 HS 13
Di 29.01.2013 16:15 - 18:00 HS 4
 
326.990 (2012W) Computer algebra
Further information
Register UE 1,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Di 02.10.2012 17:15 - 18:00 HS 13
Di 09.10.2012 17:15 - 18:00 HS 13
Di 16.10.2012 17:15 - 18:00 HS 13
Di 23.10.2012 17:15 - 18:00 HS 13
Di 30.10.2012 17:15 - 18:00 HS 13
Di 06.11.2012 17:15 - 18:00 HS 13
Di 13.11.2012 17:15 - 18:00 HS 13
Di 20.11.2012 17:15 - 18:00 HS 13
Di 27.11.2012 17:15 - 18:00 HS 13
Di 04.12.2012 17:15 - 18:00 HS 13
Di 11.12.2012 17:15 - 18:00 HS 13
Di 08.01.2013 17:15 - 18:00 HS 13
Di 15.01.2013 17:15 - 18:00 HS 13
Di 22.01.2013 17:15 - 18:00 HS 13
Di 29.01.2013 17:15 - 18:00 HS 13
 
326.046 (2012W) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,00 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Di 02.10.2012 12:00 - 13:30 HS 11
Di 09.10.2012 12:00 - 13:30 HS 11
Di 16.10.2012 12:00 - 13:30 HS 11
Di 23.10.2012 12:00 - 13:30 HS 11
Di 30.10.2012 12:00 - 13:30 HS 11
Di 06.11.2012 12:00 - 13:30 HS 11
Di 13.11.2012 12:00 - 13:30 HS 11
Di 20.11.2012 12:00 - 13:30 HS 11
Di 27.11.2012 12:00 - 13:30 HS 11
Di 04.12.2012 12:00 - 13:30 HS 11
Di 11.12.2012 12:00 - 13:30 HS 11
Di 08.01.2013 12:00 - 13:30 HS 11
Di 15.01.2013 12:00 - 13:30 HS 11
Di 22.01.2013 12:00 - 13:30 HS 11
Di 29.01.2013 12:00 - 13:30 HS 11
 
326.047 (2012W) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,00 Silviu Radu Weekly
 
Date Daytime Room Topic
Di 09.10.2012 13:45 - 14:30 HS 11
Di 16.10.2012 13:45 - 14:30 HS 11
Di 23.10.2012 13:45 - 14:30 HS 11
Di 30.10.2012 13:45 - 14:30 HS 11
Di 06.11.2012 13:45 - 14:30 HS 11
Di 13.11.2012 13:45 - 14:30 HS 11
Di 20.11.2012 13:45 - 14:30 HS 11
Di 27.11.2012 13:45 - 14:30 HS 11
Di 04.12.2012 13:45 - 14:30 HS 11
Di 11.12.2012 13:45 - 14:30 HS 11
Di 08.01.2013 13:45 - 14:30 HS 11
Di 15.01.2013 13:45 - 14:30 HS 11
Di 22.01.2013 13:45 - 14:30 HS 11
Di 29.01.2013 13:45 - 14:30 HS 11
 
326.008 (2012W) Computer-Based Working Environments
Further information
Register KV 1,00 Károly Erdei

Wolfgang Windsteiger
Ralf Hemmecke
Block
 
No dates found.
 
326.025 (2012W) Decidable logical theories
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Di 16.10.2012 08:30 - 10:00 K 001A
Di 23.10.2012 08:30 - 10:00 K 009D
Di 30.10.2012 08:30 - 10:00 K 001A
Di 06.11.2012 08:30 - 10:00 K 001A
Di 13.11.2012 08:30 - 10:00 K 001A
Di 20.11.2012 08:30 - 10:00 K 001A
Di 27.11.2012 08:30 - 10:00 K 001A
Di 04.12.2012 08:30 - 10:00 K 001A
Di 11.12.2012 08:30 - 10:00 K 001A
Di 08.01.2013 08:30 - 10:00 K 001A
Di 15.01.2013 08:30 - 10:00 K 001A
Di 22.01.2013 08:30 - 10:00 K 001A
Di 29.01.2013 08:30 - 10:00 K 001A
 
326.026 (2012W) Design and analysis of algorithms
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do 04.10.2012 08:30 - 10:00 K 009D
Do 11.10.2012 08:30 - 10:00 K 009D
Do 18.10.2012 08:30 - 10:00 K 009D
Do 25.10.2012 08:30 - 10:00 K 009D
Do 08.11.2012 08:30 - 10:00 K 009D
Do 15.11.2012 08:30 - 10:00 K 009D
Do 22.11.2012 08:30 - 10:00 K 009D
Do 29.11.2012 08:30 - 10:00 K 009D
Do 06.12.2012 08:30 - 10:00 K 009D
Do 13.12.2012 08:30 - 10:00 K 009D
Do 10.01.2013 08:30 - 10:00 K 009D
Do 17.01.2013 08:30 - 10:00 K 009D
Do 24.01.2013 08:30 - 10:00 K 009D
Do 31.01.2013 08:30 - 10:00 K 009D
Fr 01.02.2013 10:15 - 11:45 MZ 005A
 
326.053 (2012W) Formal methods in software development
Further information
Register KV 4,00 Wolfgang Schreiner

Mykola Nikitchenko
Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 08:30 - 11:45 T 111
Fr 12.10.2012 08:30 - 11:45 T 111
Fr 19.10.2012 08:30 - 11:45 T 111
Fr 09.11.2012 08:30 - 11:45 T 111
Di 13.11.2012 15:30 - 18:45 T 642
Fr 16.11.2012 08:30 - 11:45 T 111
Fr 23.11.2012 08:30 - 11:45 T 111
Fr 30.11.2012 08:30 - 11:45 T 111
Fr 07.12.2012 08:30 - 11:45 T 111
Fr 14.12.2012 08:30 - 11:45 T 111
Fr 11.01.2013 08:30 - 11:45 T 111
Fr 18.01.2013 08:30 - 11:45 T 111
Fr 25.01.2013 08:30 - 11:45 T 111
Fr 01.02.2013 08:30 - 10:00 HS 3
 
326.013 (2012W) Formal Methods in Software Development
Further information
Register KV 3,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 08:30 - 11:45 T 111
Fr 12.10.2012 08:30 - 11:45 T 111
Fr 19.10.2012 08:30 - 11:45 T 111
Fr 09.11.2012 08:30 - 11:45 T 111
Di 13.11.2012 15:30 - 18:45 T 642
Fr 16.11.2012 08:30 - 11:45 T 111
Fr 23.11.2012 08:30 - 11:45 T 111
Fr 30.11.2012 08:30 - 11:45 T 111
Fr 07.12.2012 08:30 - 11:45 T 111
Fr 14.12.2012 08:30 - 11:45 T 111
Fr 11.01.2013 08:30 - 11:45 T 111
Fr 18.01.2013 08:30 - 11:45 T 111
Fr 25.01.2013 08:30 - 11:45 T 111
Fr 01.02.2013 08:30 - 10:00 HS 3
 
326.003 (2012W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 12
Further information
Register KV 2,00 Bruno Buchberger

Walter Zulehner
Peter Paule
Ronny Ramlau
Franz Winkler
Bert Jüttler
Josef Schicho
Ulrich Langer
Manuel Kauers
Weekly
 
Date Daytime Room Topic
Mi 17.10.2012 10:15 - 11:45 S3 057
Mi 17.10.2012 13:45 - 14:30 S3 057
Fr 19.10.2012 09:15 - 11:45 S2 054
Fr 09.11.2012 09:15 - 11:45 S3 047
Fr 16.11.2012 10:15 - 13:30 S2 059
Fr 23.11.2012 10:15 - 11:00 K 223B
Do 13.12.2012 13:45 - 15:15 S2 053
Di 08.01.2013 13:45 - 15:15 S2 054
Di 15.01.2013 13:45 - 15:15 S2 059
Do 24.01.2013 10:15 - 12:45 S2 048
Di 29.01.2013 15:30 - 18:00 BA 9909
 
326.005 (2012W) Ordinary differential equations and dynamical systems 1
Further information
Register KV 5,00 Josef Schicho

Georg Regensburger
Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 08:30 - 10:00 K 224B
Di 09.10.2012 08:30 - 11:00 T 642
Mo 15.10.2012 08:30 - 10:00 K 224B
Di 16.10.2012 08:30 - 11:00 T 642
Mo 22.10.2012 08:30 - 10:00 K 224B
Di 23.10.2012 08:30 - 11:00 T 642
Mo 29.10.2012 08:30 - 10:00 K 224B
Di 30.10.2012 08:30 - 11:00 T 642
Mo 05.11.2012 08:30 - 10:00 K 224B
Di 06.11.2012 08:30 - 11:00 T 642
Mo 12.11.2012 08:30 - 10:00 K 224B
Di 13.11.2012 08:30 - 11:00 T 642
Mo 19.11.2012 08:30 - 10:00 K 224B
Di 20.11.2012 08:30 - 11:00 T 642
Mo 26.11.2012 08:30 - 10:00 K 224B
Di 27.11.2012 08:30 - 11:00 T 642
Mo 03.12.2012 08:30 - 10:00 K 224B
Di 04.12.2012 08:30 - 11:00 T 642
Mo 10.12.2012 08:30 - 10:00 K 224B
Di 11.12.2012 08:30 - 11:00 T 642
Mo 07.01.2013 08:30 - 10:00 K 224B
Di 08.01.2013 08:30 - 11:00 T 642
Mo 14.01.2013 08:30 - 10:00 K 224B
Di 15.01.2013 08:30 - 11:00 T 642
Mo 21.01.2013 08:30 - 10:00 K 224B
Di 22.01.2013 08:30 - 11:00 T 642
Mo 28.01.2013 08:30 - 10:00 K 224B
Di 29.01.2013 08:30 - 11:00 T 642
Mo 04.02.2013 10:00 - 12:00 HS 4
 
326.015 (2012W) Information systems
Further information
Register KV 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo 01.10.2012 12:00 - 13:30 HS 13
Mo 08.10.2012 12:00 - 13:30 HS 13
Mo 15.10.2012 12:00 - 13:30 HS 13
Mo 22.10.2012 12:00 - 13:30 HS 13
Mo 29.10.2012 12:00 - 13:30 HS 13
Mo 05.11.2012 12:00 - 13:30 HS 13
Mo 12.11.2012 12:00 - 13:30 HS 13
Mo 19.11.2012 12:00 - 13:30 HS 13
Mo 26.11.2012 12:00 - 13:30 HS 13
Mo 03.12.2012 12:00 - 13:30 HS 13
Mo 10.12.2012 12:00 - 13:30 HS 13
Mo 07.01.2013 12:00 - 13:30 HS 13
Mo 14.01.2013 12:00 - 13:30 HS 13
Mo 21.01.2013 12:00 - 13:30 HS 13
Mo 28.01.2013 12:00 - 13:30 HS 13
 
326.073 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Christian Irrgeher Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 10:15 - 11:45 S2 053
Mo 15.10.2012 10:15 - 11:45 S2 053
Mo 22.10.2012 10:15 - 11:45 S2 053
Mo 29.10.2012 10:15 - 11:45 S2 053
Mo 05.11.2012 10:15 - 11:45 S2 053
Mo 12.11.2012 10:15 - 11:45 S2 053
Mo 19.11.2012 10:15 - 11:45 S2 053
Do 22.11.2012 13:45 - 15:15 S2 219 Klausurbesprechung
Mo 26.11.2012 10:15 - 11:45 S2 053
Mo 03.12.2012 10:15 - 11:45 S2 053
Mo 10.12.2012 10:15 - 11:45 S2 053
Mo 07.01.2013 10:15 - 11:45 S2 053
Mo 07.01.2013 15:30 - 17:00 S2 054 Klausurbesprechung
Mo 14.01.2013 10:15 - 11:45 S2 053
Mo 21.01.2013 10:15 - 11:45 S2 053
Mo 28.01.2013 10:15 - 11:45 S2 053
 
326.074 (2012W) Linear algebra and analytic geometry 1
Further information
Register KO 2,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 13:45 - 15:15 BA 9910
Mo 15.10.2012 13:45 - 15:15 BA 9910
Mo 22.10.2012 13:45 - 15:15 BA 9910
Mo 29.10.2012 13:45 - 15:15 BA 9910
Mo 05.11.2012 13:45 - 15:15 BA 9910
Mo 12.11.2012 13:45 - 15:15 BA 9910
Mo 19.11.2012 13:45 - 15:15 BA 9910
Mo 26.11.2012 13:45 - 15:15 BA 9910
Mo 03.12.2012 13:45 - 15:15 BA 9910
Mo 10.12.2012 13:45 - 15:15 BA 9910
Mo 07.01.2013 13:45 - 15:15 BA 9910
Mo 14.01.2013 13:45 - 15:15 BA 9910
Mo 21.01.2013 13:45 - 15:15 BA 9910
Mo 28.01.2013 13:45 - 15:15 BA 9910
 
326.092 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Manuela Wiesinger-Widi Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 10:15 - 11:45 S2 052
Mo 15.10.2012 10:15 - 11:45 S2 052
Mo 22.10.2012 10:15 - 11:45 S2 052
Mo 29.10.2012 10:15 - 11:45 S2 052
Mo 05.11.2012 10:15 - 11:45 S2 052
Mo 12.11.2012 10:15 - 11:45 S2 052
Mo 19.11.2012 10:15 - 11:45 S2 052
Do 22.11.2012 13:45 - 15:15 S2 048
Mo 26.11.2012 10:15 - 11:45 S2 052
Mo 03.12.2012 10:15 - 11:45 S2 052
Mo 10.12.2012 10:15 - 11:45 S2 052
Mo 07.01.2013 10:15 - 11:45 S2 052
Mo 14.01.2013 10:15 - 11:45 S2 052
Mo 21.01.2013 10:15 - 11:45 S2 052
Mo 28.01.2013 10:15 - 11:45 S2 052
 
326.093 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Burkhard Zimmermann Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 10:15 - 11:45 T 111
Mo 15.10.2012 10:15 - 11:45 T 111
Mo 22.10.2012 10:15 - 11:45 T 111
Mo 29.10.2012 10:15 - 11:45 T 111
Mo 05.11.2012 10:15 - 11:45 T 111
Mo 12.11.2012 10:15 - 11:45 T 111
Mo 19.11.2012 10:15 - 11:45 T 111
Do 22.11.2012 12:00 - 13:30 S3 057
Mo 26.11.2012 10:15 - 11:45 T 111
Mo 03.12.2012 10:15 - 11:45 T 111
Mo 10.12.2012 10:15 - 11:45 T 111
Mo 07.01.2013 10:15 - 11:45 T 111
Do 10.01.2013 12:00 - 14:30 T 212
Mo 14.01.2013 10:15 - 11:45 T 111
Mo 21.01.2013 10:15 - 11:45 T 111
Mo 28.01.2013 10:15 - 11:45 T 111
 
326.0LA (2012W) Linear algebra and analytic geometry 1
Further information
Register VO 5,00 Peter Paule Weekly
 
Date Daytime Room Topic
Di 02.10.2012 11:00 - 11:45 HS 2
Mi 03.10.2012 10:15 - 11:45 HS 15
Fr 05.10.2012 10:15 - 11:45 HS 16
Di 09.10.2012 11:00 - 11:45 HS 2
Mi 10.10.2012 10:15 - 11:45 HS 15
Fr 12.10.2012 10:15 - 11:45 HS 16
Di 16.10.2012 11:00 - 11:45 HS 2
Mi 17.10.2012 10:15 - 11:45 HS 15
Fr 19.10.2012 10:15 - 11:45 HS 2
Di 23.10.2012 11:00 - 11:45 HS 2
Mi 24.10.2012 10:15 - 11:45 HS 15
Di 30.10.2012 11:00 - 11:45 HS 2
Mi 31.10.2012 10:15 - 11:45 HS 15
Di 06.11.2012 11:00 - 11:45 HS 2
Mi 07.11.2012 10:15 - 11:45 HS 15
Fr 09.11.2012 10:15 - 11:45 HS 1
Di 13.11.2012 11:00 - 11:45 HS 2
Mi 14.11.2012 10:15 - 11:45 HS 15
Fr 16.11.2012 10:15 - 11:45 HS 15
Di 20.11.2012 11:00 - 11:45 HS 2
Mi 21.11.2012 10:15 - 11:45 HS 15
Fr 23.11.2012 10:15 - 11:45 HS 16
Di 27.11.2012 11:00 - 11:45 HS 2
Mi 28.11.2012 10:15 - 11:45 HS 15
Fr 30.11.2012 10:15 - 11:45 HS 15
Di 04.12.2012 11:00 - 11:45 HS 2
Mi 05.12.2012 10:15 - 11:45 HS 15
Fr 07.12.2012 10:15 - 11:45 HS 2
Di 11.12.2012 11:00 - 11:45 HS 2
Mi 12.12.2012 10:15 - 11:45 HS 15
Fr 14.12.2012 10:15 - 11:45 HS 16
Di 08.01.2013 11:00 - 11:45 HS 2
Mi 09.01.2013 10:15 - 11:45 HS 15
Fr 11.01.2013 10:15 - 11:45 HS 15
Di 15.01.2013 11:00 - 11:45 HS 2
Mi 16.01.2013 10:15 - 11:45 HS 15
Fr 18.01.2013 10:15 - 11:45 HS 16
Di 22.01.2013 11:00 - 11:45 HS 2
Mi 23.01.2013 10:15 - 11:45 HS 15
Fr 25.01.2013 10:15 - 11:45 HS 15
Di 29.01.2013 11:00 - 11:45 HS 2
Mi 30.01.2013 10:15 - 11:45 HS 15
 
326.LA1 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Peter Mayr Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 10:15 - 11:45 S3 055
Mo 15.10.2012 10:15 - 11:45 S3 055
Mo 22.10.2012 10:15 - 11:45 S3 055
Mo 29.10.2012 10:15 - 11:45 S3 055
Mo 05.11.2012 10:15 - 11:45 S3 055
Mo 12.11.2012 10:15 - 11:45 S3 055
Mo 19.11.2012 10:15 - 11:45 S3 055
Mi 21.11.2012 12:00 - 13:30 S2 048 Einsichtnahme 1. Test
Mo 26.11.2012 10:15 - 11:45 S3 055
Mo 03.12.2012 10:15 - 11:45 S3 055
Mo 10.12.2012 10:15 - 11:45 S3 055
Mo 07.01.2013 10:15 - 11:45 S3 055
Mo 14.01.2013 10:15 - 11:45 S3 055
Mo 21.01.2013 10:15 - 11:45 S3 055
Mo 28.01.2013 10:15 - 11:45 S3 055
 
326.LA2 (2012W) Linear algebra and analytic geometry 1
Further information
Register UE 2,00 Georg Grasegger Weekly
 
Date Daytime Room Topic
Mo 08.10.2012 10:15 - 11:45 BA 9908
Mo 15.10.2012 10:15 - 11:45 BA 9908
Mo 22.10.2012 10:15 - 11:45 BA 9908
Mo 29.10.2012 10:15 - 11:45 BA 9908
Mo 05.11.2012 10:15 - 11:45 BA 9908
Mo 12.11.2012 10:15 - 11:45 BA 9908
Mo 19.11.2012 10:15 - 11:45 BA 9908
Di 20.11.2012 15:30 - 17:00 S2 052
Mo 26.11.2012 10:15 - 11:45 BA 9908
Mo 03.12.2012 10:15 - 11:45 BA 9908
Mo 10.12.2012 10:15 - 11:45 BA 9908
Mo 07.01.2013 10:15 - 11:45 BA 9908
Mo 14.01.2013 10:15 - 11:45 BA 9908
Mo 21.01.2013 10:15 - 11:45 BA 9908
Mo 28.01.2013 10:15 - 11:45 BA 9908
 
326.028 (2012W) Logic programming
Further information
Register KV 2,00 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi 03.10.2012 16:15 - 18:00 T 212
Mi 10.10.2012 16:15 - 18:00 T 212
Mi 17.10.2012 16:15 - 18:00 T 212
Mi 24.10.2012 16:15 - 18:00 T 212
Mi 31.10.2012 16:15 - 18:00 T 212
Mi 07.11.2012 16:15 - 18:00 T 212
Mi 14.11.2012 16:15 - 18:00 T 212
Mi 21.11.2012 16:15 - 18:00 T 212
Mi 28.11.2012 16:15 - 18:00 T 212
Mi 05.12.2012 16:15 - 18:00 T 212
Mi 12.12.2012 16:15 - 18:00 T 212
Mi 09.01.2013 16:15 - 18:00 T 212
Mi 16.01.2013 16:15 - 18:00 T 212
Mi 23.01.2013 16:15 - 18:00 T 212
Mi 30.01.2013 16:15 - 18:00 T 212
Do 14.02.2013 11:15 - 12:45 K 012D
 
326.0XX (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Further information
Register SE 2,00 Peter Paule Weekly
 
No dates found.
 
326.0YY (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2012W) Seminar for graduate and doctoral students
Winter Semester 12
Further information
Register SE 2,00 Franz Winkler Weekly
 
No dates found.
 
326.700 (2012W) Mathematics and Logic Register VO 3,00 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Di 02.10.2012 16:15 - 17:00 HS 9
Di 09.10.2012 16:15 - 17:00 HS 9
Fr 12.10.2012 13:45 - 15:15 HS 9
Di 16.10.2012 16:15 - 17:00 HS 9
Fr 19.10.2012 13:45 - 15:15 HS 9
Di 23.10.2012 16:15 - 17:00 HS 9
Di 30.10.2012 16:15 - 17:00 HS 9
Di 06.11.2012 16:15 - 17:00 HS 9
Fr 09.11.2012 13:45 - 15:15 HS 9
Di 13.11.2012 16:15 - 17:00 HS 9
Fr 16.11.2012 13:45 - 15:15 HS 9
Di 20.11.2012 16:15 - 17:00 HS 9
Fr 23.11.2012 13:45 - 15:15 HS 9
Di 27.11.2012 16:15 - 17:00 HS 9
Fr 30.11.2012 13:45 - 15:15 HS 9
Di 04.12.2012 16:15 - 17:00 HS 9
Fr 07.12.2012 13:45 - 15:15 HS 9
Di 11.12.2012 16:15 - 17:00 HS 9
Fr 14.12.2012 13:45 - 15:15 HS 9
Di 08.01.2013 16:15 - 17:00 HS 9
Fr 11.01.2013 13:45 - 15:15 HS 9
Di 15.01.2013 16:15 - 17:00 HS 9
Fr 18.01.2013 13:45 - 15:15 HS 9
Di 22.01.2013 16:15 - 17:00 HS 9
Fr 25.01.2013 13:45 - 15:15 HS 9
Di 29.01.2013 16:15 - 17:00 HS 9
Fr 01.02.2013 13:45 - 15:15 HS 12
Di 05.02.2013 15:30 - 17:00 HS 9
Fr 08.02.2013 12:00 - 13:30 HS 9
 
326.701 (2012W) Mathematics and Logic
Further information
Register UE 1,00 Veronika Elisabeth Pillwein

Richard Lechner
Weekly
 
Date Daytime Room Topic
Di 02.10.2012 15:30 - 16:15 HS 9
Di 09.10.2012 15:30 - 16:15 HS 9
Di 16.10.2012 15:30 - 16:15 HS 9
Di 23.10.2012 15:30 - 16:15 HS 9
Di 30.10.2012 15:30 - 16:15 HS 9
Di 06.11.2012 15:30 - 16:15 HS 9
Di 13.11.2012 15:30 - 16:15 HS 9
Di 20.11.2012 15:30 - 16:15 HS 9
Di 27.11.2012 15:30 - 16:15 HS 9
Di 04.12.2012 15:30 - 16:15 HS 9
Di 11.12.2012 15:30 - 16:15 HS 9
Di 08.01.2013 15:30 - 16:15 HS 9
Di 15.01.2013 15:30 - 16:15 HS 9
Di 22.01.2013 15:30 - 16:15 HS 9
Di 29.01.2013 15:30 - 16:15 HS 9
 
326.702 (2012W) Mathematics and Logic
Further information
Register UE 1,00 Veronika Elisabeth Pillwein

Richard Lechner
Weekly
 
Date Daytime Room Topic
Di 02.10.2012 17:15 - 18:00 HS 3
Di 09.10.2012 17:15 - 18:00 HS 3
Di 16.10.2012 17:15 - 18:00 HS 3
Di 23.10.2012 17:15 - 18:00 HS 3
Di 30.10.2012 17:15 - 18:00 HS 3
Di 06.11.2012 17:15 - 18:00 HS 3
Di 13.11.2012 17:15 - 18:00 HS 3
Di 20.11.2012 17:15 - 18:00 HS 3
Di 27.11.2012 17:15 - 18:00 HS 3
Di 04.12.2012 17:15 - 18:00 HS 3
Di 11.12.2012 17:15 - 18:00 HS 3
Di 08.01.2013 17:15 - 18:00 HS 3
Di 15.01.2013 17:15 - 18:00 HS 3
Di 22.01.2013 17:15 - 18:00 HS 3
Di 29.01.2013 17:15 - 18:00 HS 3
 
357.201 (2012W) Mathematical Foundations
Further information
Register UE 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 09.10.2012 10:15 - 11:45 S2 Z74
Di 16.10.2012 10:15 - 11:45 S2 Z74
Di 23.10.2012 10:15 - 11:45 S2 Z74
Di 30.10.2012 10:15 - 11:45 S2 Z74
Di 06.11.2012 10:15 - 11:45 S2 Z74
Di 13.11.2012 10:15 - 11:45 S2 Z74
Di 20.11.2012 10:15 - 11:45 S2 Z74
Di 27.11.2012 10:15 - 11:45 S2 Z74
Di 04.12.2012 10:15 - 11:45 S2 Z74
Di 11.12.2012 10:15 - 11:45 S2 Z74
Di 08.01.2013 10:15 - 11:45 S2 Z74
Di 15.01.2013 10:15 - 11:45 S2 Z74
Di 22.01.2013 10:15 - 11:45 S2 Z74
Di 29.01.2013 10:15 - 11:45 S2 Z74
 
326.019 (2012W) Mathematical logic 1
Further information
Register VO 4,00 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do 04.10.2012 08:30 - 11:45 HS 6
Do 11.10.2012 08:30 - 11:45 HS 6
Do 18.10.2012 08:30 - 11:45 HS 6
Do 25.10.2012 08:30 - 11:45 HS 6
Do 08.11.2012 08:30 - 11:45 HS 6
Do 15.11.2012 08:30 - 11:45 HS 6
Do 22.11.2012 08:30 - 11:45 HS 6
Do 29.11.2012 08:30 - 11:45 HS 6
Do 06.12.2012 08:30 - 11:45 HS 6
Do 13.12.2012 08:30 - 11:45 HS 6
Do 10.01.2013 08:30 - 11:45 HS 6
Do 17.01.2013 08:30 - 11:45 HS 6
Do 24.01.2013 08:30 - 11:45 HS 6
Do 31.01.2013 08:30 - 11:45 HS 6
 
326.021 (2012W) Mathematical logic 1
Further information
Register UE 1,00 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do 04.10.2012 12:00 - 12:45 HS 6
Do 11.10.2012 12:00 - 12:45 HS 6
Do 18.10.2012 12:00 - 12:45 HS 6
Do 25.10.2012 12:00 - 12:45 HS 6
Do 08.11.2012 12:00 - 12:45 HS 6
Do 15.11.2012 12:00 - 12:45 HS 6
Do 22.11.2012 12:00 - 12:45 HS 6
Do 29.11.2012 12:00 - 13:30 HS 6
Do 06.12.2012 12:00 - 13:30 HS 6
Do 13.12.2012 12:00 - 13:30 HS 6
Do 10.01.2013 12:00 - 13:30 HS 6
Do 17.01.2013 12:00 - 13:30 HS 6
Do 24.01.2013 12:00 - 13:30 HS 6
Do 31.01.2013 12:00 - 13:30 HS 6
 
326.049 (2012W) Programming project symbolic computation
Computer algebra, Logic, and Software design I
Further information
Register KV 2,00 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Mo 01.10.2012 12:00 - 13:30 HA 105
Fr 05.10.2012 12:00 - 13:30 HS 12
Mo 08.10.2012 12:00 - 13:30 HA 105
Mo 15.10.2012 12:00 - 13:30 HA 105
Fr 19.10.2012 12:00 - 13:30 HS 12
Mo 22.10.2012 12:00 - 13:30 HA 105
Mo 29.10.2012 12:00 - 13:30 HA 105
Mo 05.11.2012 12:00 - 13:30 HA 105
Fr 09.11.2012 12:00 - 13:30 HS 13
Mo 12.11.2012 12:00 - 13:30 HA 105
Mo 19.11.2012 12:00 - 13:30 HA 105
Mo 26.11.2012 12:00 - 13:30 HA 105
Mo 03.12.2012 12:00 - 13:30 HA 105
Mo 10.12.2012 12:00 - 13:30 HA 105
Mo 07.01.2013 12:00 - 13:30 HA 105
Mo 14.01.2013 12:00 - 13:30 HA 105
Mo 21.01.2013 12:00 - 13:30 HA 105
Mo 28.01.2013 12:00 - 13:30 HA 105
 
326.000 (2012W) Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style (Winter Semester 12)
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Mi 03.10.2012 11:00 - 12:30 HA 105
Mi 10.10.2012 11:00 - 12:30 HA 105
Mi 17.10.2012 11:00 - 12:30 HA 105
Mi 24.10.2012 11:00 - 12:30 HA 105
Mi 31.10.2012 11:00 - 12:30 HA 105
Mi 07.11.2012 11:00 - 12:30 HA 105
Mi 14.11.2012 11:00 - 12:30 HA 105
Mi 21.11.2012 11:00 - 12:30 HA 105
Mi 28.11.2012 11:00 - 12:30 HA 105
Mi 05.12.2012 11:00 - 12:30 HA 105
Mi 12.12.2012 11:00 - 12:30 HA 105
Mi 09.01.2013 11:00 - 12:30 HA 105
Mi 16.01.2013 11:00 - 12:30 HA 105
Mi 23.01.2013 11:00 - 12:30 HA 105
Mi 30.01.2013 11:00 - 12:30 HA 105
 
326.FM1 (2012W) Seminar logic and software design
Formal Methods I (Winter Semester 12)
Further information
Register SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Weekly
 
Date Daytime Room Topic
Mi 03.10.2012 12:30 - 14:00 HA 105
Mi 10.10.2012 12:30 - 14:00 HA 105
Mi 17.10.2012 12:30 - 14:00 HA 105
Mi 24.10.2012 12:30 - 14:00 HA 105
Mi 31.10.2012 12:30 - 14:00 HA 105
Mi 07.11.2012 12:30 - 14:00 HA 105
Mi 14.11.2012 12:30 - 14:00 HA 105
Mi 21.11.2012 12:30 - 14:00 HA 105
Mi 28.11.2012 12:30 - 14:00 HA 105
Mi 05.12.2012 12:30 - 14:00 HA 105
Mi 12.12.2012 12:30 - 14:00 HA 105
Mi 09.01.2013 12:30 - 14:00 HA 105
Mi 16.01.2013 12:30 - 14:00 HA 105
Mi 23.01.2013 12:30 - 14:00 HA 105
Mi 30.01.2013 12:30 - 14:00 HA 105
 
326.085 (2012W) Seminar symbolic computation
Projectseminar Computer-algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Do 11.10.2012 14:30 - 16:00 HA 105
Do 18.10.2012 14:30 - 16:00 HA 105
Do 25.10.2012 14:30 - 16:00 HA 105
Do 08.11.2012 14:30 - 16:00 HA 105
Do 15.11.2012 14:30 - 16:00 HA 105
Do 22.11.2012 14:30 - 16:00 HA 105
Do 29.11.2012 14:30 - 16:00 HA 105
Do 06.12.2012 14:30 - 16:00 HA 105
Do 13.12.2012 14:30 - 16:00 HA 105
Do 10.01.2013 14:30 - 16:00 HA 105
Do 17.01.2013 14:30 - 16:00 HA 105
Do 24.01.2013 14:30 - 16:00 HA 105
Do 31.01.2013 14:30 - 16:00 HA 105
 
326.0TP (2012W) Seminar symbolic computation
Symbolic Summation for Particle Physics
Register SE 2,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Mi 12.12.2012 12:45 - 15:15 K 009D
Mi 12.12.2012 15:30 - 18:00 KG 712
Fr 14.12.2012 08:30 - 11:45 P 215
 
326.AK1 (2012W) Seminar symbolic computation
Algorithmic Combinatorics I
Further information
Register SE 2,00 Peter Paule Weekly
 
Date Daytime Room Topic
Mi 10.10.2012 14:00 - 15:30 HA 105
Mi 17.10.2012 14:00 - 15:30 HA 105
Mi 24.10.2012 14:00 - 15:30 HA 105
Mi 31.10.2012 14:00 - 15:30 HA 105
Mi 07.11.2012 14:00 - 15:30 HA 105
Mi 14.11.2012 14:00 - 15:30 HA 105
Mi 21.11.2012 14:00 - 15:30 HA 105
Mi 28.11.2012 14:00 - 15:30 HA 105
Mi 05.12.2012 14:00 - 15:30 HA 105
Mi 12.12.2012 14:00 - 15:30 HA 105
Mi 09.01.2013 14:00 - 15:30 HA 105
Mi 16.01.2013 14:00 - 15:30 HA 105
Mi 23.01.2013 14:00 - 15:30 HA 105
Mi 30.01.2013 14:00 - 15:30 HA 105
 
326.CA1 (2012W) Seminar symbolic computation
Computer-Algebra I
Further information
Register SE 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Do 11.10.2012 14:30 - 16:00 HA 105
Do 18.10.2012 14:30 - 16:00 HA 105
Do 25.10.2012 14:30 - 16:00 HA 105
Do 08.11.2012 14:30 - 16:00 HA 105
Do 15.11.2012 14:30 - 16:00 HA 105
Do 22.11.2012 14:30 - 16:00 HA 105
Do 29.11.2012 14:30 - 16:00 HA 105
Do 06.12.2012 14:30 - 16:00 HA 105
Do 13.12.2012 14:30 - 16:00 HA 105
Do 10.01.2013 14:30 - 16:00 HA 105
Do 17.01.2013 14:30 - 16:00 HA 105
Do 24.01.2013 14:30 - 16:00 HA 105
Do 31.01.2013 14:30 - 16:00 HA 105
 
326.00B (2012W) Special topics logic and software design
Fixpoint Theory of Functional Programs
Further information
Register VL 2,00 Nikolaj Popov Block
 
Date Daytime Room Topic
Di 02.10.2012 13:45 - 15:15 K 224B
Di 09.10.2012 13:45 - 15:15 K 224B
Di 16.10.2012 13:45 - 15:15 K 224B
Di 23.10.2012 13:45 - 15:15 K 224B
Di 30.10.2012 13:45 - 15:15 K 224B
Di 06.11.2012 13:45 - 15:15 K 224B
Di 13.11.2012 13:45 - 15:15 K 224B
Di 20.11.2012 13:45 - 15:15 K 224B
Di 27.11.2012 13:45 - 15:15 K 224B
Di 04.12.2012 13:45 - 15:15 K 224B
Di 11.12.2012 13:45 - 15:15 K 224B
Di 08.01.2013 13:45 - 15:15 K 224B
Di 15.01.2013 13:45 - 15:15 K 224B
Di 22.01.2013 13:45 - 15:15 K 224B
Di 29.01.2013 13:45 - 15:15 K 224B
 
326.075 (2012W) Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 12)
Further information
Register VL 2,00 Silviu Radu Weekly
 
Date Daytime Room Topic
Mi 10.10.2012 16:00 - 17:30 HA 105
Mi 17.10.2012 16:00 - 17:30 HA 105
Mi 24.10.2012 16:00 - 17:30 HA 105
Mi 31.10.2012 16:00 - 17:30 HA 105
Mi 07.11.2012 16:00 - 17:30 HA 105
Mi 14.11.2012 16:00 - 17:30 HA 105
Mi 21.11.2012 16:00 - 17:30 HA 105
Mi 28.11.2012 16:00 - 17:30 HA 105
Mi 05.12.2012 16:00 - 17:30 HA 105
Mi 12.12.2012 16:00 - 17:30 HA 105
Mi 09.01.2013 16:00 - 17:30 HA 105
Mi 16.01.2013 16:00 - 17:30 HA 105
Mi 23.01.2013 16:00 - 17:30 HA 105
Mi 30.01.2013 16:00 - 17:30 HA 105
 
326.0AT (2012W) Special Topics symbolic computation
Algebraic Topology
Further information
Register VL 2,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Di 06.11.2012 10:15 - 11:45 S3 058
Di 13.11.2012 10:15 - 11:45 P 004
Di 20.11.2012 10:15 - 11:45 P 004
Di 27.11.2012 10:15 - 11:45 P 004
Di 04.12.2012 10:15 - 11:45 P 004
Di 11.12.2012 10:15 - 11:45 P 004
Di 08.01.2013 10:15 - 11:45 P 004
Di 15.01.2013 10:15 - 11:45 P 004
Di 22.01.2013 10:15 - 11:45 P 004
Di 29.01.2013 10:15 - 11:45 P 004
 
326.00I (2012W) Special Topics in Computer Science
Computer algebra
Further information
Register KV 3,00 Franz Winkler

Günter Landsmann
Weekly
 
Date Daytime Room Topic
Di 02.10.2012 15:30 - 18:00 HS 13
Di 09.10.2012 15:30 - 18:00 HS 13
Di 16.10.2012 15:30 - 18:00 HS 13
Di 23.10.2012 15:30 - 18:00 HS 13
Di 30.10.2012 15:30 - 18:00 HS 13
Di 06.11.2012 15:30 - 18:00 HS 13
Di 13.11.2012 15:30 - 18:00 HS 13
Di 20.11.2012 15:30 - 18:00 HS 13
Di 27.11.2012 15:30 - 18:00 HS 13
Di 04.12.2012 15:30 - 18:00 HS 13
Di 11.12.2012 15:30 - 18:00 HS 13
Di 08.01.2013 15:30 - 18:00 HS 13
Di 15.01.2013 15:30 - 18:00 HS 13
Di 22.01.2013 15:30 - 18:00 HS 13
Di 29.01.2013 15:30 - 18:00 HS 13
 
326.I01 (2012W) Special Topics in Computer Science
Analytical Combinatorics
Further information
Register KV 3,00 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Di 02.10.2012 12:00 - 13:30 HS 11
Di 09.10.2012 12:00 - 13:30 HS 11
Di 16.10.2012 12:00 - 13:30 HS 11
Di 23.10.2012 12:00 - 13:30 HS 11
Di 30.10.2012 12:00 - 13:30 HS 11
Di 06.11.2012 12:00 - 13:30 HS 11
Di 13.11.2012 12:00 - 13:30 HS 11
Di 20.11.2012 12:00 - 13:30 HS 11
Di 27.11.2012 12:00 - 13:30 HS 11
Di 04.12.2012 12:00 - 13:30 HS 11
Di 11.12.2012 12:00 - 13:30 HS 11
Di 08.01.2013 12:00 - 13:30 HS 11
Di 15.01.2013 12:00 - 13:30 HS 11
Di 22.01.2013 12:00 - 13:30 HS 11
Di 29.01.2013 12:00 - 13:30 HS 11
 
326.I02 (2012W) Special Topics in Computer Science
Mathematical Logic I
Further information
Register KV 3,00 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do 04.10.2012 08:30 - 11:45 HS 6
Do 11.10.2012 08:30 - 11:45 HS 6
Do 18.10.2012 08:30 - 11:45 HS 6
Do 25.10.2012 08:30 - 11:45 HS 6
Do 08.11.2012 08:30 - 11:45 HS 6
Do 15.11.2012 08:30 - 11:45 HS 6
Do 22.11.2012 08:30 - 11:45 HS 6
Do 29.11.2012 08:30 - 11:45 HS 6
Do 06.12.2012 08:30 - 11:45 HS 6
Do 13.12.2012 08:30 - 11:45 HS 6
Do 10.01.2013 08:30 - 11:45 HS 6
Do 17.01.2013 08:30 - 11:45 HS 6
Do 24.01.2013 08:30 - 11:45 HS 6
Do 31.01.2013 08:30 - 11:45 HS 6
 
326.057 (2012W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,00 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 14:30 - 16:15 K 112A
Fr 12.10.2012 14:30 - 16:15 K 112A
Fr 19.10.2012 14:30 - 16:15 K 112A
Fr 09.11.2012 14:30 - 16:15 K 112A
Fr 16.11.2012 14:30 - 16:15 K 112A
Fr 23.11.2012 14:30 - 16:15 K 112A
Fr 30.11.2012 14:30 - 16:15 K 112A
Fr 07.12.2012 14:30 - 16:15 K 112A
Fr 14.12.2012 14:30 - 16:15 K 112A
Fr 11.01.2013 14:30 - 16:15 K 112A
Fr 18.01.2013 14:30 - 16:15 K 112A
Fr 25.01.2013 14:30 - 16:15 K 112A
 
326.066 (2012W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
Register VO 2,00 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr 05.10.2012 12:45 - 14:30 K 112A
Fr 12.10.2012 12:45 - 14:30 K 112A
Do 18.10.2012 18:00 - 19:45 K 223B
Fr 19.10.2012 12:45 - 14:30 K 112A
Fr 09.11.2012 12:45 - 14:30 K 112A
Fr 16.11.2012 12:45 - 14:30 K 112A
Fr 23.11.2012 12:45 - 14:30 K 112A
Fr 30.11.2012 12:45 - 14:30 K 112A
Fr 07.12.2012 12:45 - 14:30 K 112A
Fr 14.12.2012 12:45 - 14:30 K 112A
Fr 11.01.2013 12:45 - 14:30 K 112A
Fr 18.01.2013 12:45 - 14:30 K 112A
Fr 25.01.2013 12:45 - 14:30 K 112A
 
326.999 (2012W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,00 Veronika Elisabeth Pillwein Block
 
Date Daytime Room Topic
Mo 17.09.2012 09:00 - 14:30 HS 13
Di 18.09.2012 09:00 - 14:30 HS 13
Mi 19.09.2012 09:00 - 14:30 HS 13
Do 20.09.2012 09:00 - 14:30 HS 13
Fr 21.09.2012 09:00 - 14:30 HS 13
Mo 16.09.2013 08:00 - 16:00 HS 13
Di 17.09.2013 08:00 - 16:00 HS 13
Mi 18.09.2013 08:00 - 16:00 HS 13
Do 19.09.2013 08:00 - 16:00 HS 13
Fr 20.09.2013 08:00 - 16:00 HS 13
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail