RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Summer Semester 2013 (Details)

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

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

Stephan Dreiseitl
Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Do 07.03.2013 13:45 - 15:15 HS 12
Do 14.03.2013 13:45 - 15:15 HS 12
Do 21.03.2013 13:45 - 15:15 HS 12
Do 11.04.2013 13:45 - 15:15 HS 12
Do 18.04.2013 13:45 - 15:15 HS 12
Do 25.04.2013 13:45 - 15:15 HS 12
Do 02.05.2013 13:45 - 15:15 HS 12
Do 16.05.2013 13:45 - 15:15 HS 12
Do 23.05.2013 13:45 - 15:15 HS 12
Do 06.06.2013 13:45 - 15:15 HS 12
Do 13.06.2013 13:45 - 15:15 HS 12
Do 20.06.2013 13:45 - 15:15 HS 12
Do 27.06.2013 13:45 - 15:15 HS 12
 
326.009 (2013S) Algorithmic combinatorics
Further information
Register VO 2,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Di 05.03.2013 12:00 - 13:30 HS 14
Di 12.03.2013 12:00 - 13:30 HS 14
Di 19.03.2013 12:00 - 13:30 HS 14
Di 09.04.2013 12:00 - 13:30 HS 14
Di 16.04.2013 12:00 - 13:30 HS 14
Di 23.04.2013 12:00 - 13:30 HS 14
Di 30.04.2013 12:00 - 13:30 HS 14
Di 07.05.2013 12:00 - 13:30 HS 14
Di 14.05.2013 12:00 - 13:30 HS 14
Di 28.05.2013 12:00 - 13:30 HS 14
Di 04.06.2013 12:00 - 13:30 HS 14
Di 11.06.2013 12:00 - 13:30 HS 14
Di 18.06.2013 12:00 - 13:30 HS 14
Di 25.06.2013 12:00 - 13:30 HS 14
 
326.043 (2013S) Algorithmic combinatorics
Further information
Register UE 1,00 Silviu Radu Weekly
 
Date Daytime Room Topic
Di 12.03.2013 11:00 - 11:45 HS 11
Di 19.03.2013 11:00 - 11:45 HS 11
Di 09.04.2013 11:00 - 11:45 HS 11
Di 16.04.2013 11:00 - 11:45 HS 11
Di 23.04.2013 11:00 - 11:45 HS 11
Di 30.04.2013 11:00 - 11:45 HS 11
Di 07.05.2013 11:00 - 11:45 HS 11
Di 14.05.2013 11:00 - 11:45 HS 11
Di 28.05.2013 11:00 - 11:45 HS 11
Di 04.06.2013 11:00 - 11:45 HS 11
Di 11.06.2013 11:00 - 11:45 HS 11
Di 18.06.2013 11:00 - 11:45 HS 11
Di 25.06.2013 11:00 - 11:45 HS 11
 
326.052 (2013S) Computer systems
Further information
Register KV 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 08.03.2013 10:15 - 11:45 BA 9911
Fr 15.03.2013 10:15 - 11:45 BA 9911
Fr 22.03.2013 10:15 - 11:45 BA 9911
Fr 12.04.2013 10:15 - 11:45 BA 9911
Fr 19.04.2013 10:15 - 11:45 BA 9911
Fr 26.04.2013 10:15 - 11:45 BA 9911
Fr 03.05.2013 10:15 - 11:45 BA 9911
Fr 10.05.2013 10:15 - 11:45 BA 9911
Fr 17.05.2013 10:15 - 11:45 BA 9911
Fr 24.05.2013 10:15 - 11:45 BA 9911
Fr 07.06.2013 10:15 - 11:45 BA 9911
Fr 14.06.2013 10:15 - 11:45 BA 9911
Fr 21.06.2013 10:15 - 11:45 BA 9911
Fr 28.06.2013 10:15 - 11:45 BA 9911
Mo 01.07.2013 10:15 - 11:45 HS 4
 
326.058 (2013S) Elimination theory
Further information
Register VO 2,00 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo 11.03.2013 15:30 - 17:00 HS 12
Mo 18.03.2013 15:30 - 17:00 HS 12
Mo 08.04.2013 15:30 - 17:00 HS 12
Mo 15.04.2013 15:30 - 17:00 HS 12
Mo 22.04.2013 15:30 - 17:00 HS 12
Mo 29.04.2013 15:30 - 17:00 HS 12
Mo 06.05.2013 15:30 - 17:00 HS 12
Mo 13.05.2013 15:30 - 17:00 HS 12
Mo 27.05.2013 15:30 - 17:00 HS 12
Mo 03.06.2013 15:30 - 17:00 HS 12
Mo 10.06.2013 15:30 - 17:00 HS 12
Fr 14.06.2013 12:45 - 15:15 K 009D
Mo 17.06.2013 15:30 - 17:00 HS 12
Mo 24.06.2013 15:30 - 17:00 HS 12
 
326.703 (2013S) Formal Foundations in Business Informatics Register UE 1,00 Richard Lechner Weekly
 
Date Daytime Room Topic
Do 14.03.2013 13:45 - 14:30 HS 3
Do 21.03.2013 13:45 - 14:30 HS 4
Do 11.04.2013 13:45 - 14:30 HS 4
Do 18.04.2013 13:45 - 14:30 HS 4
Do 25.04.2013 13:45 - 14:30 HS 4
Do 02.05.2013 13:45 - 14:30 HS 4
Do 16.05.2013 13:45 - 14:30 HS 4
Do 23.05.2013 13:45 - 14:30 HS 4
Do 06.06.2013 13:45 - 14:30 HS 4
Do 13.06.2013 13:45 - 14:30 HS 4
Do 20.06.2013 13:45 - 14:30 HS 4
Do 27.06.2013 13:45 - 14:30 HS 4
 
326.712 (2013S) Formal Foundations in Business Informatics
Further information
Register VO 3,00 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Do 07.03.2013 14:30 - 15:15 HS 4
Fr 08.03.2013 08:30 - 10:00 HS 9
Do 14.03.2013 14:30 - 15:15 HS 3
Fr 15.03.2013 08:30 - 10:00 HS 10
Do 21.03.2013 14:30 - 15:15 HS 4
Fr 22.03.2013 08:30 - 10:00 HS 10
Do 11.04.2013 14:30 - 15:15 HS 4
Fr 12.04.2013 08:30 - 10:00 HS 10
Do 18.04.2013 14:30 - 15:15 HS 4
Fr 19.04.2013 08:30 - 10:00 HS 10
Do 25.04.2013 14:30 - 15:15 HS 4
Fr 26.04.2013 08:30 - 10:00 HS 10
Do 02.05.2013 14:30 - 15:15 HS 4
Fr 03.05.2013 08:30 - 10:00 HS 10
Fr 03.05.2013 10:15 - 11:45 HS 9
Fr 10.05.2013 08:30 - 10:00 HS 10
Do 16.05.2013 14:30 - 15:15 HS 4
Fr 17.05.2013 08:30 - 10:00 HS 10
Do 23.05.2013 14:30 - 15:15 HS 4
Fr 24.05.2013 08:30 - 10:00 HS 9
Fr 24.05.2013 10:15 - 11:45 HS 9
Do 06.06.2013 14:30 - 15:15 HS 4
Fr 07.06.2013 08:30 - 10:00 HS 10
Do 13.06.2013 14:30 - 15:15 HS 4
Fr 14.06.2013 08:30 - 10:00 HS 10
Do 20.06.2013 14:30 - 15:15 HS 4
Fr 21.06.2013 08:30 - 10:00 HS 10
Fr 21.06.2013 13:45 - 15:15 HS 10
Do 27.06.2013 14:30 - 15:15 HS 4
Fr 28.06.2013 08:30 - 10:00 HS 10
 
326.714 (2013S) Formal Foundations in Business Informatics
Further information
Register UE 1,00 Veronika Elisabeth Pillwein Weekly
 
Date Daytime Room Topic
Do 07.03.2013 13:45 - 14:30 HS 4
Do 14.03.2013 13:45 - 14:30 HS 3
Do 21.03.2013 13:45 - 14:30 HS 4
Do 11.04.2013 13:45 - 14:30 HS 4
Do 18.04.2013 13:45 - 14:30 HS 4
Do 25.04.2013 13:45 - 14:30 HS 4
Do 02.05.2013 13:45 - 14:30 HS 4
Do 16.05.2013 13:45 - 14:30 HS 4
Do 23.05.2013 13:45 - 14:30 HS 4
Do 06.06.2013 13:45 - 14:30 HS 4
Do 13.06.2013 13:45 - 14:30 HS 4
Do 20.06.2013 13:45 - 14:30 HS 4
Do 27.06.2013 13:45 - 14:30 HS 4
 
326.027 (2013S) Formal semantics of programming languages
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr 08.03.2013 08:30 - 10:00 HS 13
Fr 15.03.2013 08:30 - 10:00 HS 13
Fr 22.03.2013 08:30 - 10:00 HS 13
Fr 12.04.2013 08:30 - 10:00 HS 13
Fr 19.04.2013 08:30 - 10:00 HS 13
Fr 26.04.2013 08:30 - 10:00 HS 13
Fr 03.05.2013 08:30 - 10:00 HS 13
Fr 10.05.2013 08:30 - 10:00 HS 13
Fr 17.05.2013 08:30 - 10:00 HS 13
Fr 24.05.2013 08:30 - 10:00 HS 13
Fr 07.06.2013 08:30 - 10:00 HS 13
Fr 14.06.2013 08:30 - 10:00 HS 13
Fr 21.06.2013 08:30 - 10:00 HS 13
Fr 28.06.2013 08:30 - 10:00 HS 13
 
326.003 (2013S) Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 13
Further information
Register KV 2,00 Bruno Buchberger

Manuel Kauers
Walter Zulehner
Bert Jüttler
Peter Paule
Josef Schicho
Ronny Ramlau
Weekly
 
Date Daytime Room Topic
Di 07.05.2013 10:15 - 11:45 S3 058
Di 14.05.2013 10:15 - 11:45 S3 058
Mo 03.06.2013 13:45 - 15:15 S2 059
Mo 10.06.2013 13:45 - 15:15 S2 059
Di 11.06.2013 10:15 - 11:45 S3 047
Do 13.06.2013 13:45 - 15:15 S2 044
 
326.054 (2013S) Functional programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 16:15 - 18:00 KG 712
Mi 13.03.2013 16:15 - 18:00 KG 712
Mi 20.03.2013 16:15 - 18:00 KG 712
Mi 10.04.2013 16:15 - 18:00 KG 712
Mi 17.04.2013 16:15 - 18:00 KG 712
Mi 24.04.2013 16:15 - 18:00 KG 712
Mi 08.05.2013 16:15 - 18:00 KG 712
Mi 15.05.2013 16:15 - 18:00 KG 712
Mi 22.05.2013 16:15 - 18:00 KG 712
Mi 29.05.2013 16:15 - 18:00 KG 712
Mi 05.06.2013 16:15 - 18:00 KG 712
Mi 12.06.2013 16:15 - 18:00 KG 712
Mi 19.06.2013 16:15 - 18:00 KG 712
Mi 26.06.2013 16:15 - 18:00 KG 712
 
326.035 (2013S) Linear algebra for physicists II
Further information
Register UE 1,00 Manuela Wiesinger-Widi Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 10:15 - 11:45 S2 053
Mo 11.03.2013 10:15 - 11:45 S2 053
Mo 18.03.2013 10:15 - 11:45 S2 053
Mo 08.04.2013 10:15 - 11:45 S2 053
Mo 15.04.2013 10:15 - 11:45 S2 053
Mo 22.04.2013 10:15 - 11:45 S2 053
Mo 29.04.2013 10:15 - 11:45 S2 053
Mo 30.09.2013 10:15 - 12:45 HS 15
 
326.037 (2013S) Linear algebra for physicists II
Further information
Register UE 1,00 Christian Irrgeher Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 10:15 - 11:45 S2 046
Mo 11.03.2013 10:15 - 11:45 S2 046
Mo 18.03.2013 10:15 - 11:45 S2 046
Mo 08.04.2013 10:15 - 11:45 S2 046
Fr 12.04.2013 17:15 - 19:45 HS 16 Klausur
Mo 15.04.2013 10:15 - 11:45 S2 046
Mo 22.04.2013 10:15 - 11:45 S2 046
Mo 29.04.2013 10:15 - 11:45 S2 046
Fr 17.05.2013 17:15 - 19:45 HS 16 Klausur
Mo 30.09.2013 10:15 - 12:45 HS 15 Nachklausur
 
326.038 (2013S) Linear algebra for physicists II
Further information
Register VO 2,00 Peter Paule Weekly
 
Date Daytime Room Topic
Di 05.03.2013 11:00 - 11:45 HS 9
Mi 06.03.2013 10:15 - 11:45 HS 9
Do 07.03.2013 10:15 - 11:45 HS 18
Di 12.03.2013 11:00 - 11:45 HS 9
Mi 13.03.2013 10:15 - 11:45 HS 9
Do 14.03.2013 10:15 - 11:45 HS 18
Di 19.03.2013 11:00 - 11:45 HS 9
Mi 20.03.2013 10:15 - 11:45 HS 9
Do 21.03.2013 10:15 - 11:45 HS 1
Di 09.04.2013 11:00 - 11:45 HS 9
Mi 10.04.2013 10:15 - 11:45 HS 9
Do 11.04.2013 10:15 - 11:45 HS 18
Di 16.04.2013 11:00 - 11:45 HS 9
Mi 17.04.2013 10:15 - 11:45 HS 9
Do 18.04.2013 10:15 - 11:45 HS 18
Di 23.04.2013 11:00 - 11:45 HS 9
Mi 24.04.2013 10:15 - 11:45 HS 9
Do 25.04.2013 10:15 - 11:45 HS 18
Di 30.04.2013 11:00 - 11:45 HS 9
Do 02.05.2013 10:15 - 11:45 HS 18
Di 07.05.2013 11:00 - 11:45 HS 9
Mi 08.05.2013 10:15 - 11:45 HS 9
Di 14.05.2013 11:00 - 11:45 HS 9
Mi 15.05.2013 10:15 - 11:45 HS 9
Do 16.05.2013 10:15 - 11:45 HS 18
Mi 22.05.2013 10:15 - 11:45 HS 9
Do 23.05.2013 10:15 - 11:45 HS 18
Di 28.05.2013 11:00 - 11:45 HS 9
Mi 29.05.2013 10:15 - 11:45 HS 9
Di 04.06.2013 11:00 - 11:45 HS 9
Mi 05.06.2013 10:15 - 11:45 HS 9
Do 06.06.2013 10:15 - 11:45 HS 18
Di 11.06.2013 11:00 - 11:45 HS 9
Mi 12.06.2013 10:15 - 11:45 HS 9
Do 13.06.2013 10:15 - 11:45 HS 18
Di 18.06.2013 11:00 - 11:45 HS 9
Mi 19.06.2013 10:15 - 11:45 HS 9
Do 20.06.2013 10:15 - 11:45 HS 18
Di 25.06.2013 11:00 - 11:45 HS 9
Mi 26.06.2013 10:15 - 11:45 HS 9
Do 27.06.2013 10:15 - 11:45 HS 18
 
326.018 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Burkhard Zimmermann Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 10:15 - 11:45 S2 048
Mo 11.03.2013 10:15 - 11:45 S2 048
Mo 18.03.2013 10:15 - 11:45 S2 048
Mo 08.04.2013 10:15 - 11:45 S2 048
Mo 15.04.2013 10:15 - 11:45 S2 048
Do 18.04.2013 12:00 - 13:30 S3 047
Mo 22.04.2013 10:15 - 11:45 S2 048
Mo 29.04.2013 10:15 - 11:45 S2 048
Mo 06.05.2013 10:15 - 11:45 S2 048
Mo 13.05.2013 10:15 - 11:45 S2 048
Do 23.05.2013 12:00 - 13:30 S2 054
Mo 27.05.2013 10:15 - 11:45 S2 048
Mo 03.06.2013 10:15 - 11:45 S2 048
Mo 10.06.2013 10:15 - 11:45 S2 048
Mo 17.06.2013 10:15 - 11:45 S2 048
Mo 24.06.2013 10:15 - 11:45 S2 048
Do 27.06.2013 12:00 - 13:30 S2 054
Mo 30.09.2013 10:15 - 12:45 HS 15
 
326.024 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Peter Mayr Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 10:15 - 11:45 MT 130
Mo 11.03.2013 10:15 - 11:45 MT 130
Mo 18.03.2013 10:15 - 11:45 MT 130
Mo 08.04.2013 10:15 - 11:45 MT 130
Mo 15.04.2013 10:15 - 11:45 MT 130
Mo 22.04.2013 10:15 - 11:45 MT 130
Mo 29.04.2013 10:15 - 11:45 MT 130
Mo 06.05.2013 10:15 - 11:45 MT 130
Mo 13.05.2013 10:15 - 11:45 MT 130
Mo 27.05.2013 10:15 - 11:45 MT 130
Mo 03.06.2013 10:15 - 11:45 MT 130
Mo 10.06.2013 10:15 - 11:45 MT 130
Mo 17.06.2013 10:15 - 11:45 MT 130
Mo 24.06.2013 10:15 - 11:45 MT 130
Mo 30.09.2013 10:15 - 12:45 HS 15
 
326.034 (2013S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Georg Grasegger Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 10:15 - 11:45 S2 044
Mo 11.03.2013 10:15 - 11:45 S2 044
Mo 18.03.2013 10:15 - 11:45 S2 044
Mo 08.04.2013 10:15 - 11:45 S2 044
Mo 15.04.2013 10:15 - 11:45 S2 044
Mo 22.04.2013 10:15 - 11:45 S2 044
Mo 29.04.2013 10:15 - 11:45 S2 044
Mo 06.05.2013 10:15 - 11:45 S2 044
Mo 13.05.2013 10:15 - 11:45 S2 044
Mo 27.05.2013 10:15 - 11:45 S2 044
Mo 03.06.2013 10:15 - 11:45 S2 044
Mo 10.06.2013 10:15 - 11:45 S2 044
Mo 17.06.2013 10:15 - 11:45 S2 044
Mo 24.06.2013 10:15 - 11:45 S2 044
Mo 30.09.2013 10:15 - 12:45 HS 15
 
326.040 (2013S) Linear algebra and analytic geometry 2
Further information
Register VO 5,00 Peter Paule Weekly
 
Date Daytime Room Topic
Di 05.03.2013 11:00 - 11:45 HS 9
Mi 06.03.2013 10:15 - 11:45 HS 9
Do 07.03.2013 10:15 - 11:45 HS 18
Di 12.03.2013 11:00 - 11:45 HS 9
Mi 13.03.2013 10:15 - 11:45 HS 9
Do 14.03.2013 10:15 - 11:45 HS 18
Di 19.03.2013 11:00 - 11:45 HS 9
Mi 20.03.2013 10:15 - 11:45 HS 9
Do 21.03.2013 10:15 - 11:45 HS 1
Di 09.04.2013 11:00 - 11:45 HS 9
Mi 10.04.2013 10:15 - 11:45 HS 9
Do 11.04.2013 10:15 - 11:45 HS 18
Di 16.04.2013 11:00 - 11:45 HS 9
Mi 17.04.2013 10:15 - 11:45 HS 9
Do 18.04.2013 10:15 - 11:45 HS 18
Di 23.04.2013 11:00 - 11:45 HS 9
Mi 24.04.2013 10:15 - 11:45 HS 9
Do 25.04.2013 10:15 - 11:45 HS 18
Di 30.04.2013 11:00 - 11:45 HS 9
Do 02.05.2013 10:15 - 11:45 HS 18
Di 07.05.2013 11:00 - 11:45 HS 9
Mi 08.05.2013 10:15 - 11:45 HS 9
Di 14.05.2013 11:00 - 11:45 HS 9
Mi 15.05.2013 10:15 - 11:45 HS 9
Do 16.05.2013 10:15 - 11:45 HS 18
Mi 22.05.2013 10:15 - 11:45 HS 9
Do 23.05.2013 10:15 - 11:45 HS 18
Di 28.05.2013 11:00 - 11:45 HS 9
Mi 29.05.2013 10:15 - 11:45 HS 9
Di 04.06.2013 11:00 - 11:45 HS 9
Mi 05.06.2013 10:15 - 11:45 HS 9
Do 06.06.2013 10:15 - 11:45 HS 18
Di 11.06.2013 11:00 - 11:45 HS 9
Mi 12.06.2013 10:15 - 11:45 HS 9
Do 13.06.2013 10:15 - 11:45 HS 18
Di 18.06.2013 11:00 - 11:45 HS 9
Mi 19.06.2013 10:15 - 11:45 HS 9
Do 20.06.2013 10:15 - 11:45 HS 18
Di 25.06.2013 11:00 - 11:45 HS 9
Mi 26.06.2013 10:15 - 11:45 HS 9
Do 27.06.2013 10:15 - 11:45 HS 18
 
326.044 (2013S) Linear algebra and analytic geometry 2
Further information
Register KO 2,00 Franz Binder Weekly
 
Date Daytime Room Topic
Mo 11.03.2013 13:45 - 15:15 S3 047
Mo 18.03.2013 13:45 - 15:15 S3 047
Mo 08.04.2013 13:45 - 15:15 S3 047
Mo 15.04.2013 13:45 - 15:15 S3 047
Mo 22.04.2013 13:45 - 15:15 S3 047
Mo 29.04.2013 13:45 - 15:15 S3 047
Mo 06.05.2013 13:45 - 15:15 S3 047
Mo 13.05.2013 13:45 - 15:15 S3 047
Mo 27.05.2013 13:45 - 15:15 S3 047
Mo 03.06.2013 13:45 - 15:15 S3 047
Mo 10.06.2013 13:45 - 15:15 S3 047
Mo 17.06.2013 13:45 - 15:15 S3 047
Mo 24.06.2013 13:45 - 15:15 S3 047
 
326.048 (2013S) Logic as a working language
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 05.03.2013 12:00 - 13:30 HS 13
Di 12.03.2013 12:00 - 13:30 HS 13
Di 19.03.2013 12:00 - 13:30 HS 13
Di 09.04.2013 12:00 - 13:30 HS 13
Di 16.04.2013 12:00 - 13:30 HS 13
Di 23.04.2013 12:00 - 13:30 HS 13
Di 30.04.2013 12:00 - 13:30 HS 13
Di 07.05.2013 12:00 - 13:30 HS 13
Di 14.05.2013 12:00 - 13:30 HS 13
Di 28.05.2013 12:00 - 13:30 HS 13
Di 04.06.2013 12:00 - 13:30 HS 13
Di 11.06.2013 12:00 - 13:30 HS 13
Di 18.06.2013 12:00 - 13:30 HS 13
Di 25.06.2013 12:00 - 13:30 HS 13
 
326.0XX (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Further information
Register SE 2,00 Peter Paule Weekly
 
No dates found.
 
326.0YY (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2013S) Seminar for graduate and doctoral students
Summer Semester 13
Further information
Register SE 2,00 Franz Winkler Weekly
 
No dates found.
 
326.059 (2013S) Mathematical logic 2
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do 07.03.2013 08:30 - 10:00 HS 11
Do 14.03.2013 08:30 - 10:00 HS 11
Do 21.03.2013 08:30 - 10:00 HS 11
Do 11.04.2013 08:30 - 10:00 HS 11
Do 18.04.2013 08:30 - 10:00 HS 11
Do 25.04.2013 08:30 - 10:00 HS 11
Do 02.05.2013 08:30 - 10:00 HS 11
Do 16.05.2013 08:30 - 10:00 HS 11
Do 23.05.2013 08:30 - 10:00 HS 11
Do 06.06.2013 08:30 - 10:00 HS 11
Do 13.06.2013 08:30 - 10:00 HS 11
Do 20.06.2013 08:30 - 10:00 HS 11
Do 27.06.2013 08:30 - 11:00 HS 11
 
326.041 (2013S) Practical software technology
Further information
Register KV 4,00 Karoly Bosa Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 10:15 - 11:45 T 112
Do 07.03.2013 14:30 - 16:15 HS 11
Mi 13.03.2013 10:15 - 11:45 T 112
Do 14.03.2013 14:30 - 16:15 HS 11
Mi 20.03.2013 10:15 - 11:45 T 112
Do 21.03.2013 14:30 - 16:15 HS 11
Mi 10.04.2013 10:15 - 11:45 T 112
Do 11.04.2013 14:30 - 16:15 HS 11
Mi 17.04.2013 10:15 - 11:45 T 112
Do 18.04.2013 14:30 - 16:15 HS 11
Mi 24.04.2013 10:15 - 11:45 T 112
Do 25.04.2013 14:30 - 16:15 HS 11
Do 02.05.2013 14:30 - 16:15 HS 11
Mi 08.05.2013 10:15 - 11:45 T 112
Mi 15.05.2013 10:15 - 11:45 T 112
Do 16.05.2013 14:30 - 16:15 HS 11
Mi 22.05.2013 10:15 - 11:45 T 112
Do 23.05.2013 14:30 - 16:15 HS 11
Mi 29.05.2013 10:15 - 11:45 T 112
Mi 05.06.2013 10:15 - 11:45 T 112
Do 06.06.2013 14:30 - 16:15 HS 11
Mi 12.06.2013 10:15 - 11:45 T 112
Do 13.06.2013 14:30 - 16:15 HS 11
Mi 19.06.2013 10:15 - 11:45 T 112
Do 20.06.2013 14:30 - 16:15 HS 11
Mi 26.06.2013 10:15 - 11:45 T 112
Do 27.06.2013 14:30 - 16:15 HS 11
 
326.062 (2013S) Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 05.03.2013 14:30 - 16:15 HF 9915
Di 12.03.2013 14:30 - 16:15 HF 9915
Di 19.03.2013 14:30 - 16:15 HF 9915
Di 09.04.2013 14:30 - 16:15 HF 9915
Di 16.04.2013 14:30 - 16:15 HF 9915
Di 23.04.2013 14:30 - 16:15 HF 9915
Di 30.04.2013 14:30 - 16:15 HF 9915
Di 07.05.2013 14:30 - 16:15 HF 9915
Di 14.05.2013 14:30 - 16:15 HF 9915
Di 28.05.2013 14:30 - 16:15 HF 9915
Di 04.06.2013 14:30 - 16:15 HF 9915
Di 11.06.2013 14:30 - 16:15 HF 9915
Di 18.06.2013 14:30 - 16:15 HF 9915
Di 25.06.2013 14:30 - 16:15 HF 9915
 
326.049 (2013S) Programming project symbolic computation
Computer algebra, Logic, and Software design II
Further information
Register KV 2,00 Ralf Hemmecke Weekly
 
Date Daytime Room Topic
Mo 04.03.2013 12:00 - 13:30 HA 105
Mo 11.03.2013 12:00 - 13:30 HA 105
Mo 18.03.2013 12:00 - 13:30 HA 105
Mo 08.04.2013 12:00 - 13:30 HA 105
Mo 15.04.2013 12:00 - 13:30 HA 105
Mo 22.04.2013 12:00 - 13:30 HA 105
Mo 29.04.2013 12:00 - 13:30 HA 105
Mo 06.05.2013 12:00 - 13:30 HA 105
Mo 13.05.2013 12:00 - 13:30 HA 105
Mo 27.05.2013 12:00 - 13:30 HA 105
Mo 03.06.2013 12:00 - 13:30 HA 105
Mo 10.06.2013 12:00 - 13:30 HA 105
Mo 17.06.2013 12:00 - 13:30 HA 105
Mo 24.06.2013 12:00 - 13:30 HA 105
 
326.065 (2013S) Rewriting in computer science and logic
Further information
Register VO 2,00 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Fr 08.03.2013 12:00 - 13:30 T 112
Fr 15.03.2013 12:00 - 13:30 T 112
Fr 22.03.2013 12:00 - 13:30 T 112
Fr 12.04.2013 12:00 - 13:30 T 112
Fr 19.04.2013 12:00 - 13:30 T 112
Fr 26.04.2013 12:00 - 13:30 T 112
Fr 03.05.2013 12:00 - 13:30 T 112
Fr 10.05.2013 12:00 - 13:30 T 112
Fr 17.05.2013 12:00 - 13:30 T 112
Fr 24.05.2013 12:00 - 13:30 T 112
Fr 07.06.2013 12:00 - 13:30 T 112
Fr 14.06.2013 12:00 - 13:30 T 112
Fr 21.06.2013 12:00 - 13:30 T 112
Fr 28.06.2013 12:00 - 13:30 T 112
Fr 12.07.2013 11:00 - 12:45 K 009D
 
326.020 (2013S) Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 13)
Further information
Register SE 2,00 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Mo 18.03.2013 16:15 - 18:00 HT 177F
Mo 08.04.2013 16:15 - 18:00 HT 177F
Mo 15.04.2013 16:15 - 18:00 HT 177F
Mo 22.04.2013 16:15 - 18:00 HT 177F
Mo 29.04.2013 16:15 - 18:00 HT 177F
Mo 06.05.2013 16:15 - 18:00 HT 177F
Mo 13.05.2013 16:15 - 18:00 HT 177F
Mo 27.05.2013 16:15 - 18:00 HT 177F
Mo 03.06.2013 16:15 - 18:00 HT 177F
Mo 10.06.2013 16:15 - 18:00 HT 177F
Mo 17.06.2013 16:15 - 18:00 HT 177F
Mo 01.07.2013 13:45 - 15:15 HT 177F
 
326.098 (2013S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema (Summer semester 13)
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 11:00 - 12:30 HA 105
Mi 13.03.2013 11:00 - 12:30 HA 105
Mi 20.03.2013 11:00 - 12:30 HA 105
Mi 10.04.2013 11:00 - 12:30 HA 105
Mi 17.04.2013 11:00 - 12:30 HA 105
Mi 24.04.2013 11:00 - 12:30 HA 105
Mi 08.05.2013 11:00 - 12:30 HA 105
Mi 15.05.2013 11:00 - 12:30 HA 105
Mi 22.05.2013 11:00 - 12:30 HA 105
Mi 29.05.2013 11:00 - 12:30 HA 105
Mi 05.06.2013 11:00 - 12:30 HA 105
Mi 12.06.2013 11:00 - 12:30 HA 105
Mi 19.06.2013 11:00 - 12:30 HA 105
Mi 26.06.2013 11:00 - 12:30 HA 105
 
326.099 (2013S) Seminar logic and software design
Project seminar Formal Methods II (Summer semester 13)
Further information
Register SE 2,00 Wolfgang Schreiner

Franz Lichtenberger
Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 12:30 - 14:00 HA 105
Mi 13.03.2013 12:30 - 14:00 HA 105
Mi 20.03.2013 12:30 - 14:00 HA 105
Mi 10.04.2013 12:30 - 14:00 HA 105
Mi 17.04.2013 12:30 - 14:00 HA 105
Mi 24.04.2013 12:30 - 14:00 HA 105
Mi 08.05.2013 12:30 - 14:00 HA 105
Mi 15.05.2013 12:30 - 14:00 HA 105
Mi 22.05.2013 12:30 - 14:00 HA 105
Mi 29.05.2013 12:30 - 14:00 HA 105
Mi 05.06.2013 12:30 - 14:00 HA 105
Mi 12.06.2013 12:30 - 14:00 HA 105
Mi 19.06.2013 12:30 - 14:00 HA 105
Mi 26.06.2013 12:30 - 14:00 HA 105
 
326.001 (2013S) Seminar symbolic computation
Computer-Algebra II (Summer Semester 13)
Further information
Register SE 2,00 Franz Winkler

Günter Landsmann
Weekly
 
Date Daytime Room Topic
Do 07.03.2013 14:30 - 16:00 HA 105
Do 14.03.2013 14:30 - 16:00 HA 105
Do 21.03.2013 14:30 - 16:00 HA 105
Do 11.04.2013 14:30 - 16:00 HA 105
Do 18.04.2013 14:30 - 16:00 HA 105
Do 25.04.2013 14:30 - 16:00 HA 105
Do 02.05.2013 14:30 - 16:00 HA 105
Do 16.05.2013 14:30 - 16:00 HA 105
Do 23.05.2013 14:30 - 16:00 HA 105
Do 06.06.2013 14:30 - 16:00 HA 105
Do 13.06.2013 14:30 - 16:00 HA 105
Do 20.06.2013 14:30 - 16:00 HA 105
Do 27.06.2013 14:30 - 16:00 HA 105
 
326.060 (2013S) Seminar symbolic computation
Algorithmic Algebra (Summer semester 13)
Register SE 2,00 Josef Schicho Weekly
 
No dates found.
 
326.096 (2013S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 13)
Further information
Register SE 2,00 Peter Paule Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 14:00 - 15:30 HA 105
Mi 13.03.2013 14:00 - 15:30 HA 105
Mi 20.03.2013 14:00 - 15:30 HA 105
Mi 10.04.2013 14:00 - 15:30 HA 105
Mi 17.04.2013 14:00 - 15:30 HA 105
Mi 24.04.2013 14:00 - 15:30 HA 105
Mi 08.05.2013 14:00 - 15:30 HA 105
Mi 15.05.2013 14:00 - 15:30 HA 105
Mi 22.05.2013 14:00 - 15:30 HA 105
Mi 29.05.2013 14:00 - 15:30 HA 105
Mi 05.06.2013 14:00 - 15:30 HA 105
Mi 12.06.2013 14:00 - 15:30 HA 105
Mi 19.06.2013 14:00 - 15:30 HA 105
Mi 26.06.2013 14:00 - 15:30 HA 105
 
326.0UU (2013S) Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 13)
Register SE 2,00 Franz Winkler Weekly
 
Date Daytime Room Topic
Do 07.03.2013 14:30 - 16:00 HA 105
Do 14.03.2013 14:30 - 16:00 HA 105
Do 21.03.2013 14:30 - 16:00 HA 105
Do 11.04.2013 14:30 - 16:00 HA 105
Do 18.04.2013 14:30 - 16:00 HA 105
Do 25.04.2013 14:30 - 16:00 HA 105
Do 02.05.2013 14:30 - 16:00 HA 105
Do 16.05.2013 14:30 - 16:00 HA 105
Do 23.05.2013 14:30 - 16:00 HA 105
Do 06.06.2013 14:30 - 16:00 HA 105
Do 13.06.2013 14:30 - 16:00 HA 105
Do 20.06.2013 14:30 - 16:00 HA 105
Do 27.06.2013 14:30 - 16:00 HA 105
 
326.068 (2013S) Software engineering
Further information
Register KV 2,00 Petru Pau Weekly
 
Date Daytime Room Topic
Di 05.03.2013 16:15 - 18:00 HF 9904
Di 12.03.2013 16:15 - 18:00 HF 9904
Di 19.03.2013 16:15 - 18:00 HF 9904
Di 09.04.2013 16:15 - 18:00 HF 9904
Di 16.04.2013 16:15 - 18:00 HF 9904
Di 23.04.2013 16:15 - 18:00 HF 9904
Di 30.04.2013 16:15 - 18:00 HF 9904
Di 07.05.2013 16:15 - 18:00 HF 9904
Di 14.05.2013 16:15 - 18:00 HF 9904
Di 28.05.2013 16:15 - 18:00 HF 9904
Di 04.06.2013 16:15 - 18:00 HF 9904
Di 11.06.2013 16:15 - 18:00 HF 9904
Di 18.06.2013 16:15 - 18:00 HF 9904
Di 25.06.2013 16:15 - 18:00 HF 9904
Mi 10.07.2013 09:30 - 11:30 K 009D
 
326.077 (2013S) Special course Analysis
Artin Approximation and Solutions to Recursion Equations
Further information
Register VL 1,00 Herwig Hauser Block
 
Date Daytime Room Topic
Do 21.03.2013 11:00 - 13:30 MT 128
Do 21.03.2013 15:30 - 18:00 T 642
Fr 22.03.2013 09:15 - 12:45 MT 130
Do 11.04.2013 11:00 - 13:30 MT 130
Do 11.04.2013 15:30 - 17:00 S3 058
Fr 12.04.2013 09:15 - 12:45 S2 054
Do 25.04.2013 11:00 - 13:30 S2 054
Do 25.04.2013 15:30 - 17:00 S2 054
Fr 26.04.2013 09:15 - 11:45 S2 054
Do 16.05.2013 11:00 - 13:30 MT 128
Do 16.05.2013 15:30 - 17:00 S2 054
Fr 17.05.2013 09:15 - 11:45 S3 048
 
326.00E (2013S) 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 07.03.2013 16:15 - 18:00 P 215
Do 14.03.2013 16:15 - 18:00 P 215
Do 21.03.2013 16:15 - 18:00 P 215
Do 11.04.2013 16:15 - 18:00 P 215
Do 18.04.2013 16:15 - 18:00 P 215
Do 25.04.2013 16:15 - 18:00 P 215
Do 02.05.2013 16:15 - 18:00 P 215
Do 16.05.2013 16:15 - 18:00 P 215
Do 23.05.2013 16:15 - 18:00 P 215
Do 06.06.2013 16:15 - 18:00 P 215
Do 13.06.2013 16:15 - 18:00 P 215
Do 20.06.2013 16:15 - 18:00 P 215
Do 27.06.2013 16:15 - 18:00 P 215
 
326.097 (2013S) Special topics logic and software design
Unification theory
Further information
Register VL 2,00 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Di 05.03.2013 15:30 - 17:00 K 009D
Di 12.03.2013 15:30 - 17:00 K 009D
Di 19.03.2013 15:30 - 17:00 K 009D
Di 09.04.2013 15:30 - 17:00 K 009D
Di 16.04.2013 15:30 - 17:00 K 009D
Di 23.04.2013 15:30 - 17:00 K 009D
Di 30.04.2013 15:30 - 17:00 K 009D
Di 07.05.2013 15:30 - 17:00 K 009D
Di 14.05.2013 15:30 - 17:00 K 009D
Di 28.05.2013 15:30 - 17:00 K 009D
Di 04.06.2013 15:30 - 17:00 K 009D
Di 11.06.2013 15:30 - 17:00 K 009D
Di 18.06.2013 15:30 - 17:00 K 009D
Di 25.06.2013 15:30 - 17:00 K 009D
 
326.039 (2013S) Special Topics symbolic computation
Computer algebra II: Groebner bases
Further information
Register VL 2,00 Manuel Kauers Weekly
 
No dates found.
 
326.080 (2013S) Special Topics symbolic computation
Symbolic Linear Algebra
Register VL 2,00 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do 07.03.2013 12:00 - 13:30 KG 712
Do 14.03.2013 12:00 - 13:30 KG 712
Do 21.03.2013 12:00 - 13:30 KG 712
Do 11.04.2013 12:00 - 13:30 KG 712
Do 18.04.2013 12:00 - 13:30 KG 712
Do 25.04.2013 12:00 - 13:30 KG 712
Do 02.05.2013 12:00 - 13:30 KG 712
Do 16.05.2013 12:00 - 13:30 KG 712
Do 23.05.2013 12:00 - 13:30 KG 712
Do 06.06.2013 12:00 - 13:30 KG 712
Do 13.06.2013 12:00 - 13:30 KG 712
Do 20.06.2013 12:00 - 13:30 KG 712
Do 27.06.2013 12:00 - 13:30 KG 712
 
326.017 (2013S) Special Topics in Computer Science
Predicate Logic as a Working Language
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 05.03.2013 12:00 - 13:30 HS 13
Di 12.03.2013 12:00 - 13:30 HS 13
Di 19.03.2013 12:00 - 13:30 HS 13
Di 09.04.2013 12:00 - 13:30 HS 13
Di 16.04.2013 12:00 - 13:30 HS 13
Di 23.04.2013 12:00 - 13:30 HS 13
Di 30.04.2013 12:00 - 13:30 HS 13
Di 07.05.2013 12:00 - 13:30 HS 13
Di 14.05.2013 12:00 - 13:30 HS 13
Di 28.05.2013 12:00 - 13:30 HS 13
Di 04.06.2013 12:00 - 13:30 HS 13
Di 11.06.2013 12:00 - 13:30 HS 13
Di 18.06.2013 12:00 - 13:30 HS 13
Di 25.06.2013 12:00 - 13:30 HS 13
 
326.I06 (2013S) Special Topics in Computer Science
Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di 05.03.2013 14:30 - 16:15 HF 9915
Di 12.03.2013 14:30 - 16:15 HF 9915
Di 19.03.2013 14:30 - 16:15 HF 9915
Di 09.04.2013 14:30 - 16:15 HF 9915
Di 16.04.2013 14:30 - 16:15 HF 9915
Di 23.04.2013 14:30 - 16:15 HF 9915
Di 30.04.2013 14:30 - 16:15 HF 9915
Di 07.05.2013 14:30 - 16:15 HF 9915
Di 14.05.2013 14:30 - 16:15 HF 9915
Di 28.05.2013 14:30 - 16:15 HF 9915
Di 04.06.2013 14:30 - 16:15 HF 9915
Di 11.06.2013 14:30 - 16:15 HF 9915
Di 18.06.2013 14:30 - 16:15 HF 9915
Di 25.06.2013 14:30 - 16:15 HF 9915
 
326.I07 (2013S) Special Topics in Computer Science
Functional Programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi 06.03.2013 16:15 - 18:00 KG 712
Mi 13.03.2013 16:15 - 18:00 KG 712
Mi 20.03.2013 16:15 - 18:00 KG 712
Mi 10.04.2013 16:15 - 18:00 KG 712
Mi 17.04.2013 16:15 - 18:00 KG 712
Mi 24.04.2013 16:15 - 18:00 KG 712
Mi 08.05.2013 16:15 - 18:00 KG 712
Mi 15.05.2013 16:15 - 18:00 KG 712
Mi 22.05.2013 16:15 - 18:00 KG 712
Mi 29.05.2013 16:15 - 18:00 KG 712
Mi 05.06.2013 16:15 - 18:00 KG 712
Mi 12.06.2013 16:15 - 18:00 KG 712
Mi 19.06.2013 16:15 - 18:00 KG 712
Mi 26.06.2013 16:15 - 18:00 KG 712
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail