RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Summer Semester 2015 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.007 (2015S) Algebraic and Discrete Methods for Biology
Further information
Register KV 2,00 Nikolaj Popov

Stephan Dreiseitl
Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Do 05.03.2015 13:45 - 15:15 HS 13
Do 12.03.2015 13:45 - 15:15 HS 13
Do 19.03.2015 13:45 - 15:15 HS 13
Do 26.03.2015 13:45 - 15:15 HS 13
Do 16.04.2015 13:45 - 15:15 HS 13
Do 23.04.2015 13:45 - 15:15 HS 13
Do 30.04.2015 13:45 - 15:15 HS 13
Do 07.05.2015 13:45 - 15:15 HS 13
Do 21.05.2015 13:45 - 15:15 HS 13
Do 28.05.2015 13:45 - 15:15 HS 13
Do 11.06.2015 13:45 - 15:15 HS 13
Do 18.06.2015 13:45 - 15:15 HS 13
Do 25.06.2015 13:45 - 15:15 HS 13
 
326.046 (2015S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Di 03.03.2015 12:00 - 13:30 HS 11
Di 10.03.2015 12:00 - 13:30 HS 11
Di 17.03.2015 12:00 - 13:30 HS 11
Di 24.03.2015 12:00 - 13:30 HS 11
Di 14.04.2015 12:00 - 13:30 HS 11
Di 21.04.2015 12:00 - 13:30 HS 11
Di 28.04.2015 12:00 - 13:30 HS 11
Di 05.05.2015 12:00 - 13:30 HS 11
Di 12.05.2015 12:00 - 13:30 HS 11
Di 19.05.2015 12:00 - 13:30 HS 11
Di 02.06.2015 12:00 - 13:30 HS 11
Di 09.06.2015 12:00 - 13:30 HS 11
Di 16.06.2015 12:00 - 13:30 HS 11
Di 23.06.2015 12:00 - 13:30 HS 11
Di 30.06.2015 12:00 - 13:30 HS 11
 
326.047 (2015S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,00 Silviu Radu Weekly
 
Date Daytime Room Topic
Di 03.03.2015 11:00 - 11:45 HS 11
Di 10.03.2015 11:00 - 11:45 HS 11
Di 17.03.2015 11:00 - 11:45 HS 11
Di 24.03.2015 11:00 - 11:45 HS 11
Di 14.04.2015 11:00 - 11:45 HS 11
Di 21.04.2015 11:00 - 11:45 HS 11
Di 28.04.2015 11:00 - 11:45 HS 11
Di 05.05.2015 11:00 - 11:45 HS 11
Di 12.05.2015 11:00 - 11:45 HS 11
Di 19.05.2015 11:00 - 11:45 HS 11
Di 02.06.2015 11:00 - 11:45 HS 11
Di 09.06.2015 11:00 - 11:45 HS 11
Di 16.06.2015 11:00 - 11:45 HS 11
Di 23.06.2015 11:00 - 11:45 HS 11
Di 30.06.2015 11:00 - 11:45 HS 11
 
326.052 (2015S) Computer systems
Further information
Register KV 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 06.03.2015 10:15 - 11:45 BA 9911
Fr 13.03.2015 10:15 - 11:45 BA 9911
Do 19.03.2015 12:00 - 13:30 S3 047
Fr 20.03.2015 10:15 - 11:45 BA 9911
Fr 20.03.2015 12:00 - 13:30 S3 047
Do 26.03.2015 12:00 - 13:30 S3 047
Fr 27.03.2015 10:15 - 11:45 BA 9911
Fr 27.03.2015 12:00 - 13:30 S3 047
Do 16.04.2015 12:00 - 13:30 S3 047
Fr 17.04.2015 10:15 - 11:45 BA 9911
Fr 17.04.2015 12:00 - 13:30 S2 044
Do 23.04.2015 12:00 - 13:30 S3 047
Fr 24.04.2015 10:15 - 11:45 BA 9911
Fr 24.04.2015 12:00 - 13:30 S3 047
Do 30.04.2015 12:00 - 13:30 S3 047
Do 07.05.2015 12:00 - 13:30 S3 047
Fr 08.05.2015 10:15 - 11:45 BA 9911
Fr 08.05.2015 12:00 - 13:30 S3 047
Fr 15.05.2015 10:15 - 11:45 BA 9911
Fr 15.05.2015 12:00 - 13:30 S3 047
Do 21.05.2015 12:00 - 13:30 S3 047
Fr 22.05.2015 10:15 - 11:45 BA 9911
Fr 22.05.2015 12:00 - 13:30 S3 047
Do 28.05.2015 12:00 - 13:30 S3 047
Fr 29.05.2015 10:15 - 11:45 BA 9911
Fr 29.05.2015 12:00 - 13:30 S3 047
Do 11.06.2015 12:00 - 13:30 S3 047
Fr 12.06.2015 10:15 - 11:45 BA 9911
Fr 12.06.2015 12:00 - 13:30 S3 047
Do 18.06.2015 12:00 - 13:30 S3 047
Fr 19.06.2015 10:15 - 11:45 BA 9911
Fr 19.06.2015 12:00 - 13:30 S3 047
Do 25.06.2015 12:00 - 13:30 S3 047
Fr 26.06.2015 10:15 - 11:45 BA 9911
Fr 26.06.2015 12:00 - 13:30 S3 047
Fr 03.07.2015 08:30 - 10:00 HS 8
 
326.703 (2015S) Formal Foundations in Business Informatics Register UE 1,00 Jakob Ablinger Weekly
 
Date Daytime Room Topic
Do 12.03.2015 13:45 - 14:30 HS 6
Do 19.03.2015 13:45 - 14:30 HS 6
Do 26.03.2015 13:45 - 14:30 HS 6
Do 16.04.2015 13:45 - 14:30 HS 6
Do 23.04.2015 13:45 - 14:30 HS 6
Do 30.04.2015 13:45 - 14:30 HS 6
Do 07.05.2015 13:45 - 14:30 HS 6
Do 21.05.2015 13:45 - 14:30 HS 6
Do 28.05.2015 13:45 - 14:30 HS 6
Do 11.06.2015 13:45 - 14:30 HS 6
Do 18.06.2015 13:45 - 14:30 HS 6
Do 25.06.2015 13:45 - 14:30 HS 6
 
326.712 (2015S) Formal Foundations in Business Informatics
Further information
Register VL 3,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do 05.03.2015 14:30 - 15:15 HS 6
Fr 06.03.2015 08:30 - 10:00 HS 10
Do 12.03.2015 14:30 - 15:15 HS 6
Fr 13.03.2015 08:30 - 10:00 HS 10
Do 19.03.2015 14:30 - 15:15 HS 6
Fr 20.03.2015 08:30 - 10:00 HS 10
Do 26.03.2015 14:30 - 15:15 HS 6
Fr 27.03.2015 08:30 - 10:00 HS 10
Do 16.04.2015 14:30 - 15:15 HS 6
Fr 17.04.2015 08:30 - 10:00 HS 10
Do 23.04.2015 14:30 - 15:15 HS 6
Fr 24.04.2015 08:30 - 10:00 HS 10
Do 30.04.2015 14:30 - 15:15 HS 6
Do 07.05.2015 14:30 - 15:15 HS 6
Fr 08.05.2015 08:30 - 10:00 HS 10
Fr 15.05.2015 08:30 - 10:00 HS 10
Do 21.05.2015 14:30 - 15:15 HS 6
Fr 22.05.2015 08:30 - 10:00 HS 10
Do 28.05.2015 14:30 - 15:15 HS 6
Fr 29.05.2015 08:30 - 10:00 HS 10
Do 11.06.2015 14:30 - 15:15 HS 6
Fr 12.06.2015 08:30 - 10:00 HS 10
Do 18.06.2015 14:30 - 15:15 HS 6
Fr 19.06.2015 08:30 - 10:00 HS 10
Do 25.06.2015 14:30 - 15:15 HS 6
Fr 26.06.2015 08:30 - 10:00 HS 10
Mi 08.07.2015 09:30 - 12:00 HS 6
Mi 08.07.2015 09:30 - 12:00 HS 5
Di 29.09.2015 09:30 - 12:00 HS 10
 
326.714 (2015S) Formal Foundations in Business Informatics
Further information
Register UE 1,00 Alexander Baumgartner Weekly
 
Date Daytime Room Topic
Do 12.03.2015 13:45 - 14:30 HS 6
Do 19.03.2015 13:45 - 14:30 HS 6
Do 26.03.2015 13:45 - 14:30 HS 6
Do 16.04.2015 13:45 - 14:30 HS 6
Do 23.04.2015 13:45 - 14:30 HS 6
Do 30.04.2015 13:45 - 14:30 HS 6
Do 07.05.2015 13:45 - 14:30 HS 6
Do 21.05.2015 13:45 - 14:30 HS 6
Do 28.05.2015 13:45 - 14:30 HS 6
Do 11.06.2015 13:45 - 14:30 HS 6
Do 18.06.2015 13:45 - 14:30 HS 6
Do 25.06.2015 13:45 - 14:30 HS 6
 
326.0FS (2015S) Formal Semantics of Programming Languages
Further information
Register VL 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 06.03.2015 08:30 - 10:00 HS 12
Fr 13.03.2015 08:30 - 10:00 HS 12
Fr 20.03.2015 08:30 - 10:00 HS 12
Fr 27.03.2015 08:30 - 10:00 HS 12
Fr 17.04.2015 08:30 - 10:00 HS 12
Fr 24.04.2015 08:30 - 10:00 HS 12
Fr 08.05.2015 08:30 - 10:00 HS 12
Fr 15.05.2015 08:30 - 10:00 HS 12
Fr 22.05.2015 08:30 - 10:00 HS 12
Fr 29.05.2015 08:30 - 10:00 HS 12
Fr 12.06.2015 08:30 - 10:00 HS 12
Fr 19.06.2015 08:30 - 10:00 HS 12
Fr 26.06.2015 08:30 - 10:00 HS 12
 
326.003 (2015S) Fundamentals of Numerical Analysis and Symbolic Computation
Isogeometric Analysis (Summer Semester 15)
Further information
Register KV 2,00 Bert Jüttler Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 13:45 - 15:15 S2 046
Mi 11.03.2015 13:45 - 15:15 BA 9909
Mi 18.03.2015 13:45 - 15:15 S2 046
Mi 25.03.2015 13:45 - 15:15 S2 046
Do 16.04.2015 10:15 - 11:45 K 034D
Mi 29.04.2015 13:45 - 15:15 S2 046
Mi 06.05.2015 13:45 - 15:15 S2 046
Mi 13.05.2015 13:45 - 15:15 S2 046
Mi 20.05.2015 13:45 - 15:15 S2 046
Mi 27.05.2015 13:45 - 15:15 S2 046
Mi 03.06.2015 13:45 - 15:15 S2 046
Mi 17.06.2015 13:45 - 15:15 S2 046
Mi 24.06.2015 13:45 - 15:15 S2 046
 
326.054 (2015S) Functional programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 16:15 - 18:00 MT 130
Mi 11.03.2015 16:15 - 18:00 MT 130
Mi 18.03.2015 16:15 - 18:00 MT 130
Mi 25.03.2015 16:15 - 18:00 MT 130
Mi 15.04.2015 16:15 - 18:00 MT 130
Mi 22.04.2015 16:15 - 18:00 MT 130
Mi 29.04.2015 16:15 - 18:00 MT 130
Mi 06.05.2015 16:15 - 18:00 MT 130
Mi 13.05.2015 16:15 - 18:00 MT 130
Mi 20.05.2015 16:15 - 18:00 MT 130
Mi 27.05.2015 16:15 - 18:00 MT 130
Mi 03.06.2015 16:15 - 18:00 MT 130
Mi 10.06.2015 16:15 - 18:00 MT 130
Mi 17.06.2015 16:15 - 18:00 MT 130
Mi 24.06.2015 16:15 - 18:00 MT 130
 
326.035 (2015S) Linear algebra for physicists II
Further information
Register UE 1,00 Burkhard Zimmermann Weekly
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 S2 046
Mo 16.03.2015 10:15 - 11:45 S2 046
Mo 23.03.2015 10:15 - 11:45 S2 046
Mo 13.04.2015 10:15 - 11:45 S2 046
Mo 20.04.2015 10:15 - 11:45 S2 046
 
326.037 (2015S) Linear algebra for physicists II
Further information
Register UE 1,00 Josef Schicho Weekly
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 S2 054
Mo 16.03.2015 10:15 - 11:45 S2 054
Mo 23.03.2015 10:15 - 11:45 S2 054
Mo 13.04.2015 10:15 - 11:45 S2 054
Mo 20.04.2015 10:15 - 11:45 S2 054
 
326.038 (2015S) Linear algebra for physicists II
Further information
Register VO 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Di 03.03.2015 11:00 - 11:45 HS 15
Mi 04.03.2015 10:15 - 11:45 HS 7
Do 05.03.2015 10:15 - 11:45 HS 2
Di 10.03.2015 11:00 - 11:45 HS 15
Mi 11.03.2015 10:15 - 11:45 HS 7
Do 12.03.2015 10:15 - 11:45 HS 2
Di 17.03.2015 11:00 - 11:45 HS 15
Mi 18.03.2015 10:15 - 11:45 HS 7
Do 19.03.2015 10:15 - 11:45 HS 2
Di 24.03.2015 11:00 - 11:45 HS 15
Mi 25.03.2015 10:15 - 11:45 HS 7
Do 26.03.2015 10:15 - 11:45 HS 2
Di 14.04.2015 11:00 - 11:45 HS 15
Mi 15.04.2015 10:15 - 11:45 HS 7
Do 16.04.2015 10:15 - 11:45 HS 2
Di 21.04.2015 11:00 - 11:45 HS 15
Mi 22.04.2015 10:15 - 11:45 HS 7
Do 23.04.2015 10:15 - 11:45 HS 2
Sa 25.04.2015 14:00 - 17:00 HS 1
Di 28.04.2015 11:00 - 11:45 HS 15
Mi 29.04.2015 10:15 - 11:45 HS 7
Do 30.04.2015 10:15 - 11:45 HS 2
Di 05.05.2015 11:00 - 11:45 HS 15
Mi 06.05.2015 10:15 - 11:45 HS 7
Do 07.05.2015 10:15 - 11:45 HS 2
Di 12.05.2015 11:00 - 11:45 HS 15
Mi 13.05.2015 10:15 - 11:45 HS 7
Di 19.05.2015 11:00 - 11:45 HS 15
Mi 20.05.2015 10:15 - 11:45 HS 7
Do 21.05.2015 10:15 - 11:45 HS 2
Mi 27.05.2015 10:15 - 11:45 HS 7
Do 28.05.2015 10:15 - 11:45 HS 2
Di 02.06.2015 11:00 - 11:45 HS 15
Mi 03.06.2015 10:15 - 11:45 HS 7
Di 09.06.2015 11:00 - 11:45 HS 15
Mi 10.06.2015 10:15 - 11:45 HS 7
Do 11.06.2015 10:15 - 11:45 HS 2
Di 16.06.2015 11:00 - 11:45 HS 15
Mi 17.06.2015 10:15 - 11:45 HS 7
Do 18.06.2015 10:15 - 11:45 HS 2
Di 23.06.2015 11:00 - 11:45 HS 15
Mi 24.06.2015 10:15 - 11:45 HS 7
Do 25.06.2015 10:15 - 11:45 HS 2
 
326.0LI (2015S) Linear algebra for physicists II
Further information
Register UE 1,00 Peter Mayr Block
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 MT 132
Mo 16.03.2015 10:15 - 11:45 MT 132
Mo 23.03.2015 10:15 - 11:45 MT 132
Mo 13.04.2015 10:15 - 11:45 MT 132
Mo 20.04.2015 10:15 - 11:45 MT 132
Mo 27.04.2015 10:15 - 11:45 MT 132
Mo 11.05.2015 10:15 - 11:45 MT 132
Mo 18.05.2015 10:15 - 11:45 MT 132
Mo 01.06.2015 10:15 - 11:45 MT 132
Mo 08.06.2015 10:15 - 11:45 MT 132
Mo 15.06.2015 10:15 - 11:45 MT 132
Mo 22.06.2015 10:15 - 11:45 MT 132
Mo 29.06.2015 10:15 - 11:45 MT 132
 
326.018 (2015S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Georg Grasegger Weekly
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 S2 053
Mo 16.03.2015 10:15 - 11:45 S2 053
Mo 23.03.2015 10:15 - 11:45 S2 053
Mo 13.04.2015 10:15 - 11:45 S2 053 1. Klausur
Mo 20.04.2015 10:15 - 11:45 S2 053
Mo 27.04.2015 10:15 - 11:45 S2 053
Mo 11.05.2015 10:15 - 11:45 S2 053
Mo 18.05.2015 10:15 - 11:45 S2 053
Mo 01.06.2015 10:15 - 11:45 S2 053
Mo 08.06.2015 10:15 - 11:45 S2 053
Mo 15.06.2015 10:15 - 11:45 S2 053 2. Klausur (HS 4)
Mo 22.06.2015 10:15 - 11:45 S2 053
Fr 26.06.2015 08:30 - 10:00 S2 053 Offene Fragen
 
326.034 (2015S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 HS 14
Mo 16.03.2015 10:15 - 11:45 HS 14
Mo 23.03.2015 10:15 - 11:45 HS 14
Mo 13.04.2015 10:15 - 11:45 HS 14
Mo 20.04.2015 10:15 - 11:45 HS 14
Mo 27.04.2015 10:15 - 11:45 HS 14
Mo 11.05.2015 10:15 - 11:45 HS 14
Mo 18.05.2015 10:15 - 11:45 HS 14
Mo 01.06.2015 10:15 - 11:45 HS 14
Mo 08.06.2015 10:15 - 11:45 HS 14
Mo 15.06.2015 10:15 - 11:45 HS 14
Mo 22.06.2015 10:15 - 11:45 HS 14
Mo 29.06.2015 10:15 - 11:45 HS 14
 
326.040 (2015S) Linear algebra and analytic geometry 2
Further information
Register VO 5,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Di 03.03.2015 11:00 - 11:45 HS 15
Mi 04.03.2015 10:15 - 11:45 HS 7
Do 05.03.2015 10:15 - 11:45 HS 2
Di 10.03.2015 11:00 - 11:45 HS 15
Mi 11.03.2015 10:15 - 11:45 HS 7
Do 12.03.2015 10:15 - 11:45 HS 2
Di 17.03.2015 11:00 - 11:45 HS 15
Mi 18.03.2015 10:15 - 11:45 HS 7
Do 19.03.2015 10:15 - 11:45 HS 2
Di 24.03.2015 11:00 - 11:45 HS 15
Mi 25.03.2015 10:15 - 11:45 HS 7
Do 26.03.2015 10:15 - 11:45 HS 2
Di 14.04.2015 11:00 - 11:45 HS 15
Mi 15.04.2015 10:15 - 11:45 HS 7
Do 16.04.2015 10:15 - 11:45 HS 2
Di 21.04.2015 11:00 - 11:45 HS 15
Mi 22.04.2015 10:15 - 11:45 HS 7
Do 23.04.2015 10:15 - 11:45 HS 2
Di 28.04.2015 11:00 - 11:45 HS 15
Mi 29.04.2015 10:15 - 11:45 HS 7
Do 30.04.2015 10:15 - 11:45 HS 2
Di 05.05.2015 11:00 - 11:45 HS 15
Mi 06.05.2015 10:15 - 11:45 HS 7
Do 07.05.2015 10:15 - 11:45 HS 2
Di 12.05.2015 11:00 - 11:45 HS 15
Mi 13.05.2015 10:15 - 11:45 HS 7
Di 19.05.2015 11:00 - 11:45 HS 15
Mi 20.05.2015 10:15 - 11:45 HS 7
Do 21.05.2015 10:15 - 11:45 HS 2
Mi 27.05.2015 10:15 - 11:45 HS 7
Do 28.05.2015 10:15 - 11:45 HS 2
Di 02.06.2015 11:00 - 11:45 HS 15
Mi 03.06.2015 10:15 - 11:45 HS 7
Di 09.06.2015 11:00 - 11:45 HS 15
Mi 10.06.2015 10:15 - 11:45 HS 7
Do 11.06.2015 10:15 - 11:45 HS 2
Mo 15.06.2015 10:15 - 11:45 HS 2
Mo 15.06.2015 10:15 - 11:45 HS 4
Mo 15.06.2015 10:15 - 11:45 HS 6
Di 16.06.2015 11:00 - 11:45 HS 15
Mi 17.06.2015 10:15 - 11:45 HS 7
Do 18.06.2015 10:15 - 11:45 HS 2
Di 23.06.2015 11:00 - 11:45 HS 15
Mi 24.06.2015 10:15 - 11:45 HS 7
Do 25.06.2015 10:15 - 11:45 HS 2
Sa 27.06.2015 09:00 - 12:00 HS 1
 
326.044 (2015S) Linear algebra and analytic geometry 2
Further information
Register KO 2,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo 02.03.2015 13:45 - 15:15 HT 177F
Mo 09.03.2015 13:45 - 15:15 HS 14
Mo 09.03.2015 13:45 - 15:15 HT 177F
Mo 16.03.2015 13:45 - 15:15 HT 177F
Mo 23.03.2015 13:45 - 15:15 HT 177F
Mo 13.04.2015 13:45 - 15:15 HT 177F
Mo 20.04.2015 13:45 - 15:15 HT 177F
Mo 27.04.2015 13:45 - 15:15 HT 177F
Mo 11.05.2015 13:45 - 15:15 HT 177F
Mo 18.05.2015 13:45 - 15:15 HT 177F
Mo 01.06.2015 13:45 - 15:15 HT 177F
Mo 08.06.2015 13:45 - 15:15 HT 177F
Mo 15.06.2015 13:45 - 15:15 HT 177F
Mo 22.06.2015 13:45 - 15:15 HT 177F
Mo 29.06.2015 13:45 - 15:15 HT 177F
 
326.0UL (2015S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Franz Binder Weekly
 
Date Daytime Room Topic
Mo 09.03.2015 10:15 - 11:45 S2 Z74 1. Übungsblatt
Mo 16.03.2015 10:15 - 11:45 S2 Z74 2. Übungsblatt
Mo 23.03.2015 10:15 - 11:45 S2 Z74 3. Übungsblatt
Mo 13.04.2015 10:15 - 11:45 S2 Z74 1. Test
Mo 20.04.2015 10:15 - 11:45 S2 Z74 4. Übungsblatt
Mo 27.04.2015 10:15 - 11:45 S2 Z74 5. Übungsblatt
Mo 11.05.2015 10:15 - 11:45 S2 Z74 6. Übungsblatt
Mo 18.05.2015 10:15 - 11:45 S2 Z74 7. Übungsblatt
Mo 01.06.2015 10:15 - 11:45 S2 Z74 8. Übungsblatt
Mo 08.06.2015 10:15 - 11:45 S2 Z74 9. Übungsblatt
Mo 15.06.2015 10:15 - 11:45 S2 Z74 2. Test, im HS 6.
Mo 22.06.2015 10:15 - 11:45 S2 Z74 10. Übungsblatt
 
326.0LG (2015S) Logical Foundations and Computer-Supported Proving for Teacher Training Mathematics Register SE 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 03.03.2015 17:15 - 18:00 S2 054
Di 17.03.2015 17:15 - 18:45 S2 120
Di 24.03.2015 17:15 - 18:45 S2 120
Di 14.04.2015 17:15 - 18:45 S2 120
Di 21.04.2015 17:15 - 18:45 S2 120
Di 28.04.2015 17:15 - 18:45 S2 120
Di 05.05.2015 17:15 - 18:45 S2 120
Di 12.05.2015 17:15 - 18:45 S2 059
Di 19.05.2015 17:15 - 18:45 S2 059
Di 02.06.2015 17:15 - 18:45 S2 059
Di 09.06.2015 17:15 - 18:45 S2 059
Di 16.06.2015 17:15 - 18:45 S2 059
Di 23.06.2015 17:15 - 18:45 S2 059
 
326.0XX (2015S) Seminar for graduate and doctoral students
Summer Semester 15
Further information
Register SE 2,00 Peter Paule Weekly
 
No dates found.
 
326.0YY (2015S) Seminar for graduate and doctoral students
Summer Semester 15
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2015S) Seminar for graduate and doctoral students
Summer Semester 15
Further information
Register SE 2,00 Franz Winkler Weekly
 
No dates found.
 
357.301 (2015S) Mathematics for Economists
Further information
Register KS 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Do 05.03.2015 17:15 - 18:45 HS 7
Do 05.03.2015 19:00 - 20:30 HS 7
Do 12.03.2015 17:15 - 18:45 HS 7
Do 12.03.2015 19:00 - 20:30 HS 7
Do 19.03.2015 17:15 - 18:45 HS 7
Do 19.03.2015 19:00 - 20:30 HS 7
Do 26.03.2015 17:15 - 18:45 HS 7
Do 26.03.2015 19:00 - 20:30 HS 7
Do 16.04.2015 17:15 - 18:45 HS 18
Do 16.04.2015 19:00 - 20:30 HS 18
Do 23.04.2015 17:15 - 18:45 HS 18
Do 23.04.2015 19:00 - 20:30 HS 18
Do 30.04.2015 17:15 - 18:45 HS 18
Do 30.04.2015 19:00 - 20:30 HS 18
Do 07.05.2015 17:15 - 18:45 HS 18
Do 07.05.2015 19:00 - 20:30 HS 18
Do 21.05.2015 17:15 - 18:45 HS 18
Do 21.05.2015 19:00 - 20:30 HS 18
Do 28.05.2015 17:15 - 18:45 HS 18
Do 28.05.2015 19:00 - 20:30 HS 18
Do 11.06.2015 17:15 - 18:45 HS 18
Do 11.06.2015 19:00 - 20:30 HS 18
Do 18.06.2015 17:15 - 18:45 HS 18
Do 18.06.2015 19:00 - 20:30 HS 18
Do 25.06.2015 17:15 - 18:45 HS 18
Do 25.06.2015 19:00 - 20:30 HS 18
Do 02.07.2015 13:45 - 15:15 HS 15 Klausur
Do 02.07.2015 13:45 - 15:15 HS 18 Klausur
Do 02.07.2015 13:45 - 15:15 HS 9 Klausur
Do 02.07.2015 13:45 - 15:15 HS 10 Klausur
Do 02.07.2015 13:45 - 15:15 HS 1 Klausur
Mi 16.09.2015 09:30 - 11:00 HS 9
Mi 16.09.2015 09:30 - 11:00 HS 10
Mi 16.09.2015 09:30 - 11:00 HS 16
Mi 16.09.2015 09:30 - 11:00 HS 7
Mi 16.09.2015 09:30 - 11:00 HS 2
 
326.059 (2015S) Mathematical logic 2
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do 05.03.2015 08:30 - 10:00 HS 11
Do 12.03.2015 08:30 - 10:00 HS 11
Do 19.03.2015 08:30 - 10:00 HS 11
Do 26.03.2015 08:30 - 10:00 HS 11
Do 16.04.2015 08:30 - 10:00 HS 11
Do 23.04.2015 08:30 - 10:00 HS 11
Do 30.04.2015 08:30 - 10:00 HS 11
Do 07.05.2015 08:30 - 10:00 HS 11
Do 21.05.2015 08:30 - 10:00 HS 11
Do 28.05.2015 08:30 - 10:00 HS 11
Do 11.06.2015 08:30 - 10:00 HS 11
Do 18.06.2015 08:30 - 10:00 HS 11
Do 25.06.2015 08:30 - 10:00 HS 11
 
326.041 (2015S) Practical software technology
Further information
Register KV 4,00 Alexander Baumgartner Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 14:30 - 16:15 MT 128
Mi 11.03.2015 14:30 - 16:15 MT 128
Do 12.03.2015 14:30 - 16:15 S3 047
Mi 18.03.2015 14:30 - 16:15 MT 128
Do 19.03.2015 14:30 - 16:15 S3 047
Mi 25.03.2015 14:30 - 16:15 MT 128
Do 26.03.2015 14:30 - 16:15 S3 047
Mi 15.04.2015 14:30 - 16:15 MT 128
Do 16.04.2015 14:30 - 16:15 S3 047
Mi 22.04.2015 14:30 - 16:15 MT 128
Do 23.04.2015 14:30 - 16:15 S3 047
Mi 29.04.2015 14:30 - 16:15 MT 128
Do 30.04.2015 14:30 - 16:15 S3 047
Mi 06.05.2015 14:30 - 16:15 MT 128
Do 07.05.2015 14:30 - 16:15 S3 047
Mi 13.05.2015 14:30 - 16:15 MT 128
Mi 20.05.2015 14:30 - 16:15 MT 128
Do 21.05.2015 14:30 - 16:15 S3 047
Mi 27.05.2015 14:30 - 16:15 MT 128
Do 28.05.2015 14:30 - 16:15 S3 047
Mi 03.06.2015 14:30 - 16:15 MT 128
Mi 10.06.2015 14:30 - 16:15 MT 128
Do 11.06.2015 14:30 - 16:15 S3 047
Mi 17.06.2015 14:30 - 16:15 MT 128
Do 18.06.2015 14:30 - 16:15 S3 047
Mi 24.06.2015 14:30 - 16:15 MT 130
Do 25.06.2015 14:30 - 16:15 S3 047
 
326.062 (2015S) Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 03.03.2015 14:30 - 16:15 HT 176G
Di 10.03.2015 14:30 - 16:15 HT 176G
Di 17.03.2015 14:30 - 16:15 HT 176G
Di 24.03.2015 14:30 - 16:15 HT 176G
Di 14.04.2015 14:30 - 16:15 HT 176G
Di 21.04.2015 14:30 - 16:15 HT 176G
Di 28.04.2015 14:30 - 16:15 HT 176G
Di 05.05.2015 14:30 - 16:15 HT 176G
Di 12.05.2015 14:30 - 16:15 HT 176G
Di 19.05.2015 14:30 - 16:15 HT 176G
Di 02.06.2015 14:30 - 16:15 HT 176G
Di 09.06.2015 14:30 - 16:15 HT 176G
Di 16.06.2015 14:30 - 16:15 HT 176G
Di 23.06.2015 14:30 - 16:15 HT 176G
 
326.049 (2015S) Programming project symbolic computation
Computer algebra, Logic and Softwaredesign II
Further information
Register KV 2,00 Ralf Hemmecke Weekly
 
No dates found.
 
326.065 (2015S) Rewriting in Computer Science and Logic
Further information
Register VL 2,00 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Fr 06.03.2015 12:00 - 13:30 T 406
Fr 13.03.2015 12:00 - 13:30 T 406
Fr 20.03.2015 12:00 - 13:30 T 406
Fr 27.03.2015 12:00 - 13:30 T 406
Fr 17.04.2015 12:00 - 13:30 T 406
Fr 24.04.2015 12:00 - 13:30 T 406
Fr 08.05.2015 12:00 - 13:30 T 406
Fr 15.05.2015 12:00 - 13:30 T 406
Fr 22.05.2015 12:00 - 13:30 T 406
Fr 29.05.2015 12:00 - 13:30 T 406
Fr 12.06.2015 12:00 - 13:30 T 406
Fr 19.06.2015 12:00 - 13:30 T 406
Fr 26.06.2015 12:00 - 13:30 T 406
Di 07.07.2015 11:30 - 13:00 T 406
 
326.098 (2015S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 11:00 - 12:30 HA 105
Mi 11.03.2015 11:00 - 12:30 HA 105
Mi 18.03.2015 11:00 - 12:30 HA 105
Mi 25.03.2015 11:00 - 12:30 HA 105
Mi 15.04.2015 11:00 - 12:30 HA 105
Mi 22.04.2015 11:00 - 12:30 HA 105
Mi 29.04.2015 11:00 - 12:30 HA 105
Mi 06.05.2015 11:00 - 12:30 HA 105
Mi 13.05.2015 11:00 - 12:30 HA 105
Mi 20.05.2015 11:00 - 12:30 HA 105
Mi 27.05.2015 11:00 - 12:30 HA 105
Mi 03.06.2015 11:00 - 12:30 HA 105
Mi 10.06.2015 11:00 - 12:30 HA 105
Mi 17.06.2015 11:00 - 12:30 HA 105
Mi 24.06.2015 11:00 - 12:30 HA 105
 
326.099 (2015S) Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 15)
Further information
Register SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 12:30 - 14:00 HA 105
Mi 11.03.2015 12:30 - 14:00 HA 105
Mi 18.03.2015 12:30 - 14:00 HA 105
Mo 23.03.2015 17:15 - 18:45 S2 054
Mi 25.03.2015 12:30 - 14:00 HA 105
Mi 15.04.2015 12:30 - 14:00 HA 105
Mi 22.04.2015 12:30 - 14:00 HA 105
Mi 29.04.2015 12:30 - 14:00 HA 105
Mi 06.05.2015 12:30 - 14:00 HA 105
Mi 13.05.2015 12:30 - 14:00 HA 105
Mi 20.05.2015 12:30 - 14:00 HA 105
Mi 27.05.2015 12:30 - 14:00 HA 105
Mi 03.06.2015 12:30 - 14:00 HA 105
Mi 10.06.2015 12:30 - 14:00 HA 105
Mi 17.06.2015 12:30 - 14:00 HA 105
Mi 24.06.2015 12:30 - 14:00 HA 105
 
326.001 (2015S) Seminar symbolic computation
Computer-Algebra II (Summer Semester 15)
Further information
Register SE 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Do 05.03.2015 14:30 - 16:00 HA 105
Do 12.03.2015 14:30 - 16:00 HA 105
Do 19.03.2015 14:30 - 16:00 HA 105
Do 26.03.2015 14:30 - 16:00 HA 105
Do 16.04.2015 14:30 - 16:00 HA 105
Do 23.04.2015 14:30 - 16:00 HA 105
Do 30.04.2015 14:30 - 16:00 HA 105
Do 07.05.2015 14:30 - 16:00 HA 105
Do 21.05.2015 14:30 - 16:00 HA 105
Do 28.05.2015 14:30 - 16:00 HA 105
Do 11.06.2015 14:30 - 16:00 HA 105
Do 18.06.2015 14:30 - 16:00 HA 105
Do 25.06.2015 14:30 - 16:00 HA 105
 
326.060 (2015S) Seminar symbolic computation
Algorithmic Algebra
Register SE 2,00 Josef Schicho Weekly
 
No dates found.
 
326.096 (2015S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 15)
Further information
Register SE 2,00 Peter Paule

Manuel Kauers
Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 14:00 - 15:30 HA 105
Mi 11.03.2015 14:00 - 15:30 HA 105
Mi 18.03.2015 14:00 - 15:30 HA 105
Mi 25.03.2015 14:00 - 15:30 HA 105
Mi 15.04.2015 14:00 - 15:30 HA 105
Mi 22.04.2015 14:00 - 15:30 HA 105
Mi 29.04.2015 14:00 - 15:30 HA 105
Mi 06.05.2015 14:00 - 15:30 HA 105
Mi 13.05.2015 14:00 - 15:30 HA 105
Mi 20.05.2015 14:00 - 15:30 HA 105
Mi 27.05.2015 14:00 - 15:30 HA 105
Mi 03.06.2015 14:00 - 15:30 HA 105
Mi 10.06.2015 14:00 - 15:30 HA 105
Mi 17.06.2015 14:00 - 15:30 HA 105
Mi 24.06.2015 14:00 - 15:30 HA 105
 
326.0UU (2015S) Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 15)
Further information
Register SE 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Do 05.03.2015 14:30 - 16:00 HA 105
Do 12.03.2015 14:30 - 16:00 HA 105
Do 19.03.2015 14:30 - 16:00 HA 105
Do 26.03.2015 14:30 - 16:00 HA 105
Do 16.04.2015 14:30 - 16:00 HA 105
Do 23.04.2015 14:30 - 16:00 HA 105
Do 30.04.2015 14:30 - 16:00 HA 105
Do 07.05.2015 14:30 - 16:00 HA 105
Do 21.05.2015 14:30 - 16:00 HA 105
Do 28.05.2015 14:30 - 16:00 HA 105
Do 11.06.2015 14:30 - 16:00 HA 105
Do 18.06.2015 14:30 - 16:00 HA 105
Do 25.06.2015 14:30 - 16:00 HA 105
 
326.068 (2015S) Software engineering
Further information
Register KV 2,00 Petru Pau Weekly
 
Date Daytime Room Topic
Di 03.03.2015 16:15 - 18:00 BA 9909
Di 10.03.2015 16:15 - 18:00 BA 9909
Di 17.03.2015 16:15 - 18:00 BA 9909
Di 24.03.2015 16:15 - 18:00 BA 9909
Di 14.04.2015 16:15 - 18:00 BA 9909
Di 21.04.2015 16:15 - 18:00 BA 9909
Di 28.04.2015 16:15 - 18:00 BA 9909
Mo 04.05.2015 09:00 - 11:00 K 009D
Di 05.05.2015 16:15 - 18:00 BA 9909
Di 12.05.2015 16:15 - 18:00 BA 9909
Di 19.05.2015 16:15 - 18:00 BA 9909
Di 02.06.2015 16:15 - 18:00 BA 9909
Di 09.06.2015 16:15 - 18:00 BA 9909
Di 16.06.2015 16:15 - 18:00 BA 9909
Di 23.06.2015 16:15 - 18:00 BA 9909
Di 30.06.2015 16:15 - 18:00 BA 9909
 
326.088 (2015S) Special Topics
Functional Programming
Further information
Register VL 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 16:15 - 18:00 MT 130
Mi 11.03.2015 16:15 - 18:00 MT 130
Mi 18.03.2015 16:15 - 18:00 MT 130
Mi 25.03.2015 16:15 - 18:00 MT 130
Mi 15.04.2015 16:15 - 18:00 MT 130
Mi 22.04.2015 16:15 - 18:00 MT 130
Mi 29.04.2015 16:15 - 18:00 MT 130
Mi 06.05.2015 16:15 - 18:00 MT 130
Mi 13.05.2015 16:15 - 18:00 MT 130
Mi 20.05.2015 16:15 - 18:00 MT 130
Mi 27.05.2015 16:15 - 18:00 MT 130
Mi 03.06.2015 16:15 - 18:00 MT 130
Mi 10.06.2015 16:15 - 18:00 MT 130
Mi 17.06.2015 16:15 - 18:00 MT 130
Mi 24.06.2015 16:15 - 18:00 MT 130
 
326.0VR (2015S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo 02.03.2015 08:30 - 10:00 S2 046
Mo 09.03.2015 08:30 - 10:00 S2 046
Mo 16.03.2015 08:30 - 10:00 S2 046
Mo 23.03.2015 08:30 - 10:00 S2 046
Mo 13.04.2015 08:30 - 10:00 S2 046
Mo 20.04.2015 08:30 - 10:00 S2 046
Mo 27.04.2015 08:30 - 10:00 S2 046
Mo 11.05.2015 08:30 - 10:00 S2 046
Mo 18.05.2015 08:30 - 10:00 S2 046
Mo 01.06.2015 08:30 - 10:00 S2 046
Mo 08.06.2015 08:30 - 11:45 S2 046
Mo 15.06.2015 08:30 - 11:45 S2 046
Mo 22.06.2015 08:30 - 10:00 S2 046
Mo 29.06.2015 08:30 - 10:00 S2 046
 
326.00E (2015S) Special topics logic and software design
Formal Languages and Formal Grammars
Further information
Register VL 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do 05.03.2015 16:15 - 18:00 K 112A
Do 12.03.2015 16:15 - 18:00 K 112A
Do 19.03.2015 16:15 - 18:00 K 112A
Do 26.03.2015 16:15 - 18:00 K 112A
Do 16.04.2015 16:15 - 18:00 K 112A
Do 23.04.2015 16:15 - 18:00 K 112A
Do 30.04.2015 16:15 - 18:00 K 112A
Do 07.05.2015 16:15 - 18:00 K 112A
Do 21.05.2015 16:15 - 18:00 K 112A
Do 28.05.2015 16:15 - 18:00 K 112A
Do 11.06.2015 16:15 - 18:00 K 112A
Do 18.06.2015 16:15 - 18:00 K 112A
Do 25.06.2015 16:15 - 18:00 K 112A
 
326.076 (2015S) Special topics logic and software design
Formal Models for Parallel and Distributed Systems
Further information
Register VL 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo 02.03.2015 08:30 - 10:00 S2 046
Mo 09.03.2015 08:30 - 10:00 S2 046
Mo 16.03.2015 08:30 - 10:00 S2 046
Mo 23.03.2015 08:30 - 10:00 S2 046
Mo 13.04.2015 08:30 - 10:00 S2 046
Mo 20.04.2015 08:30 - 10:00 S2 046
Mo 27.04.2015 08:30 - 10:00 S2 046
Mo 11.05.2015 08:30 - 10:00 S2 046
Mo 18.05.2015 08:30 - 10:00 S2 046
Mo 01.06.2015 08:30 - 10:00 S2 046
Mo 08.06.2015 08:30 - 11:45 S2 046
Mo 15.06.2015 08:30 - 11:45 S2 046
Mo 22.06.2015 08:30 - 10:00 S2 046
Mo 29.06.2015 08:30 - 10:00 S2 046
 
326.075 (2015S) Special Topics symbolic computation
Symbolic Summation and Special Functions II
Further information
Register VL 2,00 Silviu Radu Weekly
 
Date Daytime Room Topic
Mi 04.03.2015 16:15 - 18:00 HA 105
Mi 11.03.2015 16:15 - 18:00 HA 105
Mi 18.03.2015 16:15 - 18:00 HA 105
Mi 25.03.2015 16:15 - 18:00 HA 105
Mi 15.04.2015 16:15 - 18:00 HA 105
Mi 22.04.2015 16:15 - 18:00 HA 105
Mi 29.04.2015 16:15 - 18:00 HA 105
Mi 06.05.2015 16:15 - 18:00 HA 105
Mi 13.05.2015 16:15 - 18:00 HA 105
Mi 20.05.2015 16:15 - 18:00 HA 105
Mi 27.05.2015 16:15 - 18:00 HA 105
Mi 03.06.2015 16:15 - 18:00 HA 105
Mi 10.06.2015 16:15 - 18:00 HA 105
Mi 17.06.2015 16:15 - 18:00 HA 105
Mi 24.06.2015 16:15 - 18:00 HA 105
 
326.0SP (2015S) Special Topics symbolic computation
Loewy Decomposition of Linear Differential Equations
Further information
Register VL 2,00 Fritz Schwarz Block
 
Date Daytime Room Topic
Di 05.05.2015 08:30 - 10:00 HF 9915
Fr 08.05.2015 10:15 - 11:45 HF 9915
Di 12.05.2015 08:30 - 10:00 HF 9915
Mi 13.05.2015 08:30 - 10:00 HF 9915
Di 19.05.2015 08:30 - 10:00 HF 9915
Fr 22.05.2015 10:15 - 11:45 HF 9915
Mi 27.05.2015 08:30 - 10:00 HF 9915
Fr 29.05.2015 10:15 - 11:45 HF 9915
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail