RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2017 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.011 (2017W) Algorithms and data structures
Further information
Register KV 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 08:30 - 10:00 K 033C
Mi. 11.10.2017 16:15 - 18:00 S3 048
Do. 12.10.2017 08:30 - 10:00 K 033C
Do. 12.10.2017 13:45 - 15:15 HS 13
Mi. 18.10.2017 16:15 - 18:00 S3 048
Do. 19.10.2017 08:30 - 10:00 K 033C
Do. 19.10.2017 13:45 - 15:15 HS 13
Mi. 25.10.2017 16:15 - 18:00 S3 048
Mi. 08.11.2017 16:15 - 18:00 S2 054
Do. 09.11.2017 08:30 - 10:00 K 033C
Do. 09.11.2017 13:45 - 15:15 HS 13
Mi. 15.11.2017 16:15 - 18:00 S2 054
Do. 16.11.2017 08:30 - 10:00 K 033C
Do. 16.11.2017 13:45 - 15:15 HS 13
Mi. 22.11.2017 16:15 - 18:00 S2 054
Do. 23.11.2017 08:30 - 10:00 K 033C
Do. 23.11.2017 13:45 - 15:15 HS 13
Mi. 29.11.2017 16:15 - 18:00 S2 054
Do. 30.11.2017 08:30 - 10:00 K 269D
Do. 30.11.2017 13:45 - 15:15 HS 13
Mi. 06.12.2017 16:15 - 18:00 S2 054
Do. 07.12.2017 08:30 - 10:00 K 033C
Do. 07.12.2017 13:45 - 15:15 HS 13
Mi. 13.12.2017 16:15 - 18:00 S2 054
Do. 14.12.2017 08:30 - 10:00 K 033C
Do. 14.12.2017 13:45 - 15:15 HS 13
Mi. 10.01.2018 16:15 - 18:00 S2 054
Do. 11.01.2018 08:30 - 10:00 K 033C
Do. 11.01.2018 13:45 - 15:15 HS 13
Mi. 17.01.2018 16:15 - 18:00 S2 054
Do. 18.01.2018 08:30 - 10:00 K 033C
Do. 18.01.2018 13:45 - 15:15 HS 13
Mi. 24.01.2018 16:15 - 18:00 S2 054
Do. 25.01.2018 08:30 - 10:00 K 033C
Do. 25.01.2018 13:45 - 15:15 HS 13
Mi. 31.01.2018 16:15 - 18:00 S2 054
 
326.009 (2017W) Algorithmic combinatorics
Further information
Register VO 2,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 12:00 - 13:30 HS 12
Di. 10.10.2017 12:00 - 13:30 HS 12
Di. 17.10.2017 12:00 - 13:30 HS 12
Di. 24.10.2017 12:00 - 13:30 HS 12
Di. 31.10.2017 12:00 - 13:30 HS 12
Di. 07.11.2017 12:00 - 13:30 HS 12
Di. 14.11.2017 12:00 - 13:30 HS 12
Di. 21.11.2017 12:00 - 13:30 HS 12
Di. 28.11.2017 12:00 - 13:30 HS 12
Di. 05.12.2017 12:00 - 13:30 HS 12
Di. 12.12.2017 12:00 - 13:30 HS 12
Di. 09.01.2018 12:00 - 13:30 HS 12
Di. 16.01.2018 12:00 - 13:30 HS 12
Di. 23.01.2018 12:00 - 13:30 HS 12
Di. 30.01.2018 12:00 - 13:30 HS 12
 
326.043 (2017W) Algorithmic combinatorics
Further information
Register UE 1,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 13:45 - 14:30 HS 12
Di. 10.10.2017 13:45 - 14:30 HS 12
Di. 17.10.2017 13:45 - 14:30 HS 12
Di. 24.10.2017 13:45 - 14:30 HS 12
Di. 31.10.2017 13:45 - 14:30 HS 12
Di. 07.11.2017 13:45 - 14:30 HS 12
Di. 14.11.2017 13:45 - 14:30 HS 12
Di. 21.11.2017 13:45 - 14:30 HS 12
Di. 28.11.2017 13:45 - 14:30 HS 12
Di. 05.12.2017 13:45 - 14:30 HS 12
Di. 12.12.2017 13:45 - 14:30 HS 12
Di. 09.01.2018 13:45 - 14:30 HS 12
Di. 16.01.2018 13:45 - 14:30 HS 12
Di. 23.01.2018 13:45 - 14:30 HS 12
Di. 30.01.2018 13:45 - 14:30 HS 12
 
326.002 (2017W) Algorithmic methods 1 Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 12:00 - 13:30 MT 226
Mi. 04.10.2017 13:45 - 14:30 K 012D
Di. 10.10.2017 12:00 - 13:30 MT 226
Mi. 11.10.2017 13:45 - 14:30 K 012D
Do. 12.10.2017 14:30 - 15:15 MT 226/1
Di. 17.10.2017 12:00 - 13:30 MT 226
Mi. 18.10.2017 13:45 - 14:30 HS 3
Do. 19.10.2017 14:30 - 15:15 MT 226/1
Di. 24.10.2017 12:00 - 13:30 MT 226
Mi. 25.10.2017 13:45 - 14:30 K 012D
Di. 31.10.2017 12:00 - 13:30 MT 226
Di. 07.11.2017 12:00 - 13:30 MT 226
Mi. 08.11.2017 13:45 - 14:30 HS 3
Do. 09.11.2017 14:30 - 15:15 MT 226/1
Di. 14.11.2017 12:00 - 13:30 MT 226
Mi. 15.11.2017 13:45 - 14:30 K 012D
Do. 16.11.2017 14:30 - 15:15 MT 226/1
Di. 21.11.2017 12:00 - 13:30 MT 226
Mi. 22.11.2017 13:45 - 14:30 K 012D
Do. 23.11.2017 14:30 - 15:15 MT 226/1
Di. 28.11.2017 12:00 - 13:30 MT 226
Mi. 29.11.2017 13:45 - 14:30 K 012D
Do. 30.11.2017 14:30 - 15:15 MT 226/1
Di. 05.12.2017 12:00 - 13:30 MT 226
Mi. 06.12.2017 13:45 - 14:30 K 012D
Do. 07.12.2017 14:30 - 15:15 MT 226/1
Di. 12.12.2017 12:00 - 13:30 MT 226
Mi. 13.12.2017 13:45 - 14:30 K 012D
Do. 14.12.2017 14:30 - 15:15 MT 226/1
Di. 09.01.2018 12:00 - 13:30 MT 226
Mi. 10.01.2018 13:45 - 14:30 K 012D
Do. 11.01.2018 14:30 - 15:15 MT 226/1
Di. 16.01.2018 12:00 - 13:30 MT 226
Mi. 17.01.2018 13:45 - 14:30 K 012D
Do. 18.01.2018 14:30 - 15:15 MT 226/1
Di. 23.01.2018 12:00 - 13:30 MT 226
Mi. 24.01.2018 13:45 - 14:30 K 012D
Do. 25.01.2018 14:30 - 15:15 MT 226/1
Di. 30.01.2018 12:00 - 13:30 MT 226
Mi. 31.01.2018 13:45 - 14:30 K 012D
 
326.022 (2017W) Analysis
Further information
Register VO 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 08:30 - 10:00 HS 10
Fr. 13.10.2017 08:30 - 10:00 HS 10
Fr. 20.10.2017 08:30 - 10:00 HS 10
Fr. 27.10.2017 08:30 - 10:00 HS 10
Fr. 03.11.2017 08:30 - 10:00 HS 10
Fr. 10.11.2017 08:30 - 10:00 HS 10
Fr. 17.11.2017 08:30 - 10:00 HS 10
Fr. 24.11.2017 08:30 - 10:00 HS 10
Fr. 01.12.2017 08:30 - 10:00 HS 10
Fr. 15.12.2017 08:30 - 10:00 HS 10
Fr. 12.01.2018 08:30 - 10:00 HS 10
Fr. 19.01.2018 08:30 - 10:00 HS 10
Fr. 26.01.2018 08:30 - 10:00 HS 10
 
326.027 (2017W) Analysis
Further information
Register UE 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Do. 12.10.2017 15:30 - 17:00 HS 11
Do. 19.10.2017 15:30 - 17:00 HS 11
Do. 09.11.2017 15:30 - 17:00 HS 11
Do. 16.11.2017 15:30 - 17:00 HS 11
Do. 23.11.2017 15:30 - 17:00 HS 11
Do. 30.11.2017 15:30 - 17:00 HS 11
Do. 07.12.2017 15:30 - 17:00 HS 11
Do. 14.12.2017 15:30 - 17:00 HS 11
Do. 11.01.2018 15:30 - 17:00 HS 11
Do. 18.01.2018 15:30 - 17:00 HS 11
Do. 25.01.2018 15:30 - 17:00 HS 11
 
326.055 (2017W) Analysis
Further information
Register UE 2,0 Alexander Maletzky Weekly
 
Date Daytime Room Topic
Do. 12.10.2017 15:30 - 17:00 HS 13
Do. 19.10.2017 15:30 - 17:00 HS 13
Do. 09.11.2017 15:30 - 17:00 HS 13
Do. 16.11.2017 15:30 - 17:00 HS 13
Do. 23.11.2017 15:30 - 17:00 HS 13
Do. 30.11.2017 15:30 - 17:00 HS 13
Do. 07.12.2017 15:30 - 17:00 HS 13
Do. 14.12.2017 15:30 - 17:00 HS 13
Do. 11.01.2018 15:30 - 17:00 HS 13
Do. 18.01.2018 15:30 - 17:00 HS 13
Do. 25.01.2018 15:30 - 17:00 HS 13
 
326.056 (2017W) Analysis
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 12.10.2017 15:30 - 17:00 K 034D
Do. 19.10.2017 15:30 - 17:00 K 034D
Do. 09.11.2017 15:30 - 17:00 K 034D
Do. 16.11.2017 15:30 - 17:00 K 034D
Do. 23.11.2017 15:30 - 17:00 K 034D
Do. 30.11.2017 15:30 - 17:00 K 034D
Do. 07.12.2017 15:30 - 17:00 K 034D
Do. 14.12.2017 15:30 - 17:00 K 034D
Do. 11.01.2018 15:30 - 17:00 K 034D
Do. 18.01.2018 15:30 - 17:00 K 034D
Do. 25.01.2018 15:30 - 17:00 K 034D
 
326.094 (2017W) Automated Reasoning
Further information
Register UE 1,0 Tudor Jebelean

Teimuraz Kutsia
Weekly
 
No dates found.
 
326.0AR (2017W) Automated Reasoning
Further information
Register VL 2,0 Tudor Jebelean

Teimuraz Kutsia
Weekly
 
Date Daytime Room Topic
Mi. 04.10.2017 08:30 - 10:00 S3 057
Mi. 11.10.2017 08:30 - 10:00 S3 057
Mi. 18.10.2017 08:30 - 10:00 S3 057
Mi. 25.10.2017 08:30 - 10:00 S3 057
Mi. 08.11.2017 08:30 - 10:00 S3 057
Mi. 15.11.2017 08:30 - 10:00 S3 057
Mi. 22.11.2017 08:30 - 10:00 S3 057
Mi. 29.11.2017 08:30 - 10:00 S3 057
Mi. 06.12.2017 08:30 - 10:00 S3 057
Mi. 13.12.2017 08:30 - 10:00 S3 057
Mi. 10.01.2018 08:30 - 10:00 S3 057
Mi. 17.01.2018 08:30 - 10:00 S3 057
Mi. 24.01.2018 08:30 - 10:00 S3 057
Mi. 31.01.2018 08:30 - 10:00 S3 057
 
326.062 (2017W) Computability theory
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 08:30 - 10:00 HS 14
Do. 12.10.2017 08:30 - 10:00 HS 14
Do. 19.10.2017 08:30 - 10:00 HS 14
Do. 09.11.2017 08:30 - 10:00 HS 14
Do. 16.11.2017 08:30 - 10:00 HS 14
Do. 23.11.2017 08:30 - 10:00 HS 14
Do. 30.11.2017 08:30 - 10:00 HS 14
Do. 07.12.2017 08:30 - 10:00 HS 14
Do. 14.12.2017 08:30 - 10:00 HS 14
Do. 11.01.2018 08:30 - 10:00 HS 14
Do. 18.01.2018 08:30 - 10:00 HS 14
Do. 25.01.2018 08:30 - 10:00 HS 14
 
326.004 (2017W) Computability and Complexity
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 02.10.2017 15:30 - 16:15 S3 057
Mo. 09.10.2017 15:30 - 16:15 S3 057
Mo. 16.10.2017 15:30 - 16:15 S3 057
Mo. 23.10.2017 15:30 - 16:15 S3 057
Mo. 30.10.2017 15:30 - 16:15 S3 057
Mo. 06.11.2017 15:30 - 16:15 S3 057
Mo. 13.11.2017 15:30 - 16:15 S3 057
Fr. 17.11.2017 11:00 - 11:45 HS 1
Mo. 20.11.2017 15:30 - 16:15 S3 057
Mo. 27.11.2017 15:30 - 16:15 S3 057
Mo. 04.12.2017 15:30 - 16:15 S3 057
Mo. 11.12.2017 15:30 - 16:15 S3 057
Mo. 08.01.2018 15:30 - 16:15 S3 057
Fr. 12.01.2018 14:30 - 15:15 HS 10
Mo. 15.01.2018 15:30 - 16:15 S3 057
Mo. 22.01.2018 15:30 - 16:15 S3 057
Mo. 29.01.2018 15:30 - 16:15 S3 057
 
326.016 (2017W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 10:15 - 11:00 HS 12
Fr. 13.10.2017 10:15 - 11:00 HS 12
Fr. 20.10.2017 10:15 - 11:00 HS 12
Fr. 27.10.2017 10:15 - 11:00 HS 12
Fr. 03.11.2017 10:15 - 11:00 HS 12
Fr. 10.11.2017 10:15 - 11:00 HS 12
Fr. 17.11.2017 11:00 - 11:45 HS 1
Fr. 24.11.2017 10:15 - 11:00 HS 12
Fr. 01.12.2017 10:15 - 11:00 HS 12
Fr. 15.12.2017 10:15 - 11:00 HS 12
Fr. 12.01.2018 10:15 - 11:00 HS 12
Fr. 12.01.2018 14:30 - 15:15 HS 10
Fr. 19.01.2018 10:15 - 11:00 HS 12
Fr. 26.01.2018 10:15 - 11:00 HS 12
 
326.023 (2017W) Computability and Complexity
Further information
Register VO 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 12:00 - 13:30 HS 10
Fr. 13.10.2017 12:00 - 13:30 HS 10
Fr. 20.10.2017 12:00 - 13:30 HS 10
Fr. 27.10.2017 12:00 - 13:30 HS 10
Fr. 03.11.2017 12:00 - 13:30 HS 10
Fr. 10.11.2017 12:00 - 13:30 HS 10
Fr. 17.11.2017 12:00 - 13:30 HS 10
Fr. 24.11.2017 12:00 - 13:30 HS 10
Fr. 01.12.2017 12:00 - 13:30 HS 10
Fr. 15.12.2017 12:00 - 13:30 HS 10
Fr. 12.01.2018 12:00 - 13:30 HS 10
Fr. 19.01.2018 12:00 - 13:30 HS 10
Fr. 26.01.2018 12:00 - 13:30 HS 10
Fr. 02.02.2018 12:15 - 14:00 HS 10
 
326.050 (2017W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 11:00 - 11:45 HS 12
Fr. 13.10.2017 11:00 - 11:45 HS 12
Fr. 20.10.2017 11:00 - 11:45 HS 12
Fr. 27.10.2017 11:00 - 11:45 HS 12
Fr. 03.11.2017 11:00 - 11:45 HS 12
Fr. 10.11.2017 11:00 - 11:45 HS 12
Fr. 17.11.2017 11:00 - 11:45 HS 1
Fr. 24.11.2017 11:00 - 11:45 HS 12
Fr. 01.12.2017 11:00 - 11:45 HS 12
Fr. 15.12.2017 11:00 - 11:45 HS 12
Fr. 12.01.2018 11:00 - 11:45 HS 12
Fr. 12.01.2018 14:30 - 15:15 HS 10
Fr. 19.01.2018 11:00 - 11:45 HS 12
Fr. 26.01.2018 11:00 - 11:45 HS 12
 
326.007 (2017W) Computer Algebra
Further information
Register VL 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 15:30 - 17:00 HS 13
Di. 10.10.2017 15:30 - 17:00 HS 13
Di. 17.10.2017 15:30 - 17:00 HS 13
Di. 24.10.2017 15:30 - 17:00 HS 13
Di. 31.10.2017 15:30 - 17:00 HS 13
Di. 07.11.2017 15:30 - 17:00 HS 13
Di. 14.11.2017 15:30 - 17:00 HS 13
Di. 21.11.2017 15:30 - 17:00 HS 13
Di. 28.11.2017 15:30 - 17:00 HS 13
Di. 05.12.2017 15:30 - 17:00 HS 13
Di. 12.12.2017 15:30 - 17:00 HS 13
Di. 09.01.2018 15:30 - 17:00 HS 13
Di. 16.01.2018 15:30 - 17:00 HS 13
Di. 23.01.2018 15:30 - 17:00 HS 13
Di. 30.01.2018 15:30 - 18:00 HS 19
 
326.031 (2017W) Computer Algebra
Further information
Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 17:15 - 18:00 HS 13
Di. 10.10.2017 17:15 - 18:00 HS 13
Di. 17.10.2017 17:15 - 18:00 HS 13
Di. 24.10.2017 17:15 - 18:00 HS 13
Di. 31.10.2017 17:15 - 18:00 HS 13
Di. 07.11.2017 17:15 - 18:00 HS 13
Di. 14.11.2017 17:15 - 18:00 HS 13
Di. 21.11.2017 17:15 - 18:00 HS 13
Di. 28.11.2017 17:15 - 18:00 HS 13
Di. 05.12.2017 17:15 - 18:00 HS 13
Di. 12.12.2017 17:15 - 18:00 HS 13
Di. 09.01.2018 17:15 - 18:00 HS 13
Di. 16.01.2018 17:15 - 18:00 HS 13
Di. 23.01.2018 17:15 - 18:00 HS 13
Di. 30.01.2018 17:15 - 18:00 HS 13
 
326.053 (2017W) Formal methods in software development
Further information
Register KV 4,0 Wolfgang Schreiner

Janos Sztrik
Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 08:30 - 11:45 S2 053
Fr. 13.10.2017 08:30 - 11:45 S2 053
Fr. 20.10.2017 08:30 - 11:45 S2 053
Fr. 27.10.2017 08:30 - 11:45 S2 053
Fr. 03.11.2017 08:30 - 11:45 S2 053
Fr. 10.11.2017 08:30 - 11:45 S2 053
Fr. 17.11.2017 08:30 - 11:45 S2 053
Fr. 24.11.2017 08:30 - 11:45 S2 053
Fr. 01.12.2017 08:30 - 11:45 S2 053
Fr. 15.12.2017 08:30 - 11:45 S2 053
Fr. 12.01.2018 08:30 - 11:45 S2 053
Fr. 19.01.2018 08:30 - 11:45 S2 053
Fr. 26.01.2018 08:30 - 11:45 S2 053
 
326.013 (2017W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 08:30 - 11:45 S2 053
Fr. 13.10.2017 08:30 - 11:45 S2 053
Fr. 20.10.2017 08:30 - 11:45 S2 053
Fr. 27.10.2017 08:30 - 11:45 S2 053
Fr. 03.11.2017 08:30 - 11:45 S2 053
Di. 07.11.2017 16:15 - 19:45 S2 120
Fr. 10.11.2017 08:30 - 11:45 S2 053
Fr. 17.11.2017 08:30 - 11:45 S2 053
Fr. 24.11.2017 08:30 - 11:45 S2 053
Fr. 01.12.2017 08:30 - 11:45 S2 053
Fr. 15.12.2017 08:30 - 11:45 S2 053
Fr. 12.01.2018 08:30 - 11:45 S2 053
Fr. 19.01.2018 08:30 - 11:45 S2 053
Fr. 26.01.2018 08:30 - 11:45 S2 053
Fr. 02.02.2018 08:30 - 10:00 HS 3
 
326.005 (2017W) Ordinary differential equations and dynamical systems 1
Ordinary differential equations and dynamical systems 1
Further information
Register KV 5,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mo. 09.10.2017 08:30 - 10:00 MT 128
Di. 10.10.2017 08:30 - 11:00 MT 226/1
Di. 17.10.2017 08:30 - 11:00 MT 226/1
Mo. 23.10.2017 08:30 - 10:00 S2 120
Di. 24.10.2017 08:30 - 11:00 MT 226/1
Mo. 30.10.2017 08:30 - 10:00 S2 120
Di. 31.10.2017 08:30 - 11:00 MT 226/1
Mo. 06.11.2017 08:30 - 10:00 S2 120
Di. 07.11.2017 08:30 - 11:00 MT 226/1
Mo. 13.11.2017 08:30 - 10:00 S2 120
Di. 14.11.2017 08:30 - 11:00 MT 226/1
Mo. 20.11.2017 08:30 - 10:00 S2 120
Di. 21.11.2017 08:30 - 11:00 MT 226/1
Mo. 27.11.2017 08:30 - 10:00 S2 120
Di. 28.11.2017 08:30 - 11:00 MT 226/1
Mo. 04.12.2017 08:30 - 10:00 S2 120
Di. 05.12.2017 08:30 - 11:00 MT 226/1
Mo. 11.12.2017 08:30 - 10:00 S2 120
Di. 12.12.2017 08:30 - 11:00 MT 226/1
Mo. 08.01.2018 08:30 - 10:00 S2 120
Di. 09.01.2018 08:30 - 11:00 MT 226/1
Mo. 15.01.2018 08:30 - 10:00 S2 120
Di. 16.01.2018 08:30 - 11:00 MT 226/1
Mo. 22.01.2018 08:30 - 10:00 S2 120
Di. 23.01.2018 08:30 - 11:00 MT 226/1
Mo. 29.01.2018 08:30 - 10:00 S2 120
Di. 30.01.2018 08:30 - 11:00 MT 226/1
 
326.015 (2017W) Information systems
Further information
Register KV 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 09.10.2017 12:00 - 13:30 HS 12
Mo. 16.10.2017 12:00 - 13:30 HS 12
Mo. 23.10.2017 12:00 - 13:30 HS 12
Mo. 30.10.2017 12:00 - 13:30 HS 12
Mo. 06.11.2017 12:00 - 13:30 HS 12
Mo. 13.11.2017 12:00 - 13:30 HS 12
Mo. 20.11.2017 12:00 - 13:30 HS 12
Mo. 27.11.2017 12:00 - 13:30 HS 12
Mo. 04.12.2017 12:00 - 13:30 HS 12
Mo. 11.12.2017 12:00 - 13:30 HS 12
Mo. 08.01.2018 12:00 - 13:30 HS 12
Mo. 15.01.2018 12:00 - 13:30 HS 12
Mo. 22.01.2018 12:00 - 13:30 HS 12
Mo. 29.01.2018 12:00 - 13:30 HS 12
 
326.017 (2017W) Linear algebra for physicists
Further information
Register VL 4,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Mo. 02.10.2017 08:30 - 10:00 HS 9
Di. 03.10.2017 08:30 - 10:00 HS 9
Mo. 09.10.2017 08:30 - 10:00 HS 9
Di. 10.10.2017 08:30 - 10:00 HS 9
Mo. 16.10.2017 08:30 - 10:00 HS 9
Di. 17.10.2017 08:30 - 10:00 HS 9
Mo. 23.10.2017 08:30 - 10:00 HS 9
Di. 24.10.2017 08:30 - 10:00 HS 9
Mo. 30.10.2017 08:30 - 10:00 HS 9
Di. 31.10.2017 08:30 - 10:00 HS 9
Mo. 06.11.2017 08:30 - 10:00 HS 9
Di. 07.11.2017 08:30 - 10:00 HS 9
Mo. 13.11.2017 08:30 - 10:00 HS 9
Di. 14.11.2017 08:30 - 10:00 HS 9
Mo. 20.11.2017 08:30 - 10:00 HS 9
Di. 21.11.2017 08:30 - 10:00 HS 9
Mo. 27.11.2017 08:30 - 10:00 HS 9
Di. 28.11.2017 08:30 - 10:00 HS 9
Mo. 04.12.2017 08:30 - 10:00 HS 9
Di. 05.12.2017 08:30 - 10:00 HS 9
Mo. 11.12.2017 08:30 - 10:00 HS 9
Di. 12.12.2017 08:30 - 10:00 HS 9
Mo. 08.01.2018 08:30 - 10:00 HS 9
Di. 09.01.2018 08:30 - 10:00 HS 9
Mo. 15.01.2018 08:30 - 10:00 HS 9
Di. 16.01.2018 08:30 - 10:00 HS 9
Mo. 22.01.2018 08:30 - 10:00 HS 9
Di. 23.01.2018 08:30 - 10:00 HS 9
Mo. 29.01.2018 08:30 - 10:00 HS 9
Di. 30.01.2018 08:30 - 10:00 HS 9
 
326.058 (2017W) Linear algebra for physicists
Further information
Register UE 2,0 Robert Zillich Weekly
 
Date Daytime Room Topic
Mo. 02.10.2017 10:15 - 11:45 BA 9907
Fr. 06.10.2017 08:30 - 10:00 MZ 003A
Mo. 09.10.2017 10:15 - 11:45 BA 9907
Fr. 13.10.2017 08:30 - 10:00 MZ 003A
Mo. 16.10.2017 10:15 - 11:45 BA 9907
Fr. 20.10.2017 08:30 - 10:00 MZ 003A
Mo. 23.10.2017 10:15 - 11:45 BA 9907
Fr. 27.10.2017 08:30 - 10:00 MZ 003A
Mo. 30.10.2017 10:15 - 11:45 BA 9907
Fr. 03.11.2017 08:30 - 10:00 MZ 003A
Mo. 06.11.2017 10:15 - 11:45 BA 9907
Fr. 10.11.2017 08:30 - 10:00 MZ 003A
Mo. 13.11.2017 10:15 - 11:45 BA 9907
Fr. 17.11.2017 08:30 - 10:00 MZ 003A
Mo. 20.11.2017 10:15 - 11:45 BA 9907
Fr. 24.11.2017 08:30 - 10:00 MZ 003A
Mo. 27.11.2017 10:15 - 11:45 BA 9907
Fr. 01.12.2017 08:30 - 10:00 MZ 003A
Mo. 04.12.2017 10:15 - 11:45 BA 9907
Mo. 11.12.2017 10:15 - 11:45 BA 9907
Fr. 15.12.2017 08:30 - 10:00 MZ 003A
Mo. 08.01.2018 10:15 - 11:45 BA 9907
Fr. 12.01.2018 08:30 - 10:00 MZ 003A
Mo. 15.01.2018 10:15 - 11:45 BA 9907
Fr. 19.01.2018 08:30 - 10:00 MZ 003A
Mo. 22.01.2018 10:15 - 11:45 BA 9907
Fr. 26.01.2018 08:30 - 10:00 MZ 003A
Mo. 29.01.2018 10:15 - 11:45 BA 9907
 
326.071 (2017W) Linear algebra for physicists
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo. 02.10.2017 10:15 - 11:45 HS 11
Mo. 09.10.2017 10:15 - 11:45 HS 11
Mo. 16.10.2017 10:15 - 11:45 HS 11
Mo. 23.10.2017 10:15 - 11:45 HS 11
Mo. 30.10.2017 10:15 - 11:45 HS 11
Mo. 06.11.2017 10:15 - 11:45 HS 11
Mo. 13.11.2017 10:15 - 11:45 HS 11
Mo. 20.11.2017 10:15 - 11:45 HS 11
Mo. 27.11.2017 10:15 - 11:45 HS 11
Mo. 04.12.2017 10:15 - 11:45 HS 11
Mo. 11.12.2017 10:15 - 11:45 HS 11
Mo. 08.01.2018 10:15 - 11:45 HS 11
Mo. 15.01.2018 10:15 - 11:45 HS 11
Mo. 22.01.2018 10:15 - 11:45 HS 11
Mo. 29.01.2018 10:15 - 11:45 HS 11
 
326.028 (2017W) Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 04.10.2017 16:15 - 18:00 S3 057
Mi. 11.10.2017 16:15 - 18:00 S3 057
Mi. 18.10.2017 16:15 - 18:00 S3 057
Mi. 25.10.2017 16:15 - 18:00 S3 057
Mi. 08.11.2017 16:15 - 18:00 S3 057
Mi. 15.11.2017 16:15 - 18:00 S3 057
Mi. 22.11.2017 16:15 - 18:00 S3 057
Mi. 29.11.2017 16:15 - 18:00 S3 057
Mi. 06.12.2017 16:15 - 18:00 S3 057
Mi. 13.12.2017 16:15 - 18:00 S3 057
Mi. 10.01.2018 16:15 - 18:00 S3 057
Mi. 17.01.2018 16:15 - 18:00 S3 057
Mi. 24.01.2018 16:15 - 18:00 S3 057
Mi. 31.01.2018 16:15 - 18:00 S3 057
 
326.0XX (2017W) Seminar for graduate and doctoral students
Winter Semester 2017/18
Further information
Register SE 2,0 Peter Paule Weekly
 
No dates found.
 
326.0YY (2017W) Seminar for graduate and doctoral students
Winter Semester 2017/18
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2017W) Seminar for graduate and doctoral students
Winter Semester 2017/18
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 10:15 - 11:45 HA 105
Do. 12.10.2017 10:15 - 11:45 HA 105
Do. 19.10.2017 10:15 - 11:45 HA 105
Do. 09.11.2017 10:15 - 11:45 HA 105
Do. 16.11.2017 10:15 - 11:45 HA 105
Do. 23.11.2017 10:15 - 11:45 HA 105
Do. 30.11.2017 10:15 - 11:45 HA 105
Do. 07.12.2017 10:15 - 11:45 HA 105
Do. 14.12.2017 10:15 - 11:45 HA 105
Do. 11.01.2018 10:15 - 11:45 HA 105
Do. 18.01.2018 10:15 - 11:45 HA 105
Do. 25.01.2018 10:15 - 11:45 HA 105
 
326.700 (2017W) Mathematics and Logic Register VL 3,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 16:15 - 17:00 HS 18
Fr. 06.10.2017 13:45 - 15:15 HS 19
Di. 10.10.2017 16:15 - 17:00 HS 18
Fr. 13.10.2017 13:45 - 15:15 HS 18
Di. 17.10.2017 16:15 - 17:00 HS 18
Fr. 20.10.2017 13:45 - 15:15 HS 18
Di. 24.10.2017 16:15 - 17:00 HS 18
Fr. 27.10.2017 13:45 - 15:15 HS 18
Di. 31.10.2017 16:15 - 17:00 HS 18
Fr. 03.11.2017 13:45 - 15:15 HS 18
Di. 07.11.2017 16:15 - 17:00 HS 18
Fr. 10.11.2017 13:45 - 15:15 HS 18
Di. 14.11.2017 16:15 - 17:00 HS 18
Fr. 17.11.2017 13:45 - 15:15 HS 18
Di. 21.11.2017 16:15 - 17:00 HS 18
Fr. 24.11.2017 13:45 - 15:15 HS 18
Di. 28.11.2017 16:15 - 17:00 HS 18
Fr. 01.12.2017 13:45 - 15:15 HS 18
Di. 05.12.2017 16:15 - 17:00 HS 18
Di. 12.12.2017 16:15 - 17:00 HS 18
Fr. 15.12.2017 13:45 - 15:15 HS 18
Di. 09.01.2018 16:15 - 17:00 HS 18
Fr. 12.01.2018 13:45 - 15:15 HS 18
Di. 16.01.2018 16:15 - 17:00 HS 18
Fr. 19.01.2018 13:45 - 15:15 HS 18
Di. 23.01.2018 16:15 - 17:00 HS 18
Fr. 26.01.2018 13:45 - 15:15 HS 18
Di. 30.01.2018 16:15 - 17:00 HS 18
Di. 30.01.2018 16:15 - 18:00 HS 16
 
326.701 (2017W) Mathematics and Logic Register UE 1,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 17:15 - 18:00 HS 18
Di. 10.10.2017 17:15 - 18:00 HS 18
Di. 17.10.2017 17:15 - 18:00 HS 18
Di. 24.10.2017 17:15 - 18:00 HS 18
Di. 31.10.2017 17:15 - 18:00 HS 18
Di. 07.11.2017 17:15 - 18:00 HS 18
Di. 14.11.2017 17:15 - 18:00 HS 18
Di. 21.11.2017 17:15 - 18:00 HS 18
Di. 28.11.2017 17:15 - 18:00 HS 18
Di. 05.12.2017 17:15 - 18:00 HS 18
Di. 12.12.2017 17:15 - 18:00 HS 18
Di. 09.01.2018 17:15 - 18:00 HS 18
Di. 16.01.2018 17:15 - 18:00 HS 18
Di. 23.01.2018 17:15 - 18:00 HS 18
Di. 30.01.2018 17:15 - 18:00 HS 18
 
326.702 (2017W) Mathematics and Logic Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Di. 03.10.2017 17:15 - 18:00 MT 226
Di. 10.10.2017 17:15 - 18:00 MT 226
Di. 17.10.2017 17:15 - 18:00 MT 226
Di. 24.10.2017 17:15 - 18:00 MT 226
Di. 31.10.2017 17:15 - 18:00 MT 226
Di. 07.11.2017 17:15 - 18:00 MT 226
Di. 14.11.2017 17:15 - 18:00 MT 226
Di. 21.11.2017 17:15 - 18:00 MT 226
Di. 28.11.2017 17:15 - 18:00 MT 226
Di. 05.12.2017 17:15 - 18:00 MT 226
Di. 12.12.2017 17:15 - 18:00 MT 226
Di. 09.01.2018 17:15 - 18:00 MT 226
Di. 16.01.2018 17:15 - 18:00 MT 226
Di. 23.01.2018 17:15 - 18:00 MT 226
 
326.019 (2017W) Mathematical logic 1
Further information
Register VO 4,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 08:30 - 11:45 MT 226/1
Do. 19.10.2017 08:30 - 11:45 MT 226/1
Do. 09.11.2017 08:30 - 11:45 MT 226/1
Do. 16.11.2017 08:30 - 11:45 MT 226/1
Do. 23.11.2017 08:30 - 11:45 MT 226/1
Do. 30.11.2017 08:30 - 11:45 MT 226/1
Do. 07.12.2017 08:30 - 11:45 MT 226/1
Do. 14.12.2017 08:30 - 11:45 MT 226/1
Do. 11.01.2018 08:30 - 11:45 MT 226/1
Do. 18.01.2018 08:30 - 11:45 MT 226/1
Do. 25.01.2018 08:30 - 11:45 MT 226/1
 
326.021 (2017W) Mathematical logic 1
Further information
Register UE 1,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 12:00 - 12:45 MT 226/1
Do. 19.10.2017 12:00 - 12:45 MT 226/1
Do. 09.11.2017 12:00 - 12:45 MT 226/1
Do. 16.11.2017 12:00 - 12:45 MT 226/1
Do. 23.11.2017 12:00 - 12:45 MT 226/1
Do. 30.11.2017 12:00 - 12:45 MT 226/1
Do. 07.12.2017 12:00 - 12:45 MT 226/1
Do. 14.12.2017 12:00 - 12:45 MT 226/1
Do. 11.01.2018 12:00 - 12:45 MT 226/1
Do. 18.01.2018 12:00 - 12:45 MT 226/1
Do. 25.01.2018 12:00 - 12:45 MT 226/1
 
326.049 (2017W) Programming project symbolic computation
Computeralgebra, Logic and Softwaredesign I
Further information
Register KV 2,0 Ralf Hemmecke Weekly
 
No dates found.
 
326.061 (2017W) 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. 09.10.2017 15:00 - 16:30 HA 105
Mo. 16.10.2017 15:00 - 16:30 HA 105
Mo. 23.10.2017 09:00 - 10:30 U1-14
Mo. 30.10.2017 09:00 - 10:30 U1-14
Mo. 06.11.2017 09:00 - 10:30 U1-14
Mo. 13.11.2017 09:00 - 10:30 U1-14
Mo. 20.11.2017 09:00 - 10:30 U1-14
Mo. 27.11.2017 09:00 - 10:30 U1-14
Mo. 04.12.2017 09:00 - 10:30 U1-14
Mo. 11.12.2017 09:00 - 10:30 U1-14
Mo. 08.01.2018 09:00 - 10:30 U1-14
Mo. 15.01.2018 09:00 - 10:30 U1-14
Mo. 22.01.2018 09:00 - 10:30 U1-14
Mo. 29.01.2018 09:00 - 10:30 U1-14
 
326.063 (2017W) Seminar logic and software design
Project seminar Formal Methods I
Further information
Register SE 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mi. 04.10.2017 12:30 - 14:00 HA 105
Mi. 11.10.2017 12:30 - 14:00 HA 105
Mi. 18.10.2017 12:30 - 14:00 HA 105
Mi. 25.10.2017 12:30 - 14:00 HA 105
Mi. 08.11.2017 12:30 - 14:00 HA 105
Mi. 15.11.2017 12:30 - 14:00 HA 105
Mi. 22.11.2017 12:30 - 14:00 HA 105
Mi. 29.11.2017 12:30 - 14:00 HA 105
Mo. 04.12.2017 16:15 - 18:00 S3 057
Mi. 06.12.2017 12:30 - 14:00 HA 105
Do. 07.12.2017 16:15 - 18:00 S3 048
Mi. 13.12.2017 12:30 - 14:00 HA 105
Mi. 10.01.2018 12:30 - 14:00 HA 105
Mi. 17.01.2018 12:30 - 14:00 HA 105
Mi. 24.01.2018 12:30 - 14:00 HA 105
Mo. 29.01.2018 16:15 - 18:00 S2 054
Mi. 31.01.2018 12:30 - 14:00 HA 105
Do. 01.02.2018 16:15 - 18:00 S3 047
 
326.077 (2017W) Seminar logic and software design
Natural Language Processing and Automated Reasoning in Python and Mathematica
Register SE 2,0 Bruno Buchberger Weekly
 
No dates found.
 
326.006 (2017W) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
 
No dates found.
 
326.060 (2017W) Seminar symbolic computation
History and Philosophy of Mathematics
Register SE 2,0 Josef Schicho Weekly
 
No dates found.
 
326.AK1 (2017W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi. 04.10.2017 14:00 - 15:30 HA 105
Mi. 11.10.2017 14:00 - 15:30 HA 105
Mi. 18.10.2017 14:00 - 15:30 HA 105
Mi. 25.10.2017 14:00 - 15:30 HA 105
Mi. 08.11.2017 14:00 - 15:30 HA 105
Mi. 15.11.2017 14:00 - 15:30 HA 105
Mi. 22.11.2017 14:00 - 15:30 HA 105
Mi. 29.11.2017 14:00 - 15:30 HA 105
Mi. 06.12.2017 14:00 - 15:30 HA 105
Mi. 13.12.2017 14:00 - 15:30 HA 105
Mi. 10.01.2018 14:00 - 15:30 HA 105
Mi. 17.01.2018 14:00 - 15:30 HA 105
Mi. 24.01.2018 14:00 - 15:30 HA 105
Mi. 31.01.2018 14:00 - 15:30 HA 105
 
326.CA1 (2017W) Seminar symbolic computation
Computer-algebra I
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 10:15 - 11:45 HA 105
Do. 12.10.2017 10:15 - 11:45 HA 105
Do. 19.10.2017 10:15 - 11:45 HA 105
Do. 09.11.2017 10:15 - 11:45 HA 105
Do. 16.11.2017 10:15 - 11:45 HA 105
Do. 23.11.2017 10:15 - 11:45 HA 105
Do. 30.11.2017 10:15 - 11:45 HA 105
Do. 07.12.2017 10:15 - 11:45 HA 105
Do. 14.12.2017 10:15 - 11:45 HA 105
Do. 11.01.2018 10:15 - 11:45 HA 105
Do. 18.01.2018 10:15 - 11:45 HA 105
Do. 25.01.2018 10:15 - 11:45 HA 105
 
326.087 (2017W) Special Topics
Chess Programming
Further information
Register VL 2,0 Heinrich Rolletschek

Stephan Winkler
Fortnightly
 
Date Daytime Room Topic
Mo. 02.10.2017 16:15 - 19:45 HS 14
Mo. 16.10.2017 16:15 - 19:45 HS 14
Mo. 30.10.2017 16:15 - 19:45 HS 14
Mo. 13.11.2017 16:15 - 19:45 HS 14
Mo. 27.11.2017 16:15 - 19:45 HS 14
Mo. 11.12.2017 16:15 - 19:45 HS 14
Mo. 08.01.2018 16:15 - 19:45 HS 14
Mo. 22.01.2018 16:15 - 19:45 HS 14
 
326.090 (2017W) Special Topics
Mathemtical Logic I
Further information
Register KV 3,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Do. 05.10.2017 08:30 - 11:45 MT 226/1
Do. 19.10.2017 08:30 - 11:45 MT 226/1
Do. 09.11.2017 08:30 - 11:45 MT 226/1
Do. 16.11.2017 08:30 - 11:45 MT 226/1
Do. 23.11.2017 08:30 - 11:45 MT 226/1
Do. 30.11.2017 08:30 - 11:45 MT 226/1
Do. 07.12.2017 08:30 - 11:45 MT 226/1
Do. 14.12.2017 08:30 - 11:45 MT 226/1
Do. 11.01.2018 08:30 - 11:45 MT 226/1
Do. 18.01.2018 08:30 - 11:45 MT 226/1
Do. 25.01.2018 08:30 - 11:45 MT 226/1
 
326.078 (2017W) Special topics logic and software design
Chess Programming
Further information
Register VL 2,0 Heinrich Rolletschek

Stephan Winkler
Fortnightly
 
Date Daytime Room Topic
Mo. 02.10.2017 16:15 - 19:45 HS 14
Mo. 16.10.2017 16:15 - 19:45 HS 14
Mo. 30.10.2017 16:15 - 19:45 HS 14
Mo. 13.11.2017 16:15 - 19:45 HS 14
Mo. 27.11.2017 16:15 - 19:45 HS 14
Mo. 11.12.2017 16:15 - 19:45 HS 14
Mo. 08.01.2018 16:15 - 19:45 HS 14
Mo. 22.01.2018 16:15 - 19:45 HS 14
 
326.057 (2017W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 10:15 - 11:45 K 112A
Fr. 20.10.2017 10:15 - 11:45 K 112A
Di. 24.10.2017 10:15 - 11:45 T 406/1
Fr. 27.10.2017 10:15 - 11:45 K 112A
Fr. 03.11.2017 10:15 - 11:45 K 112A
Fr. 10.11.2017 10:15 - 11:45 K 112A
Fr. 17.11.2017 10:15 - 11:45 K 112A
Fr. 24.11.2017 10:15 - 11:45 K 112A
Fr. 01.12.2017 10:15 - 11:45 K 112A
Fr. 15.12.2017 10:15 - 11:45 K 112A
Fr. 12.01.2018 10:15 - 11:45 K 112A
Fr. 19.01.2018 10:15 - 11:45 K 112A
Fr. 26.01.2018 10:15 - 11:45 K 112A
 
326.066 (2017W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
Register VO 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Fr. 06.10.2017 08:30 - 10:00 K 112A
Fr. 20.10.2017 08:30 - 10:00 K 112A
Di. 24.10.2017 08:30 - 10:00 T 406/1
Fr. 27.10.2017 08:30 - 10:00 K 112A
Fr. 03.11.2017 08:30 - 10:00 K 112A
Fr. 10.11.2017 08:30 - 10:00 K 112A
Fr. 17.11.2017 08:30 - 10:00 K 112A
Fr. 24.11.2017 08:30 - 10:00 K 112A
Fr. 01.12.2017 08:30 - 10:00 K 112A
Fr. 15.12.2017 08:30 - 10:00 K 112A
Fr. 12.01.2018 08:30 - 10:00 K 112A
Fr. 19.01.2018 08:30 - 10:00 K 112A
Fr. 26.01.2018 08:30 - 10:00 K 112A
 
326.999 (2017W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,0 Wolfgang Windsteiger Block
 
Date Daytime Room Topic
Mo. 18.09.2017 08:30 - 15:15 HS 9
Di. 19.09.2017 08:30 - 15:15 HS 9
Mi. 20.09.2017 08:30 - 15:15 HS 9
Do. 21.09.2017 08:30 - 15:15 HS 9
Fr. 22.09.2017 08:30 - 11:45 HS 9
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail