RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2016 (Details)

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

.
Course Id Title Registration TypeHours Teachers Rhythm
326.011 (2016W) Algorithms and data structures
Further information
Register KV 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 08:30 - 10:00 K 012D
Di. 11.10.2016 18:00 - 19:45 S2 044
Do. 13.10.2016 08:30 - 10:00 K 001A
Do. 13.10.2016 13:45 - 14:30 K 223B
Di. 18.10.2016 18:00 - 19:45 S2 044
Do. 20.10.2016 08:30 - 10:00 K 012D
Do. 20.10.2016 13:45 - 14:30 K 223B
Di. 25.10.2016 18:00 - 19:45 S2 044
Do. 27.10.2016 08:30 - 10:00 K 012D
Do. 27.10.2016 13:45 - 14:30 K 223B
Do. 03.11.2016 08:30 - 10:00 MT 132
Do. 03.11.2016 13:45 - 14:30 K 223B
Di. 08.11.2016 18:00 - 19:45 S2 044
Do. 10.11.2016 08:30 - 10:00 K 012D
Do. 10.11.2016 13:45 - 14:30 HT 177F
Di. 15.11.2016 18:00 - 19:45 S2 044
Do. 17.11.2016 08:30 - 10:00 K 012D
Do. 17.11.2016 13:45 - 14:30 K 223B
Di. 22.11.2016 18:00 - 19:45 S2 044
Do. 24.11.2016 08:30 - 10:00 K 012D
Do. 24.11.2016 13:45 - 14:30 K 223B
Di. 29.11.2016 18:00 - 19:45 S2 044
Do. 01.12.2016 08:30 - 10:00 K 012D
Do. 01.12.2016 13:45 - 14:30 K 223B
Di. 06.12.2016 18:00 - 19:45 S2 044
Di. 13.12.2016 18:00 - 19:45 S2 044
Do. 15.12.2016 08:30 - 10:00 K 012D
Do. 15.12.2016 13:45 - 14:30 K 223B
Di. 10.01.2017 18:00 - 19:45 S2 044
Do. 12.01.2017 08:30 - 10:00 K 012D
Do. 12.01.2017 13:45 - 14:30 K 223B
Di. 17.01.2017 18:00 - 19:45 S2 044
Do. 19.01.2017 08:30 - 10:00 K 012D
Do. 19.01.2017 13:45 - 14:30 K 223B
Di. 24.01.2017 18:00 - 19:45 S2 044
Do. 26.01.2017 08:30 - 10:00 K 012D
Do. 26.01.2017 13:45 - 14:30 K 223B
Di. 31.01.2017 18:00 - 19:45 S2 044
Do. 16.02.2017 08:30 - 11:00 HS 5
 
326.043 (2016W) Algorithmic combinatorics
Further information
Register UE 1,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 13:45 - 14:30 HS 14
Di. 11.10.2016 13:45 - 14:30 HS 14
Di. 18.10.2016 13:45 - 14:30 HS 14
Di. 25.10.2016 13:45 - 14:30 HS 14
Di. 08.11.2016 13:45 - 14:30 HS 14
Di. 15.11.2016 13:45 - 14:30 HS 14
Di. 22.11.2016 13:45 - 14:30 HS 14
Di. 29.11.2016 13:45 - 14:30 HS 14
Di. 06.12.2016 13:45 - 14:30 HS 14
Di. 13.12.2016 13:45 - 14:30 HS 14
Di. 17.01.2017 13:45 - 14:30 HS 14
Di. 24.01.2017 13:45 - 14:30 HS 14
Di. 31.01.2017 13:45 - 14:30 HS 14
 
326.009 (2016W) Algorithmic combinatorics
Further information
Register VO 2,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 12:00 - 13:30 HS 14
Di. 11.10.2016 12:00 - 13:30 HS 14
Di. 18.10.2016 12:00 - 13:30 HS 14
Di. 25.10.2016 12:00 - 13:30 HS 14
Di. 08.11.2016 12:00 - 13:30 HS 14
Di. 15.11.2016 12:00 - 13:30 HS 14
Di. 22.11.2016 12:00 - 13:30 HS 14
Di. 29.11.2016 12:00 - 13:30 HS 14
Di. 06.12.2016 12:00 - 13:30 HS 14
Di. 13.12.2016 12:00 - 13:30 HS 14
Di. 17.01.2017 12:00 - 13:30 HS 14
Di. 24.01.2017 12:00 - 13:30 HS 14
Di. 31.01.2017 12:00 - 13:30 HS 14
 
326.002 (2016W) Algorithmic methods 1
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 12:00 - 13:30 S2 048
Mi. 05.10.2016 12:45 - 13:30 S3 058
Di. 11.10.2016 11:00 - 13:30 S2 048
Mi. 12.10.2016 12:45 - 13:30 S3 058
Di. 18.10.2016 11:00 - 13:30 S2 048
Mi. 19.10.2016 12:45 - 13:30 S3 058
Di. 25.10.2016 11:00 - 13:30 S2 048
Do. 03.11.2016 11:00 - 11:45 HT 177F Ersatztermin Tutorium
Di. 08.11.2016 11:00 - 13:30 S2 048
Mi. 09.11.2016 12:45 - 13:30 S3 058
Di. 15.11.2016 11:00 - 13:30 S2 048
Mi. 16.11.2016 12:45 - 13:30 S3 058
Di. 22.11.2016 11:00 - 13:30 S2 048
Mi. 23.11.2016 12:45 - 13:30 S3 058
Di. 29.11.2016 11:00 - 13:30 S2 048
Mi. 30.11.2016 12:45 - 13:30 S3 058
Di. 06.12.2016 11:00 - 13:30 S2 048
Mi. 07.12.2016 12:45 - 13:30 S3 058
Di. 13.12.2016 11:00 - 13:30 S2 048
Mi. 14.12.2016 12:45 - 13:30 S3 058
Di. 10.01.2017 11:00 - 13:30 S2 048
Mi. 11.01.2017 12:45 - 13:30 S3 058
Di. 17.01.2017 11:00 - 13:30 S2 048
Mi. 18.01.2017 12:45 - 13:30 S3 058
Di. 24.01.2017 11:00 - 13:30 S2 048
Mi. 25.01.2017 12:45 - 13:30 S3 058
Di. 31.01.2017 11:00 - 13:30 S2 048
 
326.055 (2016W) Analysis
Further information
Register UE 2,0 Jakob Ablinger Weekly
 
Date Daytime Room Topic
Do. 13.10.2016 15:30 - 17:00 HS 13
Do. 20.10.2016 15:30 - 17:00 HS 13
Do. 27.10.2016 15:30 - 17:00 HS 13
Do. 03.11.2016 15:30 - 17:00 HS 13
Do. 10.11.2016 15:30 - 17:00 HS 13
Do. 17.11.2016 15:30 - 17:00 HS 13
Do. 24.11.2016 15:30 - 17:00 HS 13
Do. 01.12.2016 15:30 - 17:00 HS 13
Do. 15.12.2016 15:30 - 17:00 HS 13
Do. 12.01.2017 15:30 - 17:00 HS 13
Do. 19.01.2017 15:30 - 17:00 HS 13
Do. 26.01.2017 15:30 - 17:00 HS 13
 
326.027 (2016W) Analysis
Further information
Register UE 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Do. 13.10.2016 15:30 - 17:00 HS 12
Do. 20.10.2016 15:30 - 17:00 HS 12
Do. 27.10.2016 15:30 - 17:00 HS 12
Do. 03.11.2016 15:30 - 17:00 HS 12
Do. 10.11.2016 15:30 - 17:00 HS 12
Do. 17.11.2016 15:30 - 17:00 HS 12
Do. 24.11.2016 15:30 - 17:00 HS 12
Do. 01.12.2016 15:30 - 17:00 HS 12
Do. 15.12.2016 15:30 - 17:00 HS 12
Do. 12.01.2017 15:30 - 17:00 HS 12
Do. 19.01.2017 15:30 - 17:00 HS 12
Do. 26.01.2017 15:30 - 17:00 HS 12
 
326.022 (2016W) Analysis
Further information
Register VO 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 08:30 - 10:00 HS 10
Fr. 14.10.2016 08:30 - 10:00 HS 10
Fr. 21.10.2016 08:30 - 10:00 HS 10
Fr. 28.10.2016 08:30 - 10:00 HS 10
Fr. 04.11.2016 08:30 - 10:00 HS 10
Fr. 11.11.2016 08:30 - 10:00 HS 10
Fr. 18.11.2016 08:30 - 10:00 HS 10
Fr. 25.11.2016 08:30 - 10:00 HS 10
Fr. 02.12.2016 08:30 - 10:00 HS 10
Fr. 09.12.2016 08:30 - 10:00 HS 10
Fr. 16.12.2016 08:30 - 10:00 HS 10
Fr. 13.01.2017 08:30 - 10:00 HS 10
Fr. 20.01.2017 08:30 - 10:00 HS 10
Fr. 27.01.2017 08:30 - 10:00 HS 9
Mo. 13.02.2017 14:15 - 17:00 HS 10
Fr. 03.03.2017 09:45 - 12:15 HS 16
 
326.056 (2016W) Analysis
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 13.10.2016 15:30 - 17:00 S2 219
Do. 20.10.2016 15:30 - 17:00 S2 219
Do. 27.10.2016 15:30 - 17:00 S2 219
Do. 03.11.2016 15:30 - 17:00 S2 219
Do. 10.11.2016 15:30 - 17:00 S2 219
Do. 17.11.2016 15:30 - 17:00 S2 219
Do. 24.11.2016 15:30 - 17:00 S2 219
Do. 01.12.2016 15:30 - 17:00 S2 219
Do. 15.12.2016 15:30 - 17:00 S2 219
Do. 12.01.2017 15:30 - 17:00 S2 219
Do. 19.01.2017 15:30 - 17:00 S2 219
Do. 26.01.2017 15:30 - 17:00 S2 219
 
326.004 (2016W) Computability and Complexity
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 03.10.2016 15:30 - 16:15 MT 226/1
Mo. 10.10.2016 15:30 - 16:15 MT 226/1
Mo. 17.10.2016 15:30 - 16:15 MT 226/1
Mo. 24.10.2016 15:30 - 16:15 MT 226/1
Mo. 31.10.2016 15:30 - 16:15 MT 226/1
Mo. 07.11.2016 15:30 - 16:15 MT 226/1
Fr. 18.11.2016 11:00 - 11:45 HS 1
Mo. 21.11.2016 15:30 - 16:15 MT 226/1
Mo. 28.11.2016 15:30 - 16:15 MT 226/1
Mo. 05.12.2016 15:30 - 16:15 MT 226/1
Mo. 12.12.2016 15:30 - 16:15 MT 226/1
Mo. 09.01.2017 15:30 - 16:15 MT 226/1
Fr. 13.01.2017 11:00 - 11:45 HS 1
Mo. 16.01.2017 15:30 - 16:15 MT 226/1
Mo. 23.01.2017 15:30 - 16:15 MT 226/1
Mo. 30.01.2017 15:30 - 16:15 MT 226/1
 
326.050 (2016W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 11:00 - 11:45 HS 12
Fr. 14.10.2016 11:00 - 11:45 HS 12
Fr. 21.10.2016 11:00 - 11:45 HS 12
Fr. 28.10.2016 11:00 - 11:45 HS 12
Fr. 04.11.2016 11:00 - 11:45 HS 12
Fr. 11.11.2016 11:00 - 11:45 HS 12
Fr. 18.11.2016 11:00 - 11:45 HS 1
Fr. 25.11.2016 11:00 - 11:45 HS 12
Fr. 02.12.2016 11:00 - 11:45 HS 12
Fr. 09.12.2016 11:00 - 11:45 HS 12
Do. 15.12.2016 18:00 - 18:45 MT 128
Fr. 16.12.2016 11:00 - 11:45 HS 12
Fr. 13.01.2017 11:00 - 11:45 HS 1
Fr. 20.01.2017 11:00 - 11:45 HS 12
Fr. 27.01.2017 11:00 - 11:45 HS 12
 
326.023 (2016W) Computability and Complexity
Further information
Register VO 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 12:00 - 13:30 HS 7
Fr. 14.10.2016 12:00 - 13:30 HS 7
Fr. 21.10.2016 12:00 - 13:30 HS 7
Fr. 28.10.2016 12:00 - 13:30 HS 7
Fr. 04.11.2016 12:00 - 13:30 HS 7
Fr. 11.11.2016 12:00 - 13:30 HS 7
Fr. 18.11.2016 12:00 - 13:30 HS 7
Fr. 25.11.2016 12:00 - 13:30 HS 16
Fr. 02.12.2016 12:00 - 13:30 HS 7
Fr. 09.12.2016 12:00 - 13:30 HS 7
Fr. 16.12.2016 12:00 - 13:30 HS 7
Fr. 13.01.2017 12:00 - 13:30 HS 7
Fr. 20.01.2017 12:00 - 13:30 HS 7
Fr. 27.01.2017 12:00 - 13:30 HS 18
Fr. 03.02.2017 12:00 - 13:30 HS 18
 
326.016 (2016W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 10:15 - 11:00 HS 12
Fr. 14.10.2016 10:15 - 11:00 HS 12
Fr. 21.10.2016 10:15 - 11:00 HS 12
Fr. 28.10.2016 10:15 - 11:00 HS 12
Fr. 04.11.2016 10:15 - 11:00 HS 12
Fr. 11.11.2016 10:15 - 11:00 HS 12
Fr. 18.11.2016 11:00 - 11:45 HS 1
Fr. 25.11.2016 10:15 - 11:00 HS 12
Fr. 02.12.2016 10:15 - 11:00 HS 12
Do. 15.12.2016 17:15 - 18:00 MT 128
Fr. 16.12.2016 10:15 - 11:00 HS 12
Fr. 13.01.2017 11:00 - 11:45 HS 1
Fr. 20.01.2017 10:15 - 11:00 HS 12
Fr. 27.01.2017 10:15 - 11:00 HS 12
 
326.031 (2016W) Computer Algebra
Further information
Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 17:15 - 18:00 HS 13
Di. 11.10.2016 17:15 - 18:00 HS 13
Di. 18.10.2016 17:15 - 18:00 HS 13
Di. 25.10.2016 17:15 - 18:00 HS 13
Di. 08.11.2016 17:15 - 18:00 HS 13
Di. 15.11.2016 17:15 - 18:00 HS 13
Di. 22.11.2016 17:15 - 18:00 HS 13
Di. 29.11.2016 17:15 - 18:00 HS 13
Di. 06.12.2016 17:15 - 18:00 HS 13
Di. 13.12.2016 17:15 - 18:00 HS 13
Di. 10.01.2017 17:15 - 18:00 HS 13
Di. 17.01.2017 17:15 - 18:00 HS 13
Di. 24.01.2017 17:15 - 18:00 HS 13
Di. 31.01.2017 17:15 - 18:00 HS 13
 
326.010 (2016W) Computer Algebra
Further information
Register VL 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 15:30 - 17:00 HS 13
Di. 11.10.2016 15:30 - 17:00 HS 13
Di. 18.10.2016 15:30 - 17:00 HS 13
Di. 25.10.2016 15:30 - 17:00 HS 13
Di. 08.11.2016 15:30 - 17:00 HS 13
Di. 15.11.2016 15:30 - 17:00 HS 13
Di. 22.11.2016 15:30 - 17:00 HS 13
Di. 29.11.2016 15:30 - 17:00 HS 13
Di. 06.12.2016 15:30 - 17:00 HS 13
Di. 13.12.2016 15:30 - 17:00 HS 13
Di. 10.01.2017 15:30 - 17:00 HS 13
Di. 17.01.2017 15:30 - 17:00 HS 13
Di. 24.01.2017 15:30 - 17:00 HS 13
Fr. 27.01.2017 15:30 - 17:00 HS 18
 
326.0D1 (2016W) Design and Analysis of Algorithms
Further information
Register VL 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 08:30 - 10:00 K 009D
Do. 13.10.2016 08:30 - 10:00 K 009D
Do. 20.10.2016 08:30 - 10:00 K 009D
Do. 27.10.2016 08:30 - 10:00 K 009D
Do. 03.11.2016 08:30 - 10:00 K 009D
Do. 10.11.2016 08:30 - 10:00 K 009D
Do. 17.11.2016 08:30 - 10:00 K 009D
Do. 24.11.2016 08:30 - 10:00 K 009D
Do. 01.12.2016 08:30 - 10:00 K 009D
Do. 15.12.2016 08:30 - 10:00 K 009D
Do. 12.01.2017 08:30 - 10:00 K 009D
Do. 19.01.2017 08:30 - 10:00 K 009D
Do. 26.01.2017 08:30 - 10:00 K 009D
 
326.025 (2016W) Decidable logical theories
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 10:15 - 11:45 HT 177F
Do. 13.10.2016 10:15 - 11:45 HT 177F
Do. 20.10.2016 10:15 - 11:45 HT 177F
Do. 27.10.2016 10:15 - 11:45 HT 177F
Mi. 09.11.2016 09:15 - 10:45 HA 105
Mi. 16.11.2016 09:15 - 10:45 HA 105
Mi. 23.11.2016 09:15 - 10:45 HA 105
Mi. 30.11.2016 09:15 - 10:45 HA 105
Mi. 07.12.2016 09:15 - 10:45 HA 105
Mi. 14.12.2016 09:15 - 10:45 HA 105
Mi. 11.01.2017 09:15 - 10:45 HA 105
Mi. 18.01.2017 09:15 - 10:45 HA 105
Mi. 25.01.2017 09:15 - 10:45 HA 105
 
326.053 (2016W) Formal methods in software development
Further information
Register KV 4,0 Wolfgang Schreiner

Janos Sztrik
Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 08:30 - 11:45 S2 053
Fr. 14.10.2016 08:30 - 11:45 S2 053
Fr. 21.10.2016 08:30 - 11:45 S2 053
Fr. 28.10.2016 08:30 - 11:45 S2 053
Fr. 04.11.2016 08:30 - 11:45 S2 053
Fr. 11.11.2016 08:30 - 11:45 S2 053
Fr. 18.11.2016 08:30 - 11:45 S2 053
Fr. 25.11.2016 08:30 - 11:45 S2 053
Fr. 02.12.2016 08:30 - 11:45 S2 053
Fr. 09.12.2016 08:30 - 11:45 S2 053
Fr. 16.12.2016 08:30 - 11:45 S2 053
Fr. 13.01.2017 08:30 - 11:45 S2 053
Fr. 20.01.2017 08:30 - 11:45 S2 053
Fr. 27.01.2017 08:30 - 11:45 S2 053
 
326.013 (2016W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 08:30 - 11:45 S2 053
Fr. 14.10.2016 08:30 - 11:45 S2 053
Fr. 21.10.2016 08:30 - 11:45 S2 053
Fr. 28.10.2016 08:30 - 11:45 S2 053
Fr. 04.11.2016 08:30 - 11:45 S2 053
Fr. 11.11.2016 08:30 - 11:45 S2 053
Di. 15.11.2016 15:30 - 18:45 S2 Z74
Fr. 18.11.2016 08:30 - 11:45 S2 053
Fr. 25.11.2016 08:30 - 11:45 S2 053
Fr. 02.12.2016 08:30 - 11:45 S2 053
Fr. 09.12.2016 08:30 - 11:45 S2 053
Fr. 16.12.2016 08:30 - 11:45 S2 053
Fr. 13.01.2017 08:30 - 11:45 S2 053
Fr. 20.01.2017 08:30 - 11:45 S2 053
Fr. 27.01.2017 08:30 - 11:45 S2 053
Fr. 27.01.2017 14:30 - 16:15 HS 15
 
326.005 (2016W) Ordinary differential equations and dynamical systems 1 Register KV 5,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mo. 10.10.2016 08:30 - 10:00 S2 059
Di. 11.10.2016 08:30 - 11:00 MT 128
Mo. 17.10.2016 08:30 - 10:00 S2 059
Di. 18.10.2016 08:30 - 11:00 MT 128
Mo. 24.10.2016 08:30 - 10:00 S2 059
Di. 25.10.2016 08:30 - 11:00 MT 128
Mo. 31.10.2016 08:30 - 10:00 S2 059
Mo. 07.11.2016 08:30 - 10:00 S2 059
Di. 08.11.2016 08:30 - 11:00 MT 128
Mo. 14.11.2016 08:30 - 10:00 S2 059
Di. 15.11.2016 08:30 - 11:00 MT 128
Mo. 21.11.2016 08:30 - 10:00 S2 059
Di. 22.11.2016 08:30 - 11:00 MT 128
Mo. 05.12.2016 08:30 - 10:00 S2 059
Di. 06.12.2016 08:30 - 11:00 MT 128
Mo. 12.12.2016 08:30 - 10:00 S2 059
Di. 13.12.2016 08:30 - 11:00 MT 128
Mo. 09.01.2017 08:30 - 10:00 S2 059
Di. 10.01.2017 08:30 - 11:00 MT 128
Mo. 16.01.2017 08:30 - 10:00 S2 059
Di. 17.01.2017 08:30 - 11:00 MT 128
Mo. 23.01.2017 08:30 - 10:00 S2 059
Di. 24.01.2017 08:30 - 11:00 MT 128
Mo. 30.01.2017 08:30 - 10:00 S2 059
Di. 31.01.2017 08:30 - 11:00 MT 128
 
326.015 (2016W) Information systems
Further information
Register KV 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 10.10.2016 12:00 - 13:30 HS 12
Mo. 17.10.2016 12:00 - 13:30 HS 12
Mo. 24.10.2016 12:00 - 13:30 HS 12
Mo. 07.11.2016 12:00 - 13:30 HS 12
Mo. 14.11.2016 12:00 - 13:30 HS 12
Mo. 21.11.2016 12:00 - 13:30 HS 12
Mo. 28.11.2016 12:00 - 13:30 HS 12
Mo. 05.12.2016 12:00 - 13:30 HS 12
Mo. 12.12.2016 12:00 - 13:30 HS 12
Mo. 09.01.2017 12:00 - 13:30 HS 12
Mo. 16.01.2017 12:00 - 13:30 HS 12
Mo. 23.01.2017 12:00 - 13:30 HS 12
Mo. 30.01.2017 12:00 - 13:30 HS 12
 
326.028 (2016W) Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 05.10.2016 16:15 - 18:00 S3 058
Mi. 12.10.2016 16:15 - 18:00 S3 058
Mi. 19.10.2016 16:15 - 18:00 S3 058
Mi. 09.11.2016 16:15 - 18:00 S3 058
Mi. 16.11.2016 16:15 - 18:00 S3 058
Mi. 23.11.2016 16:15 - 18:00 S3 058
Mi. 30.11.2016 16:15 - 18:00 S3 058
Mi. 07.12.2016 16:15 - 18:00 S3 058
Mi. 14.12.2016 16:15 - 18:00 S3 058
Mi. 11.01.2017 16:15 - 18:00 S3 058
Mi. 18.01.2017 16:15 - 18:00 S3 058
Mi. 25.01.2017 16:15 - 18:00 S3 058
 
326.012 (2016W) Seminar for graduate and doctoral students
Winter Semester 16
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 10:15 - 11:45 HA 105
Do. 13.10.2016 10:15 - 11:45 HA 105
Do. 20.10.2016 10:15 - 11:45 HA 105
Do. 27.10.2016 10:15 - 11:45 HA 105
Do. 03.11.2016 10:15 - 11:45 HA 105
Do. 10.11.2016 10:15 - 11:45 HA 105
Do. 17.11.2016 10:15 - 11:45 HA 105
Do. 24.11.2016 10:15 - 11:45 HA 105
Do. 01.12.2016 10:15 - 11:45 HA 105
Do. 15.12.2016 10:15 - 11:45 HA 105
Do. 12.01.2017 10:15 - 11:45 HA 105
Do. 19.01.2017 10:15 - 11:45 HA 105
Do. 26.01.2017 10:15 - 11:45 HA 105
 
326.033 (2016W) Seminar for graduate and doctoral students
Winter Semester 16
Register SE 2,0 Tudor Jebelean

Bruno Buchberger
Weekly
 
No dates found.
 
326.000 (2016W) Seminar for graduate and doctoral students
Winter Semester 16
Further information
Register SE 2,0 Peter Paule Weekly
 
No dates found.
 
357.301 (2016W) Mathematics for Economists
Further information
Register KS 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 17:15 - 18:45 HS 19
Do. 06.10.2016 19:00 - 20:30 HS 19 Tutorium
Do. 13.10.2016 17:15 - 18:45 HS 19
Do. 13.10.2016 19:00 - 20:30 HS 19 Tutorium
Do. 20.10.2016 17:15 - 18:45 HS 19
Do. 20.10.2016 19:00 - 20:30 HS 19 Tutorium
Do. 27.10.2016 17:15 - 18:45 HS 19
Do. 27.10.2016 19:00 - 20:30 HS 19 Tutorium
Do. 03.11.2016 17:15 - 18:45 HS 19
Do. 03.11.2016 19:00 - 20:30 HS 19 Tutorium
Do. 10.11.2016 17:15 - 18:45 HS 19
Do. 10.11.2016 19:00 - 20:30 HS 19 Tutorium
Do. 17.11.2016 17:15 - 18:45 HS 19
Do. 17.11.2016 19:00 - 20:30 HS 19 Tutorium
Do. 24.11.2016 17:15 - 18:45 HS 19
Do. 24.11.2016 19:00 - 20:30 HS 19 1. Klausurtermin - Prüfungsteil A
Do. 24.11.2016 19:00 - 20:30 HS 1 1. Klausurtermin - Prüfungsteil A
Do. 24.11.2016 19:00 - 20:30 HS 16 1. Klausurtermin - Prüfungsteil A
Do. 24.11.2016 19:00 - 20:30 HS 7 1. Klausurtermin - Prüfungsteil A
Do. 24.11.2016 19:00 - 20:30 HS 2 1. Klausurtermin - Prüfungsteil A
Do. 01.12.2016 17:15 - 18:45 HS 7
Do. 01.12.2016 19:00 - 20:30 HS 7 Tutorium
Do. 15.12.2016 17:15 - 18:45 HS 19
Do. 15.12.2016 19:00 - 20:30 HS 19 Tutorium
Do. 12.01.2017 17:15 - 18:45 HS 19
Do. 12.01.2017 19:00 - 20:30 HS 19 Tutorium
Do. 19.01.2017 17:15 - 18:45 HS 19
Do. 19.01.2017 19:00 - 20:30 HS 19 Tutorium
Do. 26.01.2017 17:15 - 18:45 HS 19
Do. 26.01.2017 19:00 - 20:30 HS 19 Tutorium
Fr. 27.01.2017 12:00 - 12:45 HS 1 1. Klausurtermin - Prüfungsteil B
Fr. 27.01.2017 12:00 - 12:45 HS 16 1. Klausurtermin - Prüfungsteil B
Fr. 27.01.2017 12:00 - 12:45 HS 7 1. Klausurtermin - Prüfungsteil B
Fr. 27.01.2017 12:00 - 12:45 HS 2 1. Klausurtermin - Prüfungsteil B
Fr. 27.01.2017 12:00 - 12:45 HS 17 1. Klausurtermin - Prüfungsteil B
Fr. 17.02.2017 10:15 - 11:45 HS 1 2.Klausurtermin - Prüfungsteile A und B
Fr. 17.02.2017 10:15 - 11:45 HS 10 2.Klausurtermin - Prüfungsteile A und B
Fr. 17.02.2017 10:15 - 11:45 HS 2 2.Klausurtermin - Prüfungsteile A und B
 
326.701 (2016W) Mathematics and Logic Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 17:15 - 18:00 S3 055
Di. 11.10.2016 17:15 - 18:00 S3 055
Di. 18.10.2016 17:15 - 18:00 S3 055
Di. 25.10.2016 17:15 - 18:00 S3 055
Di. 08.11.2016 17:15 - 18:00 S3 055
Di. 15.11.2016 17:15 - 18:00 S3 055
Di. 22.11.2016 17:15 - 18:00 S3 055
Di. 29.11.2016 17:15 - 18:00 S3 055
Di. 06.12.2016 17:15 - 18:00 S3 055
Di. 13.12.2016 17:15 - 18:00 S3 055
Di. 10.01.2017 17:15 - 18:00 S3 055
Di. 17.01.2017 17:15 - 18:00 S3 055
Di. 24.01.2017 17:15 - 18:00 S3 055
Di. 31.01.2017 17:15 - 18:00 S3 055
 
326.702 (2016W) Mathematics and Logic Register UE 1,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 17:15 - 18:00 HS 3
Di. 11.10.2016 17:15 - 18:00 HS 3
Di. 18.10.2016 17:15 - 18:00 HS 3
Di. 25.10.2016 17:15 - 18:00 HS 3
Di. 08.11.2016 17:15 - 18:00 HS 3
Di. 15.11.2016 17:15 - 18:00 HS 3
Di. 22.11.2016 17:15 - 18:00 HS 3
Di. 29.11.2016 17:15 - 18:00 HS 3
Di. 06.12.2016 17:15 - 18:00 HS 3
Di. 13.12.2016 17:15 - 18:00 HS 3
Di. 10.01.2017 17:15 - 18:00 HS 3
Di. 17.01.2017 17:15 - 18:00 HS 3
Di. 24.01.2017 17:15 - 18:00 HS 3
 
326.700 (2016W) Mathematics and Logic Register VL 3,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 04.10.2016 16:15 - 17:00 HS 19
Fr. 07.10.2016 13:45 - 15:15 HS 19
Di. 11.10.2016 16:15 - 17:00 HS 18
Fr. 14.10.2016 13:45 - 15:15 HS 19
Di. 18.10.2016 16:15 - 17:00 HS 19
Fr. 21.10.2016 13:45 - 15:15 HS 19
Di. 25.10.2016 16:15 - 17:00 HS 19
Fr. 28.10.2016 13:45 - 15:15 HS 19
Fr. 04.11.2016 13:45 - 15:15 HS 19
Di. 08.11.2016 16:15 - 17:00 HS 19
Fr. 11.11.2016 13:45 - 15:15 HS 19
Di. 15.11.2016 16:15 - 17:00 HS 19
Fr. 18.11.2016 13:45 - 15:15 HS 19
Di. 22.11.2016 16:15 - 17:00 HS 19
Fr. 25.11.2016 13:45 - 15:15 HS 19
Di. 29.11.2016 16:15 - 17:00 HS 19
Fr. 02.12.2016 13:45 - 15:15 HS 19
Di. 06.12.2016 16:15 - 17:00 HS 19
Fr. 09.12.2016 13:45 - 15:15 HS 19
Di. 13.12.2016 16:15 - 17:00 S2 048
Fr. 16.12.2016 13:45 - 15:15 HS 19
Di. 10.01.2017 16:15 - 17:00 HS 19
Fr. 13.01.2017 13:45 - 15:15 HS 19
Di. 17.01.2017 16:15 - 17:00 HS 19
Fr. 20.01.2017 13:45 - 15:15 HS 19
Di. 24.01.2017 16:15 - 17:00 HS 19
Fr. 27.01.2017 13:45 - 16:15 HS 19 Klausur
Fr. 27.01.2017 13:45 - 16:15 MT 127 Klausur
 
326.019 (2016W) Mathematical logic 1
Further information
Register VO 4,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 13.10.2016 08:30 - 11:45 HS 4
Do. 20.10.2016 08:30 - 11:45 HS 4
Do. 27.10.2016 08:30 - 11:45 HS 4
Do. 03.11.2016 08:30 - 11:45 HS 4
Do. 10.11.2016 08:30 - 11:45 HS 4
Do. 17.11.2016 08:30 - 11:45 HS 4
Do. 24.11.2016 08:30 - 11:45 HS 4
Do. 01.12.2016 08:30 - 11:45 HS 4
Do. 15.12.2016 08:30 - 11:45 HS 4
Do. 12.01.2017 08:30 - 11:45 HS 4
Do. 19.01.2017 08:30 - 11:45 HS 4
Do. 26.01.2017 08:30 - 11:45 HS 4
 
326.021 (2016W) Mathematical logic 1
Further information
Register UE 1,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 13.10.2016 12:00 - 12:45 HS 4
Do. 20.10.2016 12:00 - 12:45 HS 4
Do. 27.10.2016 12:00 - 12:45 HS 4
Do. 03.11.2016 12:00 - 12:45 HS 4
Do. 10.11.2016 12:00 - 12:45 HS 4
Do. 17.11.2016 12:00 - 12:45 HS 4
Do. 24.11.2016 12:00 - 12:45 HS 4
Do. 01.12.2016 12:00 - 12:45 HS 4
Do. 15.12.2016 12:00 - 12:45 HS 4
Do. 12.01.2017 12:00 - 12:45 HS 4
Do. 19.01.2017 12:00 - 12:45 HS 4
Do. 26.01.2017 12:00 - 12:45 HS 4
 
326.061 (2016W) Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style
Further information
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mo. 10.10.2016 15:00 - 16:30 HA 105
Mo. 17.10.2016 15:00 - 16:30 HA 105
Mo. 24.10.2016 15:00 - 16:30 HA 105
Mo. 31.10.2016 15:00 - 16:30 HA 105
Mo. 07.11.2016 15:00 - 16:30 HA 105
Mo. 14.11.2016 15:00 - 16:30 HA 105
Mo. 21.11.2016 15:00 - 16:30 HA 105
Mo. 28.11.2016 15:00 - 16:30 HA 105
Mo. 05.12.2016 15:00 - 16:30 HA 105
Mo. 12.12.2016 15:00 - 16:30 HA 105
Mo. 09.01.2017 15:00 - 16:30 HA 105
Mo. 16.01.2017 15:00 - 16:30 HA 105
Mo. 23.01.2017 15:00 - 16:30 HA 105
Mo. 30.01.2017 15:00 - 16:30 HA 105
 
326.063 (2016W) Seminar logic and software design
Project seminar Formal Methods I
Further information
Register SE 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mi. 05.10.2016 12:30 - 14:00 HA 105
Mi. 12.10.2016 12:30 - 14:00 HA 105
Mi. 19.10.2016 12:30 - 14:00 HA 105
Fr. 28.10.2016 12:45 - 15:15 S2 219
Fr. 04.11.2016 12:45 - 15:15 S2 Z74
Mi. 09.11.2016 12:30 - 14:00 HA 105
Fr. 11.11.2016 12:45 - 15:15 S2 Z74
Mi. 16.11.2016 12:30 - 14:00 HA 105
Fr. 18.11.2016 12:45 - 15:15 S2 Z74
Mi. 23.11.2016 12:30 - 14:00 HA 105
Fr. 25.11.2016 12:45 - 15:15 S2 Z74
Mi. 30.11.2016 12:30 - 14:00 HA 105
Fr. 02.12.2016 12:45 - 15:15 MT 128
Mi. 07.12.2016 12:30 - 14:00 HA 105
Fr. 09.12.2016 12:45 - 15:15 S2 Z74
Mi. 14.12.2016 12:30 - 14:00 HA 105
Fr. 16.12.2016 12:45 - 15:15 S2 Z74
Mi. 11.01.2017 12:30 - 14:00 HA 105
Fr. 13.01.2017 12:45 - 15:15 S2 Z74
Mi. 18.01.2017 12:30 - 14:00 HA 105
Fr. 20.01.2017 12:45 - 15:15 S2 Z74
Mi. 25.01.2017 12:30 - 14:00 HA 105
Fr. 27.01.2017 12:45 - 15:15 S2 Z74
 
326.001 (2016W) Seminar symbolic computation
Project seminar Computer-Algebra I
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 10:15 - 11:45 HA 105
Do. 13.10.2016 10:15 - 11:45 HA 105
Do. 20.10.2016 10:15 - 11:45 HA 105
Do. 27.10.2016 10:15 - 11:45 HA 105
Do. 03.11.2016 10:15 - 11:45 HA 105
Do. 10.11.2016 10:15 - 11:45 HA 105
Do. 17.11.2016 10:15 - 11:45 HA 105
Do. 24.11.2016 10:15 - 11:45 HA 105
Do. 01.12.2016 10:15 - 11:45 HA 105
Do. 15.12.2016 10:15 - 11:45 HA 105
Do. 12.01.2017 10:15 - 11:45 HA 105
Do. 19.01.2017 10:15 - 11:45 HA 105
Do. 26.01.2017 10:15 - 11:45 HA 105
 
326.064 (2016W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi. 05.10.2016 14:00 - 15:30 HA 105
Mi. 12.10.2016 14:00 - 15:30 HA 105
Mi. 19.10.2016 14:00 - 15:30 HA 105
Mi. 09.11.2016 14:00 - 15:30 HA 105
Mi. 16.11.2016 14:00 - 15:30 HA 105
Mi. 23.11.2016 14:00 - 15:30 HA 105
Mi. 30.11.2016 14:00 - 15:30 HA 105
Mi. 07.12.2016 14:00 - 15:30 HA 105
Mi. 14.12.2016 14:00 - 15:30 HA 105
Mi. 11.01.2017 14:00 - 15:30 HA 105
Mi. 18.01.2017 14:00 - 15:30 HA 105
Mi. 25.01.2017 14:00 - 15:30 HA 105
 
326.060 (2016W) Seminar symbolic computation
Algorithmic Algebra
Register SE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 18.10.2016 12:45 - 15:15 T 406/1
Di. 08.11.2016 12:45 - 15:15 ESH 3
 
326.069 (2016W) Seminar symbolic computation
Computer-Algebra I
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 10:15 - 11:45 HA 105
Do. 13.10.2016 10:15 - 11:45 HA 105
Do. 20.10.2016 10:15 - 11:45 HA 105
Do. 27.10.2016 10:15 - 11:45 HA 105
Do. 03.11.2016 10:15 - 11:45 HA 105
Do. 10.11.2016 10:15 - 11:45 HA 105
Do. 17.11.2016 10:15 - 11:45 HA 105
Do. 24.11.2016 10:15 - 11:45 HA 105
Do. 01.12.2016 10:15 - 11:45 HA 105
Do. 15.12.2016 10:15 - 11:45 HA 105
Do. 12.01.2017 10:15 - 11:45 HA 105
Do. 19.01.2017 10:15 - 11:45 HA 105
Do. 26.01.2017 10:15 - 11:45 HA 105
 
326.090 (2016W) Special Topics
Mathemtical Logic I
Further information
Register KV 3,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 06.10.2016 08:30 - 11:45 HS 4
Do. 13.10.2016 08:30 - 11:45 HS 4
Do. 20.10.2016 08:30 - 11:45 HS 4
Do. 27.10.2016 08:30 - 11:45 HS 4
Do. 03.11.2016 08:30 - 11:45 HS 4
Do. 10.11.2016 08:30 - 11:45 HS 4
Do. 17.11.2016 08:30 - 11:45 HS 4
Do. 24.11.2016 08:30 - 11:45 HS 4
Do. 01.12.2016 08:30 - 11:45 HS 4
Do. 15.12.2016 08:30 - 11:45 HS 4
Do. 12.01.2017 08:30 - 11:45 HS 4
Do. 19.01.2017 08:30 - 11:45 HS 4
Do. 26.01.2017 08:30 - 11:45 HS 4
 
326.032 (2016W) Special Topics symbolic computation
Computer algebra systems
Further information
Register VL 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 13:45 - 15:15 S2 054
Fr. 14.10.2016 13:45 - 15:15 S3 058
Fr. 21.10.2016 13:45 - 15:15 S3 058
Fr. 28.10.2016 13:45 - 15:15 S3 058
Fr. 04.11.2016 13:45 - 15:15 S3 058
Fr. 11.11.2016 13:45 - 15:15 S3 058
Fr. 18.11.2016 13:45 - 15:15 S3 058
Fr. 25.11.2016 13:45 - 15:15 S3 058
Fr. 02.12.2016 13:45 - 15:15 S3 058
Fr. 09.12.2016 13:45 - 15:15 S3 058
Fr. 16.12.2016 13:45 - 15:15 S3 058
Fr. 13.01.2017 13:45 - 15:15 S3 058
Fr. 20.01.2017 13:45 - 15:15 S3 058
Fr. 27.01.2017 13:45 - 15:15 S3 058
 
326.066 (2016W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
Register VO 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 08:30 - 10:00 K 112A
Do. 13.10.2016 13:45 - 15:15 BA 9909
Do. 13.10.2016 15:30 - 17:00 S2 044
Do. 20.10.2016 13:45 - 15:15 BA 9909
Do. 20.10.2016 15:30 - 17:00 S2 044
Do. 27.10.2016 13:45 - 15:15 BA 9909
Do. 27.10.2016 15:30 - 17:00 MZ 005A
Do. 03.11.2016 13:45 - 15:15 BA 9909
Do. 03.11.2016 15:30 - 17:00 S2 044
Do. 10.11.2016 13:45 - 15:15 BA 9909
Do. 10.11.2016 15:30 - 17:00 MZ 005A
Do. 17.11.2016 13:45 - 15:15 BA 9909
Do. 17.11.2016 15:30 - 17:00 S2 044
Do. 24.11.2016 13:45 - 15:15 BA 9909
Do. 24.11.2016 15:30 - 17:00 S2 044
Do. 01.12.2016 13:45 - 15:15 ESH 3
Do. 01.12.2016 15:30 - 17:00 HF 9905
Do. 15.12.2016 13:45 - 15:15 BA 9909
Do. 15.12.2016 15:30 - 17:00 HT 177F
Do. 12.01.2017 13:45 - 15:15 BA 9909
Do. 12.01.2017 15:30 - 17:00 S2 044
Do. 19.01.2017 13:45 - 15:15 BA 9909
Do. 19.01.2017 15:30 - 17:00 HF 9905
Do. 26.01.2017 13:45 - 15:15 BA 9909
 
326.057 (2016W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr. 07.10.2016 10:15 - 11:45 K 112A
Fr. 11.11.2016 10:15 - 11:45 K 112A
 
326.999 (2016W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,0 Wolfgang Windsteiger Block
 
Date Daytime Room Topic
Mo. 19.09.2016 08:30 - 15:15 S3 055
Di. 20.09.2016 08:30 - 15:15 S3 055
Mi. 21.09.2016 08:30 - 15:15 S3 055
Do. 22.09.2016 08:30 - 15:15 S3 055
Fr. 23.09.2016 08:30 - 11:45 S3 055
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail