RISC RISC Research Institute for Symbolic Computation  
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2018 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.006 (2018W) Algorithms and data structures
Further information
Register UE 1,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 13:45 - 14:30 HT 177F
Do. 11.10.2018 13:45 - 14:30 HT 177F
Do. 18.10.2018 13:45 - 14:30 HT 177F
Do. 25.10.2018 13:45 - 14:30 HT 177F
Do. 08.11.2018 13:45 - 14:30 HT 177F
Do. 15.11.2018 13:45 - 14:30 HT 177F
Do. 22.11.2018 13:45 - 14:30 HT 177F
Do. 29.11.2018 13:45 - 14:30 HT 177F
Do. 06.12.2018 13:45 - 14:30 HT 177F
Do. 13.12.2018 13:45 - 14:30 HT 177F
Do. 10.01.2019 13:45 - 14:30 HT 177F
Do. 17.01.2019 13:45 - 14:30 HT 177F
Do. 24.01.2019 13:45 - 14:30 HT 177F
Do. 31.01.2019 13:45 - 14:30 HT 177F
 
326.005 (2018W) Algorithms and data structures
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 08:30 - 10:00 HS 12
Do. 11.10.2018 08:30 - 10:00 HS 12
Do. 18.10.2018 08:30 - 10:00 HS 12
Do. 25.10.2018 08:30 - 10:00 HS 12
Do. 08.11.2018 08:30 - 10:00 HS 12
Do. 15.11.2018 08:30 - 10:00 HS 12
Do. 22.11.2018 08:30 - 10:00 HS 12
Do. 29.11.2018 08:30 - 10:00 HS 12
Do. 06.12.2018 08:30 - 10:00 HS 12
Do. 13.12.2018 08:30 - 10:00 HS 12
Do. 10.01.2019 08:30 - 10:00 HS 12
Do. 17.01.2019 08:30 - 10:00 HS 12
Do. 24.01.2019 08:30 - 10:00 HS 12
Do. 31.01.2019 08:30 - 10:00 HS 12
 
326.022 (2018W) Analysis
Further information
Register VO 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 08:30 - 10:00 HS 10
Fr. 12.10.2018 08:30 - 10:00 HS 10
Fr. 19.10.2018 08:30 - 10:00 HS 10
Fr. 09.11.2018 08:30 - 10:00 HS 10
Fr. 16.11.2018 08:30 - 10:00 HS 10
Fr. 23.11.2018 08:30 - 10:00 HS 10
Fr. 30.11.2018 08:30 - 10:00 HS 10
Fr. 07.12.2018 08:30 - 10:00 HS 10
Fr. 14.12.2018 08:30 - 10:00 HS 10
Fr. 11.01.2019 08:30 - 10:00 HS 10
Fr. 18.01.2019 08:30 - 10:00 HS 10
Fr. 25.01.2019 08:30 - 10:00 HS 10
Do. 07.02.2019 12:30 - 14:30 HS 10
Di. 26.02.2019 12:30 - 14:30 HS 10
 
326.027 (2018W) Analysis
Further information
Register UE 2,0 Alexander Maletzky Weekly
 
Date Daytime Room Topic
Do. 11.10.2018 15:30 - 17:00 HS 13
Do. 18.10.2018 15:30 - 17:00 HS 13
Do. 25.10.2018 15:30 - 17:00 HS 13
Do. 08.11.2018 15:30 - 17:00 HS 13
Do. 15.11.2018 15:30 - 17:00 HS 13
Do. 22.11.2018 15:30 - 17:00 HS 13
Do. 29.11.2018 15:30 - 17:00 HS 13
Do. 06.12.2018 15:30 - 17:00 HS 13
Do. 13.12.2018 15:30 - 17:00 HS 13
Do. 10.01.2019 15:30 - 17:00 HS 13
Do. 17.01.2019 15:30 - 17:00 HS 13
Do. 24.01.2019 15:30 - 17:00 HS 13
Do. 31.01.2019 15:30 - 17:00 HS 13
 
326.029 (2018W) Analysis
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 11.10.2018 15:30 - 17:00 BA 9910
Do. 18.10.2018 15:30 - 17:00 BA 9910
Do. 25.10.2018 15:30 - 17:00 BA 9910
Do. 08.11.2018 15:30 - 17:00 BA 9910
Do. 15.11.2018 15:30 - 17:00 BA 9910
Do. 22.11.2018 15:30 - 17:00 BA 9910
Do. 29.11.2018 15:30 - 17:00 BA 9910
Do. 06.12.2018 15:30 - 17:00 BA 9910
Do. 13.12.2018 15:30 - 17:00 BA 9910
Do. 10.01.2019 15:30 - 17:00 BA 9910
Do. 17.01.2019 15:30 - 17:00 BA 9910
Do. 24.01.2019 15:30 - 17:00 BA 9910
Do. 31.01.2019 15:30 - 17:00 BA 9910
 
326.056 (2018W) Analysis
Further information
Register UE 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Do. 11.10.2018 15:30 - 17:00 T 911
Do. 18.10.2018 15:30 - 17:00 T 911
Do. 25.10.2018 15:30 - 17:00 T 911
Do. 08.11.2018 15:30 - 17:00 T 911
Do. 15.11.2018 15:30 - 17:00 T 911
Do. 22.11.2018 15:30 - 17:00 T 911
Do. 29.11.2018 15:30 - 17:00 T 911
Do. 06.12.2018 15:30 - 17:00 T 911
Do. 13.12.2018 15:30 - 17:00 T 911
Do. 10.01.2019 15:30 - 17:00 T 911
Do. 17.01.2019 15:30 - 17:00 T 911
Do. 24.01.2019 15:30 - 17:00 T 911
Do. 31.01.2019 15:30 - 17:00 T 911
 
326.055 (2018W) Analysis
Further information
Register UE 2,0 Jakob Ablinger Weekly
 
Date Daytime Room Topic
Do. 11.10.2018 15:30 - 17:00 HS 11
Do. 18.10.2018 15:30 - 17:00 HS 11
Do. 25.10.2018 15:30 - 17:00 HS 11
Do. 08.11.2018 15:30 - 17:00 HS 11
Do. 15.11.2018 15:30 - 17:00 HS 11
Do. 22.11.2018 15:30 - 17:00 HS 11
Do. 29.11.2018 15:30 - 17:00 HS 11
Do. 06.12.2018 15:30 - 17:00 HS 11
Do. 13.12.2018 15:30 - 17:00 HS 11
Do. 10.01.2019 15:30 - 17:00 HS 11
Do. 17.01.2019 15:30 - 17:00 HS 11
Do. 24.01.2019 15:30 - 17:00 HS 11
Do. 31.01.2019 15:30 - 17:00 HS 11
 
326.050 (2018W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 11:00 - 11:45 HS 12
Fr. 12.10.2018 11:00 - 11:45 HS 12
Fr. 19.10.2018 11:00 - 11:45 HS 12
Fr. 09.11.2018 11:00 - 11:45 HS 12
Fr. 16.11.2018 11:00 - 11:45 HS 12
Fr. 23.11.2018 11:00 - 11:45 HS 12
Fr. 30.11.2018 11:00 - 11:45 HS 12
Fr. 30.11.2018 14:30 - 15:15 HS 1
Fr. 07.12.2018 11:00 - 11:45 HS 12
Fr. 14.12.2018 11:00 - 11:45 HS 12
Fr. 11.01.2019 11:00 - 11:45 HS 12
Fr. 18.01.2019 11:00 - 11:45 HS 12
Fr. 18.01.2019 14:30 - 15:15 HS 2
Fr. 25.01.2019 11:00 - 11:45 HS 12
 
326.016 (2018W) Computability and Complexity
Further information
Register UE 1,0 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 10:15 - 11:00 HS 12
Fr. 12.10.2018 10:15 - 11:00 HS 12
Fr. 19.10.2018 10:15 - 11:00 HS 12
Fr. 09.11.2018 10:15 - 11:00 HS 12
Fr. 16.11.2018 10:15 - 11:00 HS 12
Fr. 23.11.2018 10:15 - 11:00 HS 12
Fr. 30.11.2018 10:15 - 11:00 HS 12
Fr. 30.11.2018 14:30 - 15:15 HS 1
Fr. 07.12.2018 10:15 - 11:00 HS 12
Fr. 14.12.2018 10:15 - 11:00 HS 12
Fr. 11.01.2019 10:15 - 11:00 HS 12
Fr. 18.01.2019 10:15 - 11:00 HS 12
Fr. 18.01.2019 14:30 - 15:15 HS 2
Fr. 25.01.2019 10:15 - 11:00 HS 12
 
326.023 (2018W) Computability and Complexity
Further information
Register VO 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 12:00 - 13:30 HS 10
Fr. 12.10.2018 12:00 - 13:30 HS 10
Fr. 19.10.2018 12:00 - 13:30 HS 10
Fr. 09.11.2018 12:00 - 13:30 HS 10
Fr. 16.11.2018 12:00 - 13:30 HS 10
Fr. 23.11.2018 12:00 - 13:30 HS 10
Fr. 30.11.2018 12:00 - 13:30 HS 10
Fr. 07.12.2018 12:00 - 13:30 HS 10
Fr. 14.12.2018 12:00 - 13:30 HS 10
Fr. 11.01.2019 12:00 - 13:30 HS 10
Fr. 18.01.2019 12:00 - 13:30 HS 10
Fr. 25.01.2019 12:00 - 13:30 HS 10
Fr. 01.02.2019 12:00 - 13:30 HS 18
 
326.004 (2018W) Computability and Complexity
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 01.10.2018 15:30 - 16:15 MT 226/1
Do. 11.10.2018 08:30 - 09:15 BA 9912
Do. 18.10.2018 08:30 - 09:15 BA 9912
Do. 08.11.2018 08:30 - 09:15 BA 9912
Do. 15.11.2018 08:30 - 09:15 BA 9912
Do. 22.11.2018 08:30 - 09:15 BA 9912
Do. 29.11.2018 08:30 - 09:15 BA 9912
Fr. 30.11.2018 14:30 - 15:15 HS 1
Do. 06.12.2018 08:30 - 09:15 BA 9912
Do. 13.12.2018 08:30 - 09:15 BA 9912
Do. 10.01.2019 08:30 - 09:15 BA 9912
Do. 17.01.2019 08:30 - 09:15 BA 9912
Fr. 18.01.2019 14:30 - 15:15 HS 2
Do. 24.01.2019 08:30 - 09:15 BA 9912
Do. 31.01.2019 08:30 - 09:15 BA 9912
 
326.018 (2018W) Computability and Complexity
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 01.10.2018 16:15 - 17:00 MT 226/1
Do. 11.10.2018 09:15 - 10:00 BA 9912
Do. 18.10.2018 09:15 - 10:00 BA 9912
Do. 08.11.2018 09:15 - 10:00 BA 9912
Do. 15.11.2018 09:15 - 10:00 BA 9912
Do. 22.11.2018 09:15 - 10:00 BA 9912
Do. 29.11.2018 09:15 - 10:00 BA 9912
Fr. 30.11.2018 14:30 - 15:15 HS 1
Do. 06.12.2018 09:15 - 10:00 BA 9912
Do. 13.12.2018 09:15 - 10:00 BA 9912
Do. 10.01.2019 09:15 - 10:00 BA 9912
Do. 17.01.2019 09:15 - 10:00 BA 9912
Fr. 18.01.2019 14:30 - 15:15 HS 2
Do. 24.01.2019 09:15 - 10:00 BA 9912
Do. 31.01.2019 09:15 - 10:00 BA 9912
 
326.010 (2018W) Computational Logic
Further information
Register VL 2,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Mo. 08.10.2018 15:30 - 18:00 HS 11
Mo. 15.10.2018 15:30 - 18:00 HS 11
Mo. 22.10.2018 15:30 - 18:00 HS 11
Mo. 29.10.2018 15:30 - 18:00 HS 11
Mo. 05.11.2018 15:30 - 18:00 HS 11
Mo. 12.11.2018 15:30 - 18:00 HS 11
Mo. 19.11.2018 15:30 - 18:00 HS 11
Mo. 03.12.2018 15:30 - 18:00 HS 11
Mo. 10.12.2018 15:30 - 18:00 HS 11
Mo. 07.01.2019 15:30 - 18:00 HS 11
Mo. 14.01.2019 15:30 - 18:00 HS 11
Mo. 21.01.2019 15:30 - 18:00 HS 11
Mo. 28.01.2019 15:30 - 18:00 HS 11
 
326.011 (2018W) Computational Logic
Further information
Register UE 1,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Mo. 08.10.2018 18:00 - 18:45 HS 11
Mo. 15.10.2018 18:00 - 18:45 HS 11
Mo. 29.10.2018 18:00 - 18:45 HS 11
Mo. 05.11.2018 18:00 - 18:45 HS 11
Mo. 12.11.2018 18:00 - 18:45 HS 11
Mo. 19.11.2018 18:00 - 18:45 HS 11
Mo. 03.12.2018 18:00 - 18:45 HS 11
Mo. 10.12.2018 18:00 - 18:45 HS 11
Mo. 07.01.2019 18:00 - 18:45 HS 11
Mo. 14.01.2019 18:00 - 18:45 HS 11
Mo. 21.01.2019 18:00 - 18:45 HS 11
Mo. 28.01.2019 18:00 - 18:45 HS 11
 
326.007 (2018W) Computer Algebra
Further information
Register VL 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 02.10.2018 15:30 - 17:00 HS 13
Di. 09.10.2018 15:30 - 17:00 HS 13
Di. 16.10.2018 15:30 - 17:00 HS 13
Di. 23.10.2018 15:30 - 17:00 HS 13
Di. 30.10.2018 15:30 - 17:00 HS 13
Di. 06.11.2018 15:30 - 17:00 HS 13
Di. 13.11.2018 15:30 - 17:00 HS 13
Di. 20.11.2018 15:30 - 17:00 HS 13
Di. 27.11.2018 15:30 - 17:00 HS 13
Di. 04.12.2018 15:30 - 17:00 HS 13
Di. 11.12.2018 15:30 - 17:00 HS 13
Di. 08.01.2019 15:30 - 17:00 HS 13
Di. 15.01.2019 15:30 - 17:00 HS 13
Di. 22.01.2019 15:30 - 17:00 HS 13
Di. 29.01.2019 16:15 - 18:45 HS 18
 
326.031 (2018W) Computer Algebra
Further information
Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 17:15 - 18:00 HS 13
Di. 16.10.2018 17:15 - 18:00 HS 13
Di. 23.10.2018 17:15 - 18:00 HS 13
Di. 30.10.2018 17:15 - 18:00 HS 13
Di. 06.11.2018 17:15 - 18:00 HS 13
Di. 13.11.2018 17:15 - 18:00 HS 13
Di. 20.11.2018 17:15 - 18:00 HS 13
Di. 27.11.2018 17:15 - 18:00 HS 13
Di. 04.12.2018 17:15 - 18:00 HS 13
Di. 11.12.2018 17:15 - 18:00 HS 13
Di. 08.01.2019 17:15 - 18:00 HS 13
Di. 15.01.2019 17:15 - 18:00 HS 13
Di. 22.01.2019 17:15 - 18:00 HS 13
Di. 29.01.2019 17:15 - 18:00 HS 13
 
326.0D1 (2018W) Design and Analysis of Algorithms Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 14:30 - 16:15 K 223B
Do. 11.10.2018 14:30 - 16:15 K 223B
Do. 18.10.2018 14:30 - 16:15 K 223B
Do. 25.10.2018 14:30 - 16:15 K 223B
Do. 08.11.2018 14:30 - 16:15 K 223B
Do. 15.11.2018 14:30 - 16:15 K 223B
Do. 22.11.2018 14:30 - 16:15 K 223B
Do. 29.11.2018 14:30 - 16:15 K 223B
Do. 06.12.2018 14:30 - 16:15 K 223B
Do. 13.12.2018 14:30 - 16:15 K 223B
Do. 10.01.2019 14:30 - 16:15 K 223B
Do. 17.01.2019 14:30 - 16:15 K 223B
Do. 24.01.2019 14:30 - 16:15 K 223B
Do. 31.01.2019 14:30 - 16:15 K 223B
 
326.025 (2018W) Decidable logical theories
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 10:15 - 11:45 K 112A
Do. 11.10.2018 10:15 - 11:45 K 112A
Do. 18.10.2018 10:15 - 11:45 K 112A
Do. 25.10.2018 10:15 - 11:45 K 112A
Do. 08.11.2018 10:15 - 11:45 K 112A
Do. 15.11.2018 10:15 - 11:45 K 112A
Do. 22.11.2018 10:15 - 11:45 K 112A
Do. 29.11.2018 10:15 - 11:45 K 112A
Do. 06.12.2018 10:15 - 11:45 K 112A
Do. 13.12.2018 10:15 - 11:45 K 112A
Do. 10.01.2019 10:15 - 11:45 K 112A
Do. 17.01.2019 10:15 - 11:45 K 112A
Do. 24.01.2019 10:15 - 11:45 K 112A
Do. 31.01.2019 10:15 - 11:45 K 112A
 
326.053 (2018W) Formal methods in software development
Further information
Register KV 4,0 Wolfgang Schreiner

Janos Sztrik
Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 08:30 - 11:45 S3 055
Fr. 12.10.2018 08:30 - 11:45 S3 055
Fr. 19.10.2018 08:30 - 11:45 S3 055
Mo. 05.11.2018 10:15 - 13:30 S3 048
Mi. 07.11.2018 15:30 - 18:45 K 001A
Fr. 09.11.2018 08:30 - 11:45 S3 055
Fr. 16.11.2018 08:30 - 11:45 S3 055
Fr. 23.11.2018 08:30 - 11:45 S3 055
Fr. 30.11.2018 08:30 - 11:45 S3 055
Fr. 07.12.2018 08:30 - 11:45 S3 055
Fr. 14.12.2018 08:30 - 11:45 S3 055
Fr. 11.01.2019 08:30 - 11:45 S3 055
Fr. 18.01.2019 08:30 - 11:45 S3 055
Fr. 25.01.2019 08:30 - 11:45 S3 055
Fr. 01.02.2019 08:30 - 10:00 HS 3
 
326.013 (2018W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 08:30 - 11:45 S3 055
Fr. 12.10.2018 08:30 - 11:45 S3 055
Fr. 19.10.2018 08:30 - 11:45 S3 055
Fr. 09.11.2018 08:30 - 11:45 S3 055
Fr. 16.11.2018 08:30 - 11:45 S3 055
Fr. 23.11.2018 08:30 - 11:45 S3 055
Fr. 30.11.2018 08:30 - 11:45 S3 055
Fr. 07.12.2018 08:30 - 11:45 S3 055
Fr. 14.12.2018 08:30 - 11:45 S3 055
Fr. 11.01.2019 08:30 - 11:45 S3 055
Fr. 18.01.2019 08:30 - 11:45 S3 055
Fr. 25.01.2019 08:30 - 11:45 S3 055
 
326.003 (2018W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 2018/19
Further information
Register KV 2,0 Veronika Elisabeth Pillwein

Evelyn Buckwar
Diego Dominici
Bert Jüttler
Manuel Kauers
Ulrich Langer
Peter Paule
Ronny Ramlau
Josef Schicho
Weekly
 
Date Daytime Room Topic
Fr. 09.11.2018 12:45 - 16:15 S2 059
Mi. 14.11.2018 10:15 - 11:45 S2 416-1
Di. 20.11.2018 17:15 - 18:45 S2 219
Mi. 21.11.2018 10:15 - 11:45 S2 416-1
Do. 22.11.2018 17:15 - 18:00 S2 219
Fr. 30.11.2018 12:45 - 16:15 S2 059
Fr. 14.12.2018 08:30 - 11:00 HT 177F
Fr. 14.12.2018 12:45 - 16:15 S3 047
Fr. 11.01.2019 08:30 - 11:00 S2 416-1
Mi. 23.01.2019 13:45 - 15:15 S2 416-1
Mi. 30.01.2019 13:45 - 15:15 S2 416-1
 
326.008 (2018W) Ordinary differential equations and dynamical systems Register VL 3,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mo. 08.10.2018 08:30 - 10:00 BA 9910
Di. 09.10.2018 08:30 - 09:15 BA 9910
Mo. 15.10.2018 08:30 - 10:00 BA 9910
Di. 16.10.2018 08:30 - 09:15 BA 9910
Mo. 22.10.2018 08:30 - 10:00 BA 9910
Di. 23.10.2018 08:30 - 09:15 BA 9910
Mo. 29.10.2018 08:30 - 10:00 BA 9910
Di. 30.10.2018 08:30 - 09:15 BA 9910
Mo. 05.11.2018 08:30 - 10:00 BA 9910
Di. 06.11.2018 08:30 - 09:15 BA 9910
Mo. 12.11.2018 08:30 - 10:00 BA 9910
Di. 13.11.2018 08:30 - 09:15 BA 9910
Mo. 19.11.2018 08:30 - 10:00 BA 9910
Di. 20.11.2018 08:30 - 09:15 BA 9910
Mo. 03.12.2018 08:30 - 10:00 BA 9910
Di. 04.12.2018 08:30 - 09:15 BA 9910
Mo. 10.12.2018 08:30 - 10:00 BA 9910
Di. 11.12.2018 08:30 - 09:15 BA 9910
Mo. 07.01.2019 08:30 - 10:00 BA 9910
Di. 08.01.2019 08:30 - 09:15 BA 9910
Mo. 14.01.2019 08:30 - 10:00 BA 9910
Di. 15.01.2019 08:30 - 09:15 BA 9910
Mo. 21.01.2019 08:30 - 10:00 BA 9910
Di. 22.01.2019 08:30 - 09:15 BA 9910
Mo. 28.01.2019 08:30 - 10:00 BA 9910
Di. 29.01.2019 08:30 - 09:15 BA 9910
 
326.009 (2018W) Ordinary differential equations and dynamical systems Register UE 1,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 09:15 - 10:00 BA 9910
Di. 16.10.2018 09:15 - 10:00 BA 9910
Di. 23.10.2018 09:15 - 10:00 BA 9910
Di. 30.10.2018 09:15 - 10:00 BA 9910
Di. 06.11.2018 09:15 - 10:00 BA 9910
Di. 13.11.2018 09:15 - 10:00 BA 9910
Di. 20.11.2018 09:15 - 10:00 BA 9910
Di. 27.11.2018 09:15 - 10:00 BA 9910
Di. 04.12.2018 09:15 - 10:00 BA 9910
Di. 11.12.2018 09:15 - 10:00 BA 9910
Di. 08.01.2019 09:15 - 10:00 BA 9910
Di. 15.01.2019 09:15 - 10:00 BA 9910
Di. 22.01.2019 09:15 - 10:00 BA 9910
Di. 29.01.2019 09:15 - 10:00 BA 9910
 
326.071 (2018W) Linear algebra for physicists
Further information
Register UE 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo. 08.10.2018 10:15 - 11:45 BA 9912
Mo. 15.10.2018 10:15 - 11:45 BA 9912
Mo. 22.10.2018 10:15 - 11:45 BA 9912
Mo. 29.10.2018 10:15 - 11:45 BA 9912
Mo. 05.11.2018 10:15 - 11:45 BA 9912
Mo. 12.11.2018 10:15 - 11:45 BA 9912
Mo. 19.11.2018 10:15 - 11:45 BA 9912
Mo. 26.11.2018 10:15 - 11:45 BA 9912
Mo. 03.12.2018 10:15 - 11:45 BA 9912
Mo. 10.12.2018 10:15 - 11:45 BA 9912
Mo. 07.01.2019 10:15 - 11:45 BA 9912
Mo. 14.01.2019 10:15 - 11:45 BA 9912
Mo. 21.01.2019 10:15 - 11:45 BA 9912
Mo. 28.01.2019 10:15 - 11:45 BA 9912
 
326.017 (2018W) Linear algebra for physicists
Further information
Register VL 4,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Mo. 01.10.2018 08:30 - 10:00 HS 15
Di. 02.10.2018 08:30 - 10:00 HS 2
Mo. 08.10.2018 08:30 - 10:00 HS 15
Di. 09.10.2018 08:30 - 10:00 HS 2
Mi. 10.10.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 12.10.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 15.10.2018 08:30 - 10:00 HS 15
Di. 16.10.2018 08:30 - 10:00 HS 2
Mi. 17.10.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 19.10.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 22.10.2018 08:30 - 10:00 HS 15
Di. 23.10.2018 08:30 - 10:00 HS 2
Mi. 24.10.2018 12:00 - 13:30 S2 044 Tutorium
Mo. 29.10.2018 08:30 - 10:00 HS 15
Di. 30.10.2018 08:30 - 10:00 HS 2
Mi. 31.10.2018 12:00 - 13:30 S2 044 Tutorium
Mo. 05.11.2018 08:30 - 10:00 HS 15
Di. 06.11.2018 08:30 - 10:00 HS 2
Mi. 07.11.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 09.11.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 12.11.2018 08:30 - 10:00 HS 15
Di. 13.11.2018 08:30 - 10:00 HS 2
Mi. 14.11.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 16.11.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 19.11.2018 08:30 - 10:00 HS 15
Di. 20.11.2018 08:30 - 10:00 HS 2
Mi. 21.11.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 23.11.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 26.11.2018 08:30 - 10:00 HS 15
Di. 27.11.2018 08:30 - 10:00 HS 2
Mi. 28.11.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 30.11.2018 10:15 - 11:45 S2 053 Tutorium
Mo. 03.12.2018 08:30 - 10:00 HS 15
Di. 04.12.2018 08:30 - 10:00 HS 2
Mi. 05.12.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 07.12.2018 08:30 - 10:00 MZ 412A Tutorium
Mo. 10.12.2018 08:30 - 10:00 HS 15
Di. 11.12.2018 08:30 - 10:00 HS 2
Mi. 12.12.2018 12:00 - 13:30 S2 044 Tutorium
Fr. 14.12.2018 08:30 - 10:00 MZ 412A Tutorium
Mo. 07.01.2019 08:30 - 10:00 HS 15
Di. 08.01.2019 08:30 - 10:00 HS 2
Mi. 09.01.2019 12:00 - 13:30 S2 044 Tutorium
Fr. 11.01.2019 08:30 - 10:00 MZ 412A Tutorium
Mo. 14.01.2019 08:30 - 10:00 HS 15
Di. 15.01.2019 08:30 - 10:00 HS 2
Mi. 16.01.2019 12:00 - 13:30 S2 044 Tutorium
Fr. 18.01.2019 08:30 - 10:00 MZ 412A Tutorium
Mo. 21.01.2019 08:30 - 10:00 HS 15
Di. 22.01.2019 08:30 - 10:00 HS 2
Mi. 23.01.2019 12:00 - 13:30 S2 044 Tutorium
Fr. 25.01.2019 08:30 - 10:00 MZ 412A Tutorium
Mo. 28.01.2019 08:30 - 10:00 HS 15
Di. 29.01.2019 07:30 - 10:00 HS 2
Mi. 30.01.2019 12:00 - 13:30 S2 044 Tutorium
Fr. 01.02.2019 08:30 - 10:00 MZ 412A Tutorium
 
326.067 (2018W) Linear algebra for physicists
Further information
Register UE 2,0 Sebastian Falkensteiner Weekly
 
Date Daytime Room Topic
Mo. 08.10.2018 10:15 - 11:45 HS 11
Mo. 15.10.2018 10:15 - 11:45 HS 11
Mo. 22.10.2018 10:15 - 11:45 HS 11
Mo. 29.10.2018 10:15 - 11:45 HS 11
Mo. 05.11.2018 10:15 - 11:45 HS 11
Mo. 12.11.2018 10:15 - 11:45 HS 11 1.Klausur
Mo. 19.11.2018 10:15 - 11:45 HS 11
Mo. 26.11.2018 10:15 - 11:45 HS 11
Mo. 03.12.2018 10:15 - 11:45 HS 11
Mo. 10.12.2018 10:15 - 11:45 HS 11
Mo. 07.01.2019 10:15 - 11:45 HS 11
Mo. 14.01.2019 10:15 - 11:45 HS 11
Mo. 21.01.2019 10:15 - 11:45 HS 11 2.Klausur
Mo. 28.01.2019 10:15 - 11:45 HS 11
 
326.048 (2018W) Logic as a working language Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 02.10.2018 12:00 - 13:30 S2 048
Di. 09.10.2018 12:00 - 13:30 S2 048
Di. 16.10.2018 12:00 - 13:30 S2 048
Di. 23.10.2018 12:00 - 13:30 S2 048
Di. 30.10.2018 12:00 - 13:30 S2 048
Di. 06.11.2018 12:00 - 13:30 S2 048
Di. 13.11.2018 12:00 - 13:30 S2 048
Di. 20.11.2018 12:00 - 13:30 S2 048
Di. 27.11.2018 12:00 - 13:30 S2 048
Di. 04.12.2018 12:00 - 13:30 S2 048
Di. 11.12.2018 12:00 - 13:30 S2 048
Di. 08.01.2019 12:00 - 13:30 S2 048
Di. 15.01.2019 12:00 - 13:30 S2 048
Di. 22.01.2019 12:00 - 13:30 S2 048
Di. 29.01.2019 12:00 - 13:30 S2 048
 
326.028 (2018W) Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 03.10.2018 16:15 - 18:00 MT 327
Mi. 10.10.2018 16:15 - 18:00 MT 327
Mi. 17.10.2018 16:15 - 18:00 MT 327
Mi. 24.10.2018 16:15 - 18:00 MT 327
Mi. 31.10.2018 16:15 - 18:00 MT 327
Mi. 07.11.2018 16:15 - 18:00 MT 327
Mi. 14.11.2018 16:15 - 18:00 MT 327
Mi. 21.11.2018 16:15 - 18:00 MT 327
Mi. 28.11.2018 16:15 - 18:00 S2 219
Mi. 05.12.2018 16:15 - 18:00 S2 Z74
Mi. 12.12.2018 16:15 - 18:00 S2 219
Mi. 09.01.2019 16:15 - 18:00 S2 219
Mi. 16.01.2019 16:15 - 18:00 S2 219
Mi. 23.01.2019 16:15 - 18:00 S2 219
Mi. 30.01.2019 16:15 - 18:00 S2 219
 
326.0XX (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
Register SE 2,0 Peter Paule Weekly
 
No dates found.
 
326.0YY (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 10:15 - 11:45 HA 105
Do. 11.10.2018 10:15 - 11:45 HA 105
Do. 18.10.2018 10:15 - 11:45 HA 105
Do. 25.10.2018 10:15 - 11:45 HA 105
Do. 08.11.2018 10:15 - 11:45 HA 105
Do. 15.11.2018 10:15 - 11:45 HA 105
Do. 22.11.2018 10:15 - 11:45 HA 105
Do. 29.11.2018 10:15 - 11:45 HA 105
Do. 06.12.2018 10:15 - 11:45 HA 105
Do. 13.12.2018 10:15 - 11:45 HA 105
Do. 10.01.2019 10:15 - 11:45 HA 105
Do. 17.01.2019 10:15 - 11:45 HA 105
Do. 24.01.2019 10:15 - 11:45 HA 105
Do. 31.01.2019 10:15 - 11:45 HA 105
 
326.705 (2018W) Mathematics and Logic Register UE 1,0 Sebastian Falkensteiner Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 17:15 - 18:00 BA 9908
Di. 16.10.2018 17:15 - 18:00 BA 9908
Di. 23.10.2018 17:15 - 18:00 BA 9908
Di. 30.10.2018 17:15 - 18:00 BA 9908
Di. 13.11.2018 17:15 - 18:00 BA 9908
Di. 20.11.2018 17:15 - 18:00 BA 9908
Di. 27.11.2018 17:15 - 18:00 BA 9908
Di. 04.12.2018 17:15 - 18:00 BA 9908
Di. 11.12.2018 17:15 - 18:00 BA 9908
Di. 08.01.2019 17:15 - 18:00 BA 9908
Di. 15.01.2019 17:15 - 18:00 BA 9908
Di. 22.01.2019 17:15 - 18:00 BA 9908
Di. 29.01.2019 17:15 - 18:00 BA 9908
 
326.702 (2018W) Mathematics and Logic Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 17:15 - 18:00 HS 11
Di. 16.10.2018 17:15 - 18:00 HS 11
Di. 23.10.2018 17:15 - 18:00 HS 11
Di. 30.10.2018 17:15 - 18:00 HS 11
Di. 13.11.2018 17:15 - 18:00 HS 11
Di. 20.11.2018 17:15 - 18:00 HS 11
Di. 27.11.2018 17:15 - 18:00 HS 11
Di. 04.12.2018 17:15 - 18:00 HS 11
Di. 11.12.2018 17:15 - 18:00 HS 11
Di. 08.01.2019 17:15 - 18:00 HS 11
Di. 15.01.2019 17:15 - 18:00 HS 11
Di. 22.01.2019 17:15 - 18:00 HS 11
Di. 29.01.2019 17:15 - 18:00 HS 11
 
326.704 (2018W) Mathematics and Logic Register UE 1,0 Alexander Maletzky Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 17:15 - 18:00 S2 059
Di. 16.10.2018 17:15 - 18:00 S2 059
Di. 23.10.2018 17:15 - 18:00 S2 059
Di. 30.10.2018 17:15 - 18:00 S2 059
Di. 13.11.2018 17:15 - 18:00 S2 059
Di. 20.11.2018 17:15 - 18:00 S2 059
Di. 27.11.2018 17:15 - 18:00 S2 059
Di. 04.12.2018 17:15 - 18:00 S2 059
Di. 11.12.2018 17:15 - 18:00 S2 059
Di. 08.01.2019 17:15 - 18:00 S2 059
Di. 15.01.2019 17:15 - 18:00 S2 059
Di. 22.01.2019 17:15 - 18:00 S2 059
Di. 29.01.2019 17:15 - 18:00 S2 059
 
326.701 (2018W) Mathematics and Logic Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 18:00 - 18:45 HS 11
Di. 16.10.2018 18:00 - 18:45 HS 11
Di. 23.10.2018 18:00 - 18:45 HS 11
Di. 30.10.2018 18:00 - 18:45 HS 11
Di. 13.11.2018 18:00 - 18:45 HS 11
Di. 20.11.2018 18:00 - 18:45 HS 11
Di. 27.11.2018 18:00 - 18:45 HS 11
Di. 04.12.2018 18:00 - 18:45 HS 11
Di. 11.12.2018 18:00 - 18:45 HS 11
Di. 08.01.2019 18:00 - 18:45 HS 11
Di. 15.01.2019 18:00 - 18:45 HS 11
Di. 22.01.2019 18:00 - 18:45 HS 11
Di. 29.01.2019 18:00 - 18:45 HS 11
 
326.700 (2018W) Mathematics and Logic Register VL 3,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 02.10.2018 16:15 - 17:00 HS 19
Fr. 05.10.2018 13:45 - 15:15 HS 18
Di. 09.10.2018 16:15 - 17:00 HS 19
Fr. 12.10.2018 13:45 - 15:15 HS 18
Di. 16.10.2018 16:15 - 17:00 HS 19
Fr. 19.10.2018 13:45 - 15:15 HS 18
Di. 23.10.2018 16:15 - 17:00 HS 19
Di. 30.10.2018 16:15 - 17:00 HS 19
Di. 06.11.2018 16:15 - 17:00 HS 19
Fr. 09.11.2018 13:45 - 15:15 HS 18
Di. 13.11.2018 16:15 - 17:00 HS 19
Fr. 16.11.2018 13:45 - 15:15 HS 18
Di. 20.11.2018 16:15 - 17:00 HS 19
Fr. 23.11.2018 13:45 - 15:15 HS 18
Di. 27.11.2018 16:15 - 17:00 HS 18
Fr. 30.11.2018 13:45 - 15:15 HS 18
Di. 04.12.2018 16:15 - 17:00 HS 19
Fr. 07.12.2018 13:45 - 15:15 HS 18
Di. 11.12.2018 16:15 - 17:00 HS 19
Fr. 14.12.2018 13:45 - 15:15 HS 18
Di. 08.01.2019 16:15 - 17:00 HS 19
Fr. 11.01.2019 13:45 - 15:15 HS 18
Di. 15.01.2019 16:15 - 17:00 HS 19
Fr. 18.01.2019 13:45 - 15:15 HS 18
Di. 22.01.2019 16:15 - 17:00 HS 19
Fr. 25.01.2019 13:45 - 15:15 HS 18
Di. 29.01.2019 17:15 - 18:45 HS 8
Di. 29.01.2019 17:15 - 18:45 HS 7
Di. 29.01.2019 17:15 - 18:45 HS 3
 
326.021 (2018W) Mathematical logic 1
Further information
Register UE 1,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Di. 16.10.2018 12:00 - 12:45 S2 054
Di. 23.10.2018 12:00 - 12:45 S2 054
Di. 06.11.2018 12:00 - 12:45 S2 054
Di. 13.11.2018 12:00 - 12:45 S2 054
Di. 20.11.2018 12:00 - 12:45 S2 054
Di. 04.12.2018 12:00 - 12:45 S2 054
Di. 11.12.2018 12:00 - 12:45 S2 054
Di. 08.01.2019 12:00 - 12:45 S2 054
Di. 15.01.2019 12:00 - 12:45 S2 054
Di. 22.01.2019 12:00 - 12:45 S2 054
Di. 29.01.2019 12:00 - 12:45 S2 054
 
326.019 (2018W) Mathematical logic 1
Further information
Register VO 4,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Di. 09.10.2018 08:30 - 11:45 S2 054
Di. 16.10.2018 08:30 - 11:45 S2 054
Di. 23.10.2018 08:30 - 11:45 S2 054
Di. 06.11.2018 08:30 - 11:45 S2 054
Di. 13.11.2018 08:30 - 11:45 S2 054
Di. 20.11.2018 08:30 - 11:45 S2 054
Di. 04.12.2018 08:30 - 11:45 S2 054
Di. 11.12.2018 08:30 - 11:45 S2 054
Di. 08.01.2019 08:30 - 11:45 S2 054
Di. 15.01.2019 08:30 - 11:45 S2 054
Di. 22.01.2019 08:30 - 11:45 S2 054
Di. 29.01.2019 08:30 - 11:45 S2 054
 
326.049 (2018W) Programming project symbolic computation
Computeralgebra, Logic and Softwaredesign I
Further information
Register KV 2,0 Ralf Hemmecke Weekly
 
No dates found.
 
326.061 (2018W) 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. 01.10.2018 09:00 - 10:30 U1-14
Mo. 08.10.2018 09:00 - 10:30 U1-14
Mo. 15.10.2018 09:00 - 10:30 U1-14
Mo. 22.10.2018 09:00 - 10:30 U1-14
Mo. 29.10.2018 09:00 - 10:30 U1-14
Mo. 05.11.2018 09:00 - 10:30 U1-14
Mo. 12.11.2018 09:00 - 10:30 U1-14
Mo. 19.11.2018 09:00 - 10:30 U1-14
Mo. 26.11.2018 09:00 - 10:30 U1-14
Mo. 03.12.2018 09:00 - 10:30 U1-14
Mo. 10.12.2018 09:00 - 10:30 U1-14
Mo. 07.01.2019 09:00 - 10:30 U1-14
Mo. 14.01.2019 09:00 - 10:30 U1-14
Mo. 21.01.2019 09:00 - 10:30 U1-14
Mo. 28.01.2019 09:00 - 10:30 U1-14
 
326.077 (2018W) 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.063 (2018W) Seminar logic and software design
Project seminar Formal Methods I
Further information
Register SE 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mi. 03.10.2018 12:30 - 14:00 HA 105
Mi. 10.10.2018 12:30 - 14:00 HA 105
Mi. 17.10.2018 12:30 - 14:00 HA 105
Mi. 24.10.2018 12:30 - 14:00 HA 105
Mi. 31.10.2018 12:30 - 14:00 HA 105
Mi. 07.11.2018 12:30 - 14:00 HA 105
Mi. 14.11.2018 12:30 - 14:00 HA 105
Mi. 21.11.2018 12:30 - 14:00 HA 105
Mi. 28.11.2018 12:30 - 14:00 HA 105
Mi. 05.12.2018 12:30 - 14:00 HA 105
Mi. 12.12.2018 12:30 - 14:00 HA 105
Mi. 09.01.2019 12:30 - 14:00 HA 105
Mi. 16.01.2019 12:30 - 14:00 HA 105
Mi. 23.01.2019 12:30 - 14:00 HA 105
Mi. 30.01.2019 12:30 - 14:00 HA 105
 
326.060 (2018W) Seminar symbolic computation
History and Philosophy of Mathematics
Further information
Register SE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 23.10.2018 13:45 - 15:15 S3 047
Di. 30.10.2018 13:45 - 15:15 KG 519
Di. 06.11.2018 13:45 - 15:15 S3 047
Di. 13.11.2018 13:45 - 15:15 S3 047
Di. 20.11.2018 13:45 - 15:15 S3 047
Di. 04.12.2018 13:45 - 15:15 S3 047
Di. 11.12.2018 13:45 - 15:15 K 223B
Di. 08.01.2019 13:45 - 15:15 S3 047
Di. 15.01.2019 13:45 - 15:15 S3 047
 
326.AK1 (2018W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi. 03.10.2018 14:00 - 15:30 HA 105
Mi. 10.10.2018 14:00 - 15:30 HA 105
Mi. 17.10.2018 14:00 - 15:30 HA 105
Mi. 24.10.2018 14:00 - 15:30 HA 105
Mi. 31.10.2018 14:00 - 15:30 HA 105
Mi. 07.11.2018 14:00 - 15:30 HA 105
Mi. 14.11.2018 14:00 - 15:30 HA 105
Mi. 21.11.2018 14:00 - 15:30 HA 105
Mi. 28.11.2018 14:00 - 15:30 HA 105
Mi. 05.12.2018 14:00 - 15:30 HA 105
Mi. 12.12.2018 14:00 - 15:30 HA 105
Mi. 09.01.2019 14:00 - 15:30 HA 105
Mi. 16.01.2019 14:00 - 15:30 HA 105
Mi. 23.01.2019 14:00 - 15:30 HA 105
Mi. 30.01.2019 14:00 - 15:30 HA 105
 
326.015 (2018W) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Di. 16.10.2018 12:00 - 13:30 S2 046
Di. 06.11.2018 12:00 - 13:30 MT 128
Di. 27.11.2018 12:00 - 13:30 MT 226/1
Di. 11.12.2018 12:00 - 13:30 S2 046
 
326.CA1 (2018W) Seminar symbolic computation
Computer-algebra I
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 04.10.2018 10:15 - 11:45 HA 105
Do. 11.10.2018 10:15 - 11:45 HA 105
Do. 18.10.2018 10:15 - 11:45 HA 105
Do. 25.10.2018 10:15 - 11:45 HA 105
Do. 08.11.2018 10:15 - 11:45 HA 105
Do. 15.11.2018 10:15 - 11:45 HA 105
Do. 22.11.2018 10:15 - 11:45 HA 105
Do. 29.11.2018 10:15 - 11:45 HA 105
Do. 06.12.2018 10:15 - 11:45 HA 105
Do. 13.12.2018 10:15 - 11:45 HA 105
Do. 10.01.2019 10:15 - 11:45 HA 105
Do. 17.01.2019 10:15 - 11:45 HA 105
Do. 24.01.2019 10:15 - 11:45 HA 105
Do. 31.01.2019 10:15 - 11:45 HA 105
 
326.090 (2018W) Special Topics
Mathemtical Logic I
Further information
Register KV 3,0 Tudor Jebelean Weekly
 
Date Daytime Room Topic
Di. 16.10.2018 08:30 - 11:45 S2 054
Di. 23.10.2018 08:30 - 11:45 S2 054
Di. 30.10.2018 08:30 - 11:45 S2 054
Di. 06.11.2018 08:30 - 11:45 S2 054
Di. 13.11.2018 08:30 - 11:45 S2 054
Di. 20.11.2018 08:30 - 11:45 S2 054
Di. 27.11.2018 08:30 - 11:45 S2 054
Di. 04.12.2018 08:30 - 11:45 S2 054
Di. 11.12.2018 08:30 - 11:45 S2 054
Di. 08.01.2019 08:30 - 11:45 S2 054
Di. 15.01.2019 08:30 - 11:45 S2 054
Di. 22.01.2019 08:30 - 11:45 S2 054
Di. 29.01.2019 08:30 - 11:45 S2 054
 
326.082 (2018W) Special Topics symbolic computation
Algorithmic Number Theory
Further information
Register VL 2,0 Jose Capco Weekly
 
Date Daytime Room Topic
Mo. 01.10.2018 16:15 - 18:00 S2 046
Mo. 08.10.2018 16:15 - 18:00 S2 046
Mo. 15.10.2018 16:15 - 18:00 S2 046
Mo. 22.10.2018 16:15 - 18:00 S2 046
Mo. 29.10.2018 16:15 - 18:00 S2 046
Mo. 05.11.2018 16:15 - 18:00 S2 046
Mo. 12.11.2018 16:15 - 18:00 S2 046
Mo. 19.11.2018 16:15 - 18:00 S2 046
Mo. 26.11.2018 16:15 - 18:00 S2 046
Mo. 03.12.2018 16:15 - 18:00 S2 046
Mo. 10.12.2018 16:15 - 18:00 S2 046
Mo. 07.01.2019 16:15 - 18:00 S2 046
Mo. 14.01.2019 16:15 - 18:00 S2 046
Mo. 21.01.2019 16:15 - 18:00 S2 046
Mo. 28.01.2019 16:15 - 18:00 S2 046
 
326.026 (2018W) Special Topics symbolic computation
Algebraic and other nice power series
It's about power series from five diff. perspectives:Algebraic, Algorithmic, Arithmetic, Analytic, Asymptotic; combine techniques: combinatorics, commutative and computational algebra, complex analysis, function theory.No special prior knowledge required
Further information
Register VL 2,0 Herwig Hauser Block
 
Date Daytime Room Topic
Do. 04.10.2018 10:30 - 12:00 S2 416-1
Do. 04.10.2018 14:30 - 16:00 S2 416-1
Fr. 05.10.2018 09:30 - 11:00 S2 416-1
Do. 18.10.2018 10:15 - 12:45 S3 048
Do. 18.10.2018 15:30 - 17:00 T 406
Fr. 19.10.2018 09:15 - 11:00 S3 048
Do. 08.11.2018 08:30 - 10:00 K 009D
Do. 08.11.2018 10:15 - 12:45 K 223B
Do. 08.11.2018 14:30 - 16:15 K 112A
Do. 08.11.2018 15:30 - 17:00 HS 8
Fr. 09.11.2018 09:15 - 11:00 K 223B
Do. 22.11.2018 10:15 - 12:45 K 223B
Do. 22.11.2018 15:30 - 17:00 K 224B
Fr. 23.11.2018 09:15 - 11:00 K 034D
Do. 06.12.2018 10:30 - 12:00 S2 416-1
Do. 06.12.2018 15:30 - 17:00 S2 416-1
Fr. 07.12.2018 09:30 - 11:00 S2 416-1
Do. 13.12.2018 10:30 - 12:00 S2 416-1
 
326.020 (2018W) Special Topics symbolic computation
A Gentle Introduction to Analytic Combinatorics in Several Variables
Register VL 1,0 N.N. N.N. Weekly
 
No dates found.
 
326.032 (2018W) Special Topics symbolic computation
Computer algebra systems
Further information
Register VL 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Fr. 05.10.2018 12:00 - 14:30 S3 057
Fr. 12.10.2018 12:00 - 14:30 S3 057
Fr. 19.10.2018 12:00 - 14:30 S3 057
Fr. 09.11.2018 12:00 - 14:30 S3 057
Fr. 16.11.2018 12:00 - 14:30 S3 057
Fr. 23.11.2018 12:00 - 14:30 S3 057
Fr. 30.11.2018 12:00 - 14:30 S3 057
Fr. 07.12.2018 12:00 - 14:30 S3 057
Fr. 14.12.2018 12:00 - 14:30 S3 057
Fr. 11.01.2019 12:00 - 14:30 S3 057
Fr. 18.01.2019 12:00 - 14:30 S3 057
Fr. 25.01.2019 12:00 - 14:30 S3 057
Fr. 01.02.2019 12:00 - 14:30 S3 057
 
326.075 (2018W) Special Topics symbolic computation
Symbolic Summation and Special Functions I
Further information
Register VL 2,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Mi. 03.10.2018 16:00 - 17:30 HA 105
Mi. 10.10.2018 16:00 - 17:30 HA 105
Mi. 17.10.2018 16:00 - 17:30 HA 105
Mi. 24.10.2018 16:00 - 17:30 HA 105
Mi. 31.10.2018 16:00 - 17:30 HA 105
Mi. 07.11.2018 16:00 - 17:30 HA 105
Mi. 14.11.2018 16:00 - 17:30 HA 105
Mi. 21.11.2018 16:00 - 17:30 HA 105
Mi. 28.11.2018 16:00 - 17:30 HA 105
Mi. 05.12.2018 16:00 - 17:30 HA 105
Mi. 12.12.2018 16:00 - 17:30 HA 105
Mi. 09.01.2019 16:00 - 17:30 HA 105
Mi. 16.01.2019 16:00 - 17:30 HA 105
Mi. 23.01.2019 16:00 - 17:30 HA 105
Mi. 30.01.2019 16:00 - 17:30 HA 105
 
326.999 (2018W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,0 Wolfgang Windsteiger Block
 
Date Daytime Room Topic
Mo. 17.09.2018 08:30 - 15:15 HS 9
Di. 18.09.2018 08:30 - 15:15 HS 9
Mi. 19.09.2018 08:30 - 15:15 HS 9
Do. 20.09.2018 08:30 - 15:15 HS 9
Fr. 21.09.2018 08:30 - 11:45 HS 9
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail