RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2022 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.030 (2022W) Algebraic combinatorics
Further information
Register VL 2,0 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 12:00 - 13:30 HS 14
Di. 18.10.2022 12:00 - 13:30 HS 14
Di. 25.10.2022 12:00 - 13:30 HS 14
Di. 08.11.2022 12:00 - 13:30 HS 14
Di. 15.11.2022 12:00 - 13:30 HS 14
Di. 22.11.2022 12:00 - 13:30 HS 14
Di. 29.11.2022 12:00 - 13:30 HS 14
Di. 06.12.2022 12:00 - 13:30 HS 14
Di. 13.12.2022 12:00 - 13:30 HS 14
Di. 10.01.2023 12:00 - 13:30 HS 14
Di. 17.01.2023 12:00 - 13:30 HS 14
Di. 24.01.2023 12:00 - 13:30 HS 14
Di. 31.01.2023 12:00 - 13:30 HS 14
 
326.103 (2022W) Algorithms and data structures
Further information
Register UE 1,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 13:00 - 13:45
Do. 13.10.2022 13:45 - 14:30 K 153C
Do. 24.11.2022 13:00 - 13:45
Do. 24.11.2022 13:45 - 14:30 K 034D
Do. 01.12.2022 13:00 - 13:45
Do. 01.12.2022 13:45 - 14:30 K 034D
Di. 13.12.2022 13:45 - 14:30 MT 226/1
Do. 15.12.2022 13:00 - 13:45
Do. 15.12.2022 13:45 - 14:30 K 034D
Do. 12.01.2023 13:00 - 13:45
Do. 12.01.2023 13:45 - 14:30 K 034D
Do. 19.01.2023 13:00 - 13:45
Do. 19.01.2023 13:45 - 14:30 K 034D
Do. 26.01.2023 13:00 - 13:45
Do. 26.01.2023 13:45 - 14:30 K 034D
Do. 02.02.2023 09:30 - 12:30 T 406/1
 
326.102 (2022W) Algorithms and data structures
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 06.10.2022 08:30 - 10:00 HF 9901
Do. 13.10.2022 08:30 - 10:00 HS 14
Do. 20.10.2022 08:30 - 10:00 HS 17
Do. 27.10.2022 08:30 - 10:00 HS 17
Do. 03.11.2022 08:30 - 10:00 HS 17
Do. 10.11.2022 08:30 - 10:00 HS 17
Mi. 16.11.2022 12:00 - 13:30 S3 047
Do. 17.11.2022 08:30 - 10:00 K 269D
Do. 24.11.2022 08:30 - 10:00 HS 17
Do. 01.12.2022 08:30 - 10:00 HS 17
Do. 15.12.2022 08:30 - 10:00 HS 16
Do. 12.01.2023 08:30 - 10:00 HS 10
Do. 19.01.2023 08:30 - 10:00 HS 17
Do. 26.01.2023 08:30 - 10:00 HS 17
Fr. 03.02.2023 12:00 - 15:00 HS 8
 
326.027 (2022W) Analysis
Further information
Register UE 2,0 Philipp Nuspl Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 15:30 - 17:00 HS 11
Do. 20.10.2022 15:30 - 17:00 HS 11
Do. 27.10.2022 15:30 - 17:00 HS 11
Do. 03.11.2022 15:30 - 17:00 HS 11
Do. 10.11.2022 15:30 - 17:00 HS 11
Do. 17.11.2022 15:30 - 17:00 HS 11
Do. 24.11.2022 15:30 - 17:00 HS 11
Do. 01.12.2022 15:30 - 17:00 HS 11
Do. 15.12.2022 15:30 - 17:00 HS 11
Do. 12.01.2023 15:30 - 17:00 HS 11
Do. 19.01.2023 15:30 - 17:00 HS 11
Do. 26.01.2023 15:30 - 17:00 HS 11
 
326.022 (2022W) Analysis
Further information
Register VO 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Fr. 07.10.2022 08:30 - 10:00 HS 7
Fr. 14.10.2022 08:30 - 10:00 HS 7
Fr. 21.10.2022 08:30 - 10:00 HS 7
Fr. 28.10.2022 08:30 - 10:00 HS 7
Fr. 04.11.2022 08:30 - 10:00 HS 7
Fr. 11.11.2022 08:30 - 10:00 HS 7
Fr. 18.11.2022 08:30 - 10:00 HS 7
Fr. 25.11.2022 08:30 - 10:00 HS 7
Fr. 02.12.2022 08:30 - 10:00 HS 7
Fr. 09.12.2022 08:30 - 10:00 HS 7
Fr. 16.12.2022 08:30 - 10:00 HS 7
Fr. 13.01.2023 08:30 - 10:00 HS 7
Fr. 20.01.2023 08:30 - 10:00 HS 7
Fr. 27.01.2023 08:30 - 10:00 HS 7
Di. 07.02.2023 09:30 - 12:00 HS 10
Mo. 27.02.2023 09:45 - 12:00 HS 2
 
326.056 (2022W) Analysis
Further information
Register UE 2,0 Nicolas Smoot Weekly
 
Date Daytime Room Topic
Do. 06.10.2022 15:30 - 17:00 HS 12
Do. 13.10.2022 15:30 - 17:00 HS 12
Do. 20.10.2022 15:30 - 17:00 HS 12
Do. 27.10.2022 15:30 - 17:00 HS 12
Do. 03.11.2022 15:30 - 17:00 HS 12
Do. 10.11.2022 15:30 - 17:00 HS 12
Do. 17.11.2022 15:30 - 17:00 HS 12
Do. 24.11.2022 15:30 - 17:00 HS 12
Do. 01.12.2022 15:30 - 17:00 HS 12
Do. 15.12.2022 15:30 - 17:00 HS 12
Do. 12.01.2023 15:30 - 17:00 HS 12
Do. 19.01.2023 15:30 - 17:00 HS 12
Do. 26.01.2023 15:30 - 17:00 HS 12
 
326.029 (2022W) Analysis
Further information
Register UE 2,0 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 15:30 - 17:00 HS 14
Do. 20.10.2022 15:30 - 17:00 HS 14
Do. 27.10.2022 15:30 - 17:00
Do. 03.11.2022 15:30 - 17:00 HS 14
Do. 10.11.2022 15:30 - 17:00 HS 14
Do. 17.11.2022 15:30 - 17:00 HS 14
Do. 24.11.2022 15:30 - 17:00 HS 14
Do. 01.12.2022 15:30 - 17:00 HS 14
Do. 15.12.2022 15:30 - 17:00 HS 14
Do. 12.01.2023 15:30 - 17:00 HS 14
Do. 19.01.2023 15:30 - 17:00 HS 14
Do. 26.01.2023 15:30 - 17:00 HS 14
Fr. 10.02.2023 13:00 - 14:30 S2 059
 
326.055 (2022W) Analysis
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 15:30 - 17:00 BA 9908
Do. 20.10.2022 15:30 - 17:00 BA 9908
Do. 27.10.2022 15:30 - 17:00 BA 9908
Do. 03.11.2022 15:30 - 17:00 BA 9908
Do. 10.11.2022 15:30 - 17:00 BA 9908
Do. 17.11.2022 15:30 - 17:00 BA 9908
Do. 24.11.2022 15:30 - 17:00 BA 9908
Do. 01.12.2022 15:30 - 17:00 BA 9908
Do. 15.12.2022 15:30 - 17:00 BA 9908
Do. 12.01.2023 15:30 - 17:00 BA 9908
Do. 19.01.2023 15:30 - 17:00 BA 9908
Do. 26.01.2023 15:30 - 17:00 BA 9908
 
326.094 (2022W) Automated Reasoning
Further information
Register UE 1,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 18.10.2022 16:15 - 17:00 BA 9907
Di. 08.11.2022 16:15 - 17:00 BA 9907
Di. 15.11.2022 16:15 - 17:00 BA 9907
Di. 22.11.2022 16:15 - 17:00 BA 9907
Di. 22.11.2022 17:00 - 17:45 BA 9910 Extra seminar Automated Reasoning
Di. 22.11.2022 17:15 - 18:45 BA 9910
Di. 29.11.2022 16:15 - 17:00 BA 9907
Di. 06.12.2022 16:15 - 17:00 BA 9907
Di. 13.12.2022 16:15 - 17:00 BA 9907
Di. 10.01.2023 16:15 - 17:00 BA 9907
Di. 17.01.2023 16:15 - 17:00 BA 9907
Di. 24.01.2023 16:15 - 17:00 BA 9907
Di. 31.01.2023 16:15 - 17:00 BA 9907
 
326.0AR (2022W) Automated Reasoning
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 10:15 - 11:45 KEP 3
Di. 18.10.2022 10:15 - 11:45 K 033C
Di. 08.11.2022 10:15 - 11:45 MT 327
Di. 15.11.2022 10:15 - 11:45 K 033C
Di. 22.11.2022 10:15 - 11:45 K 033C
Di. 29.11.2022 10:15 - 11:45 K 033C
Di. 06.12.2022 10:15 - 11:45 S5 101
Di. 13.12.2022 10:15 - 11:45 K 033C
Di. 10.01.2023 10:15 - 11:45 K 033C
Di. 17.01.2023 10:15 - 11:45 K 033C
Di. 24.01.2023 10:15 - 11:45 K 033C
Di. 31.01.2023 10:15 - 11:45 HS 6
 
326.012 (2022W) Bachelor Seminar with Bachelor Thesis Register SE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
 
No dates found.
 
326.0UK (2022W) Commutative algebra and algebraic geometry
Further information
Register UE 1,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 14:30 - 15:15 T 406/1
Do. 20.10.2022 14:30 - 15:15 T 406/1
Do. 27.10.2022 14:30 - 15:15 T 406/1
Do. 03.11.2022 14:30 - 15:15 T 406/1
Do. 17.11.2022 14:30 - 15:15 T 406/1
Do. 24.11.2022 14:30 - 15:15 T 406/1
Do. 01.12.2022 14:30 - 15:15 T 406/1
Do. 15.12.2022 14:30 - 15:15 T 406/1
Do. 12.01.2023 14:30 - 15:15 T 406/1
Do. 19.01.2023 14:30 - 15:15 T 406/1
Do. 26.01.2023 14:30 - 15:15 T 406/1
 
326.0KA (2022W) Commutative algebra and algebraic geometry
Further information
Register VL 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 10:15 - 11:45 S2 054
Di. 18.10.2022 10:15 - 11:45 S2 054
Di. 25.10.2022 10:15 - 11:45 S2 054
Di. 08.11.2022 10:15 - 11:45 S2 054
Di. 15.11.2022 10:15 - 11:45 S2 054
Di. 22.11.2022 10:15 - 11:45 S2 054
Di. 29.11.2022 10:15 - 11:45 S2 054
Di. 06.12.2022 10:15 - 11:45 S2 054
Di. 13.12.2022 10:15 - 11:45 S2 054
Di. 10.01.2023 10:15 - 11:45 S2 054
Di. 17.01.2023 10:15 - 11:45 S2 054
Di. 24.01.2023 10:15 - 11:45 S2 054
Di. 31.01.2023 10:15 - 11:45 S2 054
 
326.011 (2022W) Computational Logic
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 10.10.2022 17:15 - 18:00 S2 053
Mo. 17.10.2022 17:15 - 18:00 S2 053
Mo. 24.10.2022 17:15 - 18:00 S2 053
Do. 03.11.2022 17:15 - 18:00 S2 053
Mo. 07.11.2022 17:15 - 18:00 S2 053
Mo. 14.11.2022 17:15 - 18:00 S2 053
Mo. 21.11.2022 17:15 - 18:00 S2 053
Mo. 28.11.2022 17:15 - 18:00 S2 053
Mo. 05.12.2022 17:15 - 18:00 S2 053
Mo. 12.12.2022 17:15 - 18:00 S2 053
Mo. 09.01.2023 17:15 - 18:00 S2 053
Mo. 16.01.2023 17:15 - 18:00 S2 053
Mo. 23.01.2023 17:15 - 18:00 S2 053
Mo. 30.01.2023 17:15 - 18:00 S2 053
 
326.010 (2022W) Computational Logic
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 10.10.2022 15:30 - 17:00 S2 053
Mo. 17.10.2022 15:30 - 17:00 S2 053
Mo. 24.10.2022 15:30 - 17:00 S2 053
Mo. 31.10.2022 15:30 - 17:00 S2 053
Mo. 07.11.2022 15:30 - 17:00 S2 053
Mo. 14.11.2022 15:30 - 17:00 S2 053
Mo. 21.11.2022 15:30 - 17:00 S2 053
Mo. 28.11.2022 15:30 - 17:00 S2 053
Mo. 05.12.2022 15:30 - 17:00 S2 053
Mo. 12.12.2022 15:30 - 17:00 S2 053
Mo. 09.01.2023 15:30 - 17:00 S2 053
Mo. 16.01.2023 15:30 - 17:00 S2 053
Mo. 23.01.2023 15:30 - 17:00 S2 053
Mo. 30.01.2023 15:30 - 17:00 S2 053
 
326.224 (2022W) Computational Logics for AI Register UE 1,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Mo. 17.10.2022 10:15 - 11:00 HS 5
Mo. 24.10.2022 10:15 - 11:00 BA 9911
Mo. 31.10.2022 10:15 - 11:00 HS 1
Mo. 07.11.2022 10:15 - 11:00 BA 9911
Mo. 14.11.2022 10:15 - 11:00 KEP 1
Mo. 21.11.2022 10:15 - 11:00 HS 16
Mo. 28.11.2022 10:15 - 11:00 HS 9
Mo. 05.12.2022 10:15 - 11:00 HS 9
Mo. 12.12.2022 10:15 - 11:00 HS 9
Mo. 09.01.2023 10:15 - 11:00 HS 9
Mo. 16.01.2023 10:15 - 11:00 HS 9
Mo. 23.01.2023 10:15 - 11:00 HS 9
Mo. 30.01.2023 10:15 - 11:00 HS 9
 
326.223 (2022W) Computational Logics for AI
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mo. 10.10.2022 08:30 - 10:00 HS 4
Mo. 17.10.2022 08:30 - 10:00 HS 4
Mo. 24.10.2022 08:30 - 10:00 HS 4
Mo. 31.10.2022 08:30 - 10:00 HS 4
Mo. 07.11.2022 08:30 - 10:00 HS 4
Mo. 14.11.2022 08:30 - 10:00 HS 4
Mo. 21.11.2022 08:30 - 10:00 HS 4
Mo. 28.11.2022 08:30 - 10:00 HS 9
Mo. 05.12.2022 08:30 - 10:00 HS 9
Mo. 12.12.2022 08:30 - 10:00 HS 9
Mo. 09.01.2023 08:30 - 10:00 HS 9
Mo. 16.01.2023 08:30 - 10:00 HS 9
Mo. 23.01.2023 08:30 - 10:00 HS 9
Mo. 30.01.2023 08:30 - 10:00 HS 9
 
326.031 (2022W) Computer Algebra
Further information
Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 12:00 - 12:45 HS 12
Do. 20.10.2022 12:00 - 12:45 HS 12
Do. 27.10.2022 12:00 - 12:45 HS 12
Do. 03.11.2022 12:00 - 12:45 HS 12
Do. 10.11.2022 12:00 - 12:45 HS 12
Do. 17.11.2022 12:00 - 12:45 HS 12
Do. 24.11.2022 12:00 - 12:45 HS 12
Do. 01.12.2022 12:00 - 12:45 HS 12
Do. 15.12.2022 12:00 - 12:45 HS 12
Do. 12.01.2023 12:00 - 12:45 HS 12
Do. 19.01.2023 12:00 - 12:45 HS 12
Do. 26.01.2023 12:00 - 12:45 HS 12
 
326.105 (2022W) Computer Algebra
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 06.10.2022 10:15 - 11:45 HS 12
Do. 13.10.2022 10:15 - 11:45 HS 12
Do. 20.10.2022 10:15 - 11:45 HS 12
Do. 27.10.2022 10:15 - 11:45 HS 12
Do. 03.11.2022 10:15 - 11:45 HS 12
Do. 10.11.2022 10:15 - 11:45 HS 12
Do. 17.11.2022 10:15 - 11:45 HS 12
Do. 24.11.2022 10:15 - 11:45 HS 12
Do. 01.12.2022 10:15 - 11:45 HS 12
Do. 15.12.2022 10:15 - 11:45 HS 12
Do. 12.01.2023 10:15 - 11:45 HS 12
Do. 19.01.2023 10:15 - 11:45 HS 12
Do. 26.01.2023 10:15 - 11:45 HS 12
 
326.006 (2022W) Formal Modelling
Further information
Register VL 2,0 Wolfgang Schreiner

Carsten Schneider
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 15:30 - 17:00 S2 Z74
Mi. 12.10.2022 15:30 - 17:00 S2 Z74
Mi. 19.10.2022 15:30 - 17:00 S2 Z74
Mi. 16.11.2022 15:30 - 17:00 S2 Z74
Mi. 23.11.2022 15:30 - 17:00 S2 Z74
Mi. 30.11.2022 15:30 - 17:00 S2 Z74
Mi. 07.12.2022 15:30 - 17:00 S2 Z74
Mi. 14.12.2022 15:30 - 17:00 S2 Z74
Mi. 18.01.2023 15:30 - 17:00 S2 Z74
Mi. 25.01.2023 15:30 - 17:00 S2 Z74
 
326.007 (2022W) Formal Modelling
Further information
Register PS 2,0 Carsten Schneider

Wolfgang Schreiner
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 17:15 - 18:45 S2 Z74
Mi. 12.10.2022 17:15 - 18:45 S2 Z74
Mi. 19.10.2022 17:15 - 18:45 S2 Z74
Mi. 09.11.2022 17:15 - 18:45 S2 Z74
Mi. 16.11.2022 17:15 - 18:45 S2 Z74
Mi. 23.11.2022 17:15 - 18:45 S2 Z74
Mi. 30.11.2022 17:15 - 18:45 S2 Z74
Mi. 07.12.2022 17:15 - 18:45 S2 Z74
Mi. 14.12.2022 17:15 - 18:45 S2 Z74
Mi. 11.01.2023 17:15 - 18:45 S2 Z74
Mi. 18.01.2023 17:15 - 18:45 S2 Z74
Mi. 25.01.2023 17:15 - 18:45 S2 Z74
 
326.013 (2022W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 07.10.2022 08:30 - 11:00 S2 053
Fr. 14.10.2022 08:30 - 11:00 S2 053
Fr. 21.10.2022 08:30 - 11:00 S2 053
Fr. 28.10.2022 08:30 - 11:00 S2 053
Fr. 04.11.2022 08:30 - 11:00 S2 053
Fr. 11.11.2022 08:30 - 11:00 S2 053
Fr. 18.11.2022 08:30 - 11:00 S2 053
Fr. 25.11.2022 08:30 - 11:00 S2 053
Fr. 02.12.2022 08:30 - 11:00 S2 053
Fr. 09.12.2022 08:30 - 11:00 S2 053
Fr. 16.12.2022 08:30 - 11:00 S2 053
Fr. 13.01.2023 08:30 - 11:00 S2 053
Fr. 20.01.2023 08:30 - 11:00 S2 053
Fr. 27.01.2023 08:30 - 11:00 S2 053
Fr. 03.02.2023 08:30 - 10:00 HS 3
 
326.106 (2022W) Ordinary differential equations and dynamical systems
Further information
Register VL 3,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mo. 10.10.2022 08:30 - 10:00 BA 9910
Di. 11.10.2022 08:30 - 09:15 HS 14
Mo. 17.10.2022 08:30 - 10:00 BA 9910
Di. 18.10.2022 08:30 - 09:15 HS 14
Mo. 24.10.2022 08:30 - 10:00 BA 9910
Di. 25.10.2022 08:30 - 09:15 HS 14
Mo. 31.10.2022 08:30 - 10:00 BA 9910
Mo. 07.11.2022 08:30 - 10:00 BA 9910
Di. 08.11.2022 08:30 - 09:15 HS 14
Mo. 14.11.2022 08:30 - 10:00 BA 9910
Di. 15.11.2022 08:30 - 09:15 HS 14
Mo. 21.11.2022 08:30 - 10:00 BA 9910
Di. 22.11.2022 08:30 - 09:15 HS 14
Mo. 28.11.2022 08:30 - 10:00 BA 9910
Di. 29.11.2022 08:30 - 09:15 HS 14
Mo. 05.12.2022 08:30 - 10:00 BA 9910
Di. 06.12.2022 08:30 - 09:15 HS 14
Mo. 12.12.2022 08:30 - 10:00 BA 9910
Di. 13.12.2022 08:30 - 09:15 HS 14
Mo. 09.01.2023 08:30 - 10:00 BA 9910
Di. 10.01.2023 08:30 - 09:15 HS 14
Mo. 16.01.2023 08:30 - 10:00 BA 9910
Di. 17.01.2023 08:30 - 09:15 HS 14
Mo. 23.01.2023 08:30 - 10:00 BA 9910
Di. 24.01.2023 08:30 - 09:15 HS 14
Mo. 30.01.2023 08:30 - 10:00 BA 9910
Di. 31.01.2023 08:30 - 09:15 HS 14
 
326.107 (2022W) Ordinary differential equations and dynamical systems Register UE 1,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 09:15 - 10:00 HS 14
Di. 18.10.2022 09:15 - 10:00 HS 14
Di. 25.10.2022 09:15 - 10:00 HS 14
Di. 08.11.2022 09:15 - 10:00 HS 14
Di. 15.11.2022 09:15 - 10:00 HS 14
Di. 22.11.2022 09:15 - 10:00 HS 14
Di. 29.11.2022 09:15 - 10:00 HS 14
Di. 06.12.2022 09:15 - 10:00 HS 14
Di. 13.12.2022 09:15 - 10:00 HS 14
Di. 10.01.2023 09:15 - 10:00 HS 14
Di. 17.01.2023 09:15 - 10:00 HS 14
Di. 24.01.2023 09:15 - 10:00 HS 14
Di. 31.01.2023 09:15 - 10:00 HS 14
 
326.048 (2022W) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 12:00 - 13:30 S2 053
Di. 18.10.2022 12:00 - 13:30 S2 053
Di. 08.11.2022 12:00 - 13:30 S2 053
Di. 15.11.2022 12:00 - 13:30 S2 053
Di. 22.11.2022 12:00 - 13:30 S2 053
Di. 06.12.2022 12:00 - 13:30 S2 053
Di. 13.12.2022 12:00 - 13:30 S2 053
Di. 10.01.2023 12:00 - 13:30 S2 053
Di. 24.01.2023 12:00 - 13:30 S2 053 Klausur
 
326.0XX (2022W) Master's Thesis Seminar I Register SE 2,0 Carsten Schneider

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Peter Paule
Josef Schicho
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
 
No dates found.
 
326.019 (2022W) Mathematical logic 1
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 14:30 - 16:15 S2 219
Di. 18.10.2022 14:30 - 16:15 S2 219
Di. 25.10.2022 14:30 - 16:15 S2 219
Di. 08.11.2022 14:30 - 16:15 S2 219
Di. 15.11.2022 14:30 - 16:15 S2 219
Di. 22.11.2022 14:30 - 16:15 S2 219
Di. 29.11.2022 14:30 - 16:15 S2 219
Di. 06.12.2022 14:30 - 16:15 S2 219
Di. 13.12.2022 14:30 - 16:15 S2 219
Di. 10.01.2023 14:30 - 16:15 S2 219
Di. 17.01.2023 14:30 - 16:15 S2 219
Di. 24.01.2023 14:30 - 16:15 S2 219
Di. 31.01.2023 14:30 - 16:15 S2 219
 
326.021 (2022W) Mathematical logic 1
Further information
Register UE 1,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 18.10.2022 13:45 - 14:30 S2 219
Di. 08.11.2022 13:45 - 14:30 S2 219
Di. 15.11.2022 13:45 - 14:30 S2 219
Di. 22.11.2022 13:45 - 14:30 S2 219
Mo. 28.11.2022 16:15 - 17:00 S2 059
Di. 29.11.2022 13:45 - 14:30 S2 219
Di. 06.12.2022 13:45 - 14:30 S2 219
Di. 13.12.2022 13:45 - 14:30 S2 219
Di. 10.01.2023 13:45 - 14:30 S2 219
Di. 17.01.2023 13:45 - 14:30 S2 219
Di. 24.01.2023 13:45 - 14:30 S2 219
Di. 31.01.2023 13:45 - 14:30 S2 219
 
326.300 (2022W) Mathematics for Social and Economic Science Register KS 2,0 Philipp Langgruber

Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Do. 06.10.2022 17:15 - 18:45 HS 7 Rechenwerkzeuge für den Kurs
Do. 13.10.2022 17:15 - 18:45 HS 7
Do. 20.10.2022 17:15 - 18:45 HS 7
Do. 27.10.2022 17:15 - 18:45 HS 7
Do. 03.11.2022 17:15 - 18:45 HS 7
Do. 10.11.2022 17:15 - 18:45 HS 7 Rechnwerkzeuge Klausurteil A
Do. 17.11.2022 19:45 - 21:00 HS 10
Do. 17.11.2022 19:45 - 21:00 HS 1 Klausurteil A1
Do. 17.11.2022 19:45 - 21:00 HS 16
Do. 17.11.2022 19:45 - 21:00 HS 7
Do. 17.11.2022 19:45 - 21:00 HS 2
Do. 24.11.2022 17:15 - 18:45 HS 7
Do. 01.12.2022 17:15 - 18:45 HS 7
Do. 15.12.2022 17:15 - 18:45 HS 7
Do. 12.01.2023 17:15 - 18:45 HS 7 Rechnwerkzeuge Klausurteil B
Do. 19.01.2023 19:00 - 21:15 HS 10
Do. 19.01.2023 19:00 - 21:15 HS 16 Klausurteil B1
Do. 19.01.2023 19:00 - 21:15 HS 7
Do. 19.01.2023 19:00 - 21:15 HS 2
Do. 19.01.2023 19:00 - 21:15 HS 9
Do. 19.01.2023 19:00 - 21:15 HS 15
Do. 02.02.2023 19:00 - 21:15 HS 1 Klausurteil A2+B2
Do. 02.02.2023 19:00 - 21:15 HS 16
Do. 02.02.2023 19:00 - 21:15 HS 7
Do. 02.02.2023 19:00 - 21:15 HS 2
Do. 02.02.2023 19:00 - 21:15 HS 15
 
326.700 (2022W) Mathematics and Logic Register KV 4,0 Wolfgang Windsteiger

Nikolaj Popov
Weekly
 
Date Daytime Room Topic
Fr. 07.10.2022 13:45 - 15:15 HS 7 Modul 1
Di. 11.10.2022 16:15 - 17:00 HS 15
Di. 11.10.2022 18:00 - 18:45 HS 17 Kurztest Modul 1
Di. 11.10.2022 18:00 - 18:45 HS 19 Kurztest Modul 1
Fr. 14.10.2022 13:45 - 15:15 HS 7 Modul 2
Di. 18.10.2022 16:15 - 17:00 HS 15
Di. 18.10.2022 18:00 - 18:45 HS 17 Kurztest Modul 2
Di. 18.10.2022 18:00 - 18:45 HS 19 Kurztest Modul 2
Fr. 21.10.2022 13:45 - 15:15 HS 7 Modul 3
Di. 25.10.2022 16:15 - 17:00 HS 15
Fr. 04.11.2022 13:45 - 15:15 HS 7 Modul 4
Di. 08.11.2022 16:15 - 17:00 HS 15
Di. 08.11.2022 18:00 - 18:45 HS 17 Kurztest Modul 3&4
Di. 08.11.2022 18:00 - 18:45 HS 19 Kurztest Modul 3&4
Fr. 11.11.2022 13:45 - 15:15 HS 7 Modul 5
Di. 15.11.2022 16:15 - 17:00 HS 15
Di. 15.11.2022 18:00 - 18:45 HS 17 Kurztest Modul 5
Di. 15.11.2022 18:00 - 18:45 HS 19 Kurztest Modul 5
Fr. 18.11.2022 13:45 - 15:15 HS 7 Modul 6
Di. 22.11.2022 16:15 - 17:00 HS 15
Di. 22.11.2022 18:00 - 18:45 HS 17 Kurztest Modul 6
Di. 22.11.2022 18:00 - 18:45 HS 19 Kurztest Modul 6
Fr. 25.11.2022 13:45 - 15:15 HS 7 Modul 7
Di. 29.11.2022 16:15 - 17:00 HS 15
Di. 29.11.2022 18:00 - 18:45 HS 17 Kurztest Modul 7
Di. 29.11.2022 18:00 - 18:45 HS 19 Kurztest Modul 7
Fr. 02.12.2022 13:45 - 15:15 HS 7 Modul 8
Di. 06.12.2022 16:15 - 17:00 HS 15
Di. 06.12.2022 18:00 - 18:45 HS 17 Kurztest Modul 8
Di. 06.12.2022 18:00 - 18:45 HS 19 Kurztest Modul 8
Fr. 09.12.2022 13:45 - 15:15 HS 7 Modul 9
Di. 13.12.2022 16:15 - 17:00 S3 055
Di. 13.12.2022 18:00 - 18:45 HS 17 Kurztest Modul 9
Di. 13.12.2022 18:00 - 18:45 HS 19 Kurztest Modul 9
Fr. 16.12.2022 13:45 - 15:15 HS 8 Modul 10
Di. 10.01.2023 16:15 - 17:00 S3 055
Fr. 13.01.2023 13:45 - 15:15 HS 7 Modul 11
Di. 17.01.2023 16:15 - 17:00 HS 15
Di. 17.01.2023 18:00 - 18:45 HS 17 Kurztest Modul 10&11
Di. 17.01.2023 18:00 - 18:45 HS 19 Kurztest Modul 10&11
Fr. 20.01.2023 13:45 - 15:15 HS 7 Modul 12
Di. 24.01.2023 16:15 - 17:00 S3 055
Di. 24.01.2023 18:00 - 18:45 HS 17 Kurztest Modul 12
Di. 24.01.2023 18:00 - 18:45 HS 19 Kurztest Modul 12
Fr. 27.01.2023 13:45 - 15:15 HS 7 Modul 13
Di. 31.01.2023 16:15 - 17:00 HS 15
Di. 31.01.2023 18:00 - 18:45 HS 17 Kurztest Modul 13
Di. 31.01.2023 18:00 - 18:45 HS 19 Kurztest Modul 13
Fr. 10.02.2023 13:45 - 15:15 HS 2 Klausur
 
326.121 (2022W) Practical in Logic and Software Design
Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 16:15 - 18:00 HS 14
Mi. 12.10.2022 16:15 - 18:00 HS 14
Mi. 19.10.2022 16:15 - 18:00 HS 14
Mi. 09.11.2022 16:15 - 18:00 HS 14
Mi. 16.11.2022 16:15 - 18:00 HS 14
Mi. 23.11.2022 16:15 - 18:00 HS 14
Mi. 30.11.2022 16:15 - 18:00 HS 14
Mi. 07.12.2022 16:15 - 18:00 HS 14
Mi. 14.12.2022 16:15 - 18:00 HS 14
Mi. 11.01.2023 16:15 - 18:00 HS 14
Mi. 18.01.2023 16:15 - 18:00 HS 14
Mi. 25.01.2023 16:15 - 18:00 HS 14
 
326.063 (2022W) Seminar logic and software design
Project seminar Formal Methods and automated Reasoning I
Further information
Register SE 2,0 Wolfgang Schreiner

Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 16:15 - 18:00 S3 057
Do. 10.11.2022 16:15 - 17:15 Zoom
Di. 06.12.2022 16:15 - 18:00 S3 057
Di. 13.12.2022 16:15 - 18:00 S3 057
Do. 26.01.2023 16:15 - 17:45 Zoom
 
326.AK1 (2022W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,0 Peter Paule Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 13:45 - 16:15 HA 105
Mi. 12.10.2022 13:45 - 16:15 HA 105
Mi. 19.10.2022 13:45 - 16:15 HA 105
Mi. 09.11.2022 13:45 - 16:15 HA 105
Mi. 16.11.2022 13:45 - 16:15 HA 105
Mi. 23.11.2022 13:45 - 16:15 HA 105
Mi. 30.11.2022 13:45 - 16:15 HA 105
Mi. 07.12.2022 13:45 - 16:15 HA 105
Mi. 14.12.2022 13:45 - 16:15 HA 105
Mi. 11.01.2023 13:45 - 16:15 HA 105
Mi. 18.01.2023 13:45 - 16:15 HA 105
Mi. 25.01.2023 13:45 - 16:15 HA 105
 
326.060 (2022W) Seminar symbolic computation
Research Topics in Algebra and Combinatorics
Register SE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 13:45 - 15:15 T 406/1
Mi. 19.10.2022 13:45 - 15:15 T 406/1
Mi. 09.11.2022 13:45 - 15:15 T 406/1
Mi. 16.11.2022 13:45 - 15:15 T 406/1
Mi. 23.11.2022 13:45 - 15:15 T 406/1
Mi. 30.11.2022 13:45 - 15:15 T 406/1
Mi. 07.12.2022 13:45 - 15:15 T 406/1
Mi. 14.12.2022 13:45 - 15:15 T 406/1
Mi. 11.01.2023 13:45 - 15:15 T 406/1
Mi. 18.01.2023 13:45 - 15:15 T 406/1
Mi. 25.01.2023 13:45 - 15:15 T 406/1
 
326.CA1 (2022W) Seminar symbolic computation
Computer-algebra I
Further information
Register SE 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 14:00 - 16:00 HA 105
Mi. 12.10.2022 14:00 - 16:00 HA 105
Mi. 19.10.2022 14:00 - 16:00 HA 105
Mi. 09.11.2022 14:00 - 16:00 HA 105
Mi. 16.11.2022 14:00 - 16:00 HA 105
Mi. 23.11.2022 14:00 - 16:00 HA 105
Mi. 30.11.2022 14:00 - 16:00 HA 105
Mi. 07.12.2022 14:00 - 16:00 HA 105
Mi. 14.12.2022 14:00 - 16:00 HA 105
Mi. 11.01.2023 14:00 - 16:00 HA 105
Mi. 18.01.2023 14:00 - 16:00 HA 105
Mi. 25.01.2023 14:00 - 16:00 HA 105
 
326.122 (2022W) Special Topics
Logic Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 05.10.2022 16:15 - 18:00 HS 14
Mi. 12.10.2022 16:15 - 18:00 HS 14
Mi. 19.10.2022 16:15 - 18:00 HS 14
Mi. 09.11.2022 16:15 - 18:00 HS 14
Mi. 16.11.2022 16:15 - 18:00 HS 14
Mi. 23.11.2022 16:15 - 18:00 HS 14
Mi. 30.11.2022 16:15 - 18:00 HS 14
Mi. 07.12.2022 16:15 - 18:00 HS 14
Mi. 14.12.2022 16:15 - 18:00 HS 14
Mi. 11.01.2023 16:15 - 18:00 HS 14
Mi. 18.01.2023 16:15 - 18:00 HS 14
Mi. 25.01.2023 16:15 - 18:00 HS 14
 
326.090 (2022W) Special Topics
Mathemtical Logic I
Further information
Register KV 3,0 Tudor Jebelean

Teimuraz Kutsia
Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 13:45 - 16:15 S2 219
Di. 18.10.2022 13:45 - 16:15 S2 219
Di. 08.11.2022 13:45 - 16:15 S2 219
Di. 15.11.2022 13:45 - 16:15 S2 219
Di. 22.11.2022 13:45 - 16:15 S2 219
Di. 29.11.2022 13:45 - 16:15 S2 219
Di. 06.12.2022 13:45 - 16:15 S2 219
Di. 13.12.2022 13:45 - 16:15 S2 219
Di. 10.01.2023 13:45 - 16:15 S2 219
Di. 17.01.2023 13:45 - 16:15 S2 219
Di. 24.01.2023 13:45 - 16:15 S2 219
Di. 31.01.2023 13:45 - 16:15 S2 219
 
326.00B (2022W) Special topics logic and software design
Fixpoint Theory of Functional Programs
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 08:30 - 10:00 S2 044
Do. 20.10.2022 08:30 - 10:00 S2 044
Do. 03.11.2022 08:30 - 10:00 S2 044
Do. 10.11.2022 08:30 - 10:00 S2 044
Do. 17.11.2022 08:30 - 10:00 S2 044
Do. 24.11.2022 08:30 - 10:00 S2 044
Do. 01.12.2022 08:30 - 10:00 S2 044
Do. 15.12.2022 08:30 - 10:00 S2 044
Do. 12.01.2023 08:30 - 10:00 S2 044
Do. 19.01.2023 08:30 - 10:00 S2 044
Do. 26.01.2023 08:30 - 10:00 S2 044
 
326.025 (2022W) Special topics logic and software design
Decidable logical theories
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 13.10.2022 10:15 - 11:45 HT 177F
Do. 20.10.2022 10:15 - 11:45 HT 177F
Do. 03.11.2022 10:15 - 11:45 HT 177F
Do. 10.11.2022 10:15 - 11:45 HT 177F
Do. 17.11.2022 10:15 - 11:45 HT 177F
Do. 24.11.2022 10:15 - 11:45 HT 177F
Do. 01.12.2022 10:15 - 11:45 HT 177F
Do. 15.12.2022 10:15 - 11:45 HT 177F
Do. 12.01.2023 10:15 - 11:45 HT 177F
Do. 19.01.2023 10:15 - 11:45 HT 177F
Do. 26.01.2023 10:15 - 11:45 HT 177F
 
326.032 (2022W) Special Topics symbolic computation
Computer algebra systems
Further information
Register VL 2,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 21.10.2022 08:30 - 10:00 MZ 005A
Fr. 28.10.2022 08:30 - 10:00 MZ 005A
Fr. 04.11.2022 08:30 - 10:00 MZ 005A
Fr. 11.11.2022 08:30 - 10:00 MZ 005A
Fr. 18.11.2022 08:30 - 10:00 MZ 005A
Fr. 25.11.2022 08:30 - 10:00 MZ 005A
Fr. 02.12.2022 08:30 - 10:00 MZ 005A
Fr. 16.12.2022 08:30 - 10:00 MZ 005A
Fr. 13.01.2023 08:30 - 10:00 MZ 005A
Fr. 20.01.2023 08:30 - 10:00 MZ 005A
Fr. 20.01.2023 12:00 - 13:30 MZ 005A
Fr. 27.01.2023 08:30 - 10:00 MZ 005A
 
326.034 (2022W) Special Topics symbolic computation
Homological Algebra
Register VL 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo. 10.10.2022 12:00 - 13:30 HS 11
Mo. 17.10.2022 12:00 - 13:30 HS 11
Mo. 24.10.2022 12:00 - 13:30 HS 11
Mo. 31.10.2022 12:00 - 13:30 HS 11
Mo. 07.11.2022 12:00 - 13:30 HS 11
Mo. 14.11.2022 12:00 - 13:30 HS 11
Mo. 21.11.2022 12:00 - 13:30 HS 11
Mo. 28.11.2022 12:00 - 13:30 HS 11
Mo. 05.12.2022 12:00 - 13:30 HS 11
Mo. 12.12.2022 12:00 - 13:30 HS 11
Mo. 09.01.2023 12:00 - 13:30 HS 11
Mo. 16.01.2023 12:00 - 13:30 HS 11
Mo. 23.01.2023 12:00 - 13:30 HS 11
Mo. 30.01.2023 12:00 - 13:30 HS 11
 
326.057 (2022W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Di. 11.10.2022 08:30 - 10:00 S2 Z74
Di. 18.10.2022 08:30 - 10:00 S2 Z74
Di. 08.11.2022 08:30 - 10:00 S2 Z74
Di. 15.11.2022 08:30 - 10:00 S2 Z74
Di. 22.11.2022 08:30 - 10:00 S2 Z74
Di. 29.11.2022 08:30 - 10:00 S2 Z74
Di. 06.12.2022 08:30 - 10:00 S2 Z74
Di. 13.12.2022 08:30 - 10:00 S2 Z74
Di. 17.01.2023 08:30 - 10:00 S2 Z74
Di. 24.01.2023 08:30 - 10:00 S2 Z74
Di. 31.01.2023 08:30 - 10:00 S2 Z74
 
326.999 (2022W) Preparatory course mathematics for first-year students of Business Informatics Register VK 2,0 Wolfgang Windsteiger Block
 
Date Daytime Room Topic
Mo. 19.09.2022 09:15 - 11:45 BA 9910
Mi. 21.09.2022 09:15 - 11:45 BA 9910
Fr. 23.09.2022 09:15 - 11:45 BA 9910
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail