RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Summer Semester 2017 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.046 (2017S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 12:00 - 13:30 HS 14
Di. 14.03.2017 12:00 - 13:30 HS 14
Di. 21.03.2017 12:00 - 13:30 HS 14
Di. 28.03.2017 12:00 - 13:30 HS 14
Di. 04.04.2017 12:00 - 13:30 HS 14
Di. 25.04.2017 12:00 - 13:30 HS 14
Di. 02.05.2017 12:00 - 13:30 HS 14
Di. 09.05.2017 12:00 - 13:30 HS 14
Di. 16.05.2017 12:00 - 13:30 HS 14
Di. 23.05.2017 12:00 - 13:30 HS 14
Di. 30.05.2017 12:00 - 13:30 HS 14
Di. 13.06.2017 12:00 - 13:30 HS 14
Di. 20.06.2017 12:00 - 13:30 HS 14
Di. 27.06.2017 12:00 - 13:30 HS 14
 
326.047 (2017S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 14.03.2017 11:00 - 11:45 HS 14
Di. 21.03.2017 11:00 - 11:45 HS 14
Di. 28.03.2017 11:00 - 11:45 HS 14
Di. 04.04.2017 11:00 - 11:45 HS 14
Di. 25.04.2017 11:00 - 11:45 HS 14
Di. 02.05.2017 11:00 - 11:45 HS 14
Di. 09.05.2017 11:00 - 11:45 HS 14
Di. 16.05.2017 11:00 - 11:45 HS 14
Di. 23.05.2017 11:00 - 11:45 HS 14
Di. 30.05.2017 11:00 - 11:45 HS 14
Di. 13.06.2017 11:00 - 11:45 HS 14
Di. 20.06.2017 11:00 - 11:45 HS 14
Di. 27.06.2017 11:00 - 11:45 HS 14
 
326.052 (2017S) Computer systems
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 10.03.2017 10:15 - 11:45 BA 9911
Mo. 13.03.2017 13:45 - 15:15 K 223B
Do. 16.03.2017 13:45 - 15:15 HF 9905
Fr. 17.03.2017 10:15 - 11:45 BA 9911
Mo. 20.03.2017 13:45 - 15:15 K 223B
Do. 23.03.2017 13:45 - 15:15 HF 9905
Fr. 24.03.2017 10:15 - 11:45 BA 9911
Mo. 27.03.2017 13:45 - 15:15 K 223B
Do. 30.03.2017 13:45 - 15:15 HF 9905
Fr. 31.03.2017 10:15 - 11:45 BA 9911
Mo. 03.04.2017 13:45 - 15:15 K 223B
Do. 06.04.2017 13:45 - 15:15 HF 9905
Fr. 07.04.2017 10:15 - 11:45 BA 9911
Mo. 24.04.2017 13:45 - 15:15 K 223B
Do. 27.04.2017 13:45 - 15:15 HF 9905
Fr. 28.04.2017 10:15 - 11:45 BA 9911
Fr. 05.05.2017 10:15 - 11:45 K 033C
Mo. 08.05.2017 13:45 - 15:15 K 223B
Do. 11.05.2017 13:45 - 15:15 HF 9905
Fr. 12.05.2017 10:15 - 11:45 BA 9911
Mo. 15.05.2017 13:45 - 15:15 K 223B
Do. 18.05.2017 13:45 - 15:15 HF 9905
Fr. 19.05.2017 10:15 - 11:45 BA 9911
Mo. 22.05.2017 13:45 - 15:15 K 223B
Fr. 26.05.2017 10:15 - 11:45 BA 9911
Mo. 29.05.2017 13:45 - 15:15 K 223B
Do. 01.06.2017 13:45 - 15:15 HF 9905
Fr. 02.06.2017 10:15 - 11:45 BA 9911
Do. 08.06.2017 13:45 - 15:15 HF 9905
Fr. 09.06.2017 10:15 - 11:45 BA 9911
Mo. 12.06.2017 13:45 - 15:15 K 223B
Mo. 19.06.2017 13:45 - 15:15 K 223B
Do. 22.06.2017 13:45 - 15:15 HF 9905
Fr. 23.06.2017 10:15 - 11:45 BA 9911
Mo. 26.06.2017 13:45 - 15:15 K 223B
Di. 27.06.2017 17:15 - 18:45 HS 19
Do. 29.06.2017 13:45 - 15:15 HF 9905
Fr. 30.06.2017 10:15 - 11:45 BA 9911
 
326.703 (2017S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 18:00 - 18:45 HS 3
Do. 16.03.2017 18:00 - 18:45 HS 3
Do. 23.03.2017 18:00 - 18:45 HS 3
Do. 30.03.2017 18:00 - 18:45 HS 3
Do. 06.04.2017 18:00 - 18:45 HS 3
Do. 27.04.2017 18:00 - 18:45 HS 3
Do. 11.05.2017 18:00 - 18:45 HS 3
Do. 18.05.2017 18:00 - 18:45 HS 3
Do. 01.06.2017 18:00 - 18:45 HS 3
Do. 08.06.2017 18:00 - 18:45 HS 3
Do. 22.06.2017 18:00 - 18:45 HS 3
Do. 29.06.2017 18:00 - 18:45 HS 3
 
326.712 (2017S) Formal Foundations in Business Informatics
Further information
Register VL 3,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 13:45 - 16:15 HS 18
Do. 16.03.2017 13:45 - 16:15 HS 18
Do. 23.03.2017 13:45 - 16:15 HS 18
Do. 30.03.2017 13:45 - 16:15 HS 18
Do. 06.04.2017 13:45 - 16:15 HS 18
Do. 27.04.2017 13:45 - 16:15 HS 18
Do. 11.05.2017 13:45 - 16:15 HS 18
Do. 18.05.2017 13:45 - 16:15 HS 18
Do. 01.06.2017 13:45 - 16:15 HS 2
Do. 08.06.2017 13:45 - 16:15 HS 18
Do. 22.06.2017 13:45 - 16:15 HS 18
Do. 29.06.2017 13:45 - 16:15 HS 18
Do. 06.07.2017 13:45 - 16:15 HS 18
Do. 06.07.2017 13:45 - 16:15 HS 19
 
326.714 (2017S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 18:00 - 18:45 T 405
Do. 16.03.2017 18:00 - 18:45 T 405
Do. 23.03.2017 18:00 - 18:45 T 405
Do. 30.03.2017 18:00 - 18:45 T 405
Do. 06.04.2017 18:00 - 18:45 T 405
Do. 27.04.2017 18:00 - 18:45 T 405
Do. 11.05.2017 18:00 - 18:45 T 405
Do. 18.05.2017 18:00 - 18:45 T 405
Do. 01.06.2017 18:00 - 18:45 T 405
Do. 08.06.2017 18:00 - 18:45 T 405
Do. 22.06.2017 18:00 - 18:45 T 405
Do. 29.06.2017 18:00 - 18:45 T 405
 
326.0FS (2017S) Formal Semantics of Programming Languages
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 10.03.2017 08:30 - 10:00 HS 12
Fr. 17.03.2017 08:30 - 10:00 HS 12
Fr. 24.03.2017 08:30 - 10:00 HS 12
Fr. 31.03.2017 08:30 - 10:00 HS 12
Fr. 07.04.2017 08:30 - 10:00 HS 12
Fr. 28.04.2017 08:30 - 10:00 HS 12
Fr. 05.05.2017 08:30 - 10:00 HS 12
Fr. 12.05.2017 08:30 - 10:00 HS 12
Fr. 19.05.2017 08:30 - 10:00 HS 12
Fr. 26.05.2017 08:30 - 10:00 HS 12
Fr. 02.06.2017 08:30 - 10:00 HS 12
Fr. 09.06.2017 08:30 - 10:00 HS 12
Fr. 23.06.2017 08:30 - 10:00 HS 12
Fr. 30.06.2017 08:30 - 10:00 HS 12
 
326.003 (2017S) Fundamentals of Numerical Analysis and Symbolic Computation
Further information
Register KV 2,0 Clemens Raab Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 10:15 - 11:45 S2 054
Di. 14.03.2017 10:15 - 11:45 S2 054
Di. 21.03.2017 10:15 - 11:45 S2 054
Di. 04.04.2017 10:15 - 11:45 S2 054
Di. 02.05.2017 10:15 - 11:45 S2 054
Di. 09.05.2017 10:15 - 11:45 S2 054
Fr. 12.05.2017 15:30 - 17:00 S2 054
Di. 16.05.2017 10:15 - 11:45 S2 054
Fr. 19.05.2017 15:30 - 17:00 S2 054
Di. 23.05.2017 10:15 - 11:45 S2 054
Di. 30.05.2017 10:15 - 11:45 S2 054
Di. 13.06.2017 10:15 - 11:45 S2 054
Di. 20.06.2017 10:15 - 11:45 S2 054
Di. 27.06.2017 10:15 - 11:45 S2 054
 
326.054 (2017S) Functional programming
Further information
Register KV 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 16:15 - 18:00 S2 219
Mi. 15.03.2017 17:15 - 18:45 S2 053
Mi. 22.03.2017 17:15 - 18:45 S2 053
Mi. 29.03.2017 17:15 - 18:45 S2 053
Mi. 05.04.2017 17:15 - 18:45 S2 053
Mi. 26.04.2017 17:15 - 18:45 S2 053
Mi. 03.05.2017 17:15 - 18:45 S2 053
Mi. 10.05.2017 17:15 - 18:45 S2 053
Mi. 17.05.2017 17:15 - 18:45 S2 053
Mi. 24.05.2017 17:15 - 18:45 S2 053
Mi. 31.05.2017 17:15 - 18:45 S2 053
Mi. 07.06.2017 17:15 - 18:45 S2 053
Mi. 14.06.2017 17:15 - 18:45 S2 053
Mi. 21.06.2017 17:15 - 18:45 S2 053
Mi. 28.06.2017 17:15 - 18:45 S2 053
 
326.0KA (2017S) Commutative algebra and algebraic geometry
Further information
Register VO 4,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 14:30 - 16:15 HS 11
Fr. 10.03.2017 10:15 - 11:45 HS 14
Di. 14.03.2017 14:30 - 16:15 HS 11
Fr. 17.03.2017 10:15 - 11:45 HS 14
Di. 21.03.2017 14:30 - 16:15 HS 11
Fr. 24.03.2017 10:15 - 11:45 HS 14
Di. 28.03.2017 14:30 - 16:15 HS 11
Fr. 31.03.2017 10:15 - 11:45 HS 14
Di. 04.04.2017 14:30 - 16:15 HS 11
Fr. 07.04.2017 10:15 - 11:45 HS 14
Di. 25.04.2017 14:30 - 16:15 HS 11
Fr. 28.04.2017 10:15 - 11:45 HS 14
Di. 02.05.2017 14:30 - 16:15 HS 11
Fr. 05.05.2017 10:15 - 11:45 HS 14
Di. 09.05.2017 14:30 - 16:15 HS 11
Fr. 12.05.2017 10:15 - 11:45 HS 14
Di. 16.05.2017 14:30 - 16:15 HS 11
Fr. 19.05.2017 10:15 - 11:45 HS 14
Di. 23.05.2017 14:30 - 16:15 HS 11
Fr. 26.05.2017 10:15 - 11:45 HS 14
Di. 30.05.2017 14:30 - 16:15 HS 11
Fr. 02.06.2017 10:15 - 11:45 HS 14
Fr. 09.06.2017 10:15 - 11:45 HS 14
Di. 13.06.2017 14:30 - 16:15 HS 11
Di. 20.06.2017 14:30 - 16:15 HS 11
Fr. 23.06.2017 10:15 - 11:45 HS 14
Di. 27.06.2017 14:30 - 16:15 HS 11
Fr. 30.06.2017 10:15 - 11:45 HS 14
 
326.0UK (2017S) Commutative algebra and algebraic geometry
Further information
Register UE 1,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 16:15 - 17:00 HS 11
Di. 14.03.2017 16:15 - 17:00 HS 11
Di. 21.03.2017 16:15 - 17:00 HS 11
Di. 28.03.2017 16:15 - 17:00 HS 11
Di. 04.04.2017 16:15 - 17:00 HS 11
Di. 25.04.2017 16:15 - 17:00 HS 11
Di. 02.05.2017 16:15 - 17:00 HS 11
Di. 09.05.2017 16:15 - 17:00 HS 11
Di. 16.05.2017 16:15 - 17:00 HS 11
Di. 23.05.2017 16:15 - 17:00 HS 11
Di. 30.05.2017 16:15 - 17:00 HS 11
Di. 13.06.2017 16:15 - 17:00 HS 11
Di. 20.06.2017 16:15 - 17:00 HS 11
Di. 27.06.2017 16:15 - 17:00 HS 11
 
326.048 (2017S) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 12:00 - 13:30 S2 048
Di. 21.03.2017 12:00 - 13:30 S2 048
Di. 28.03.2017 12:00 - 13:30 S2 048
Di. 04.04.2017 12:00 - 13:30 S2 048
Di. 25.04.2017 12:00 - 13:30 S2 048
Di. 02.05.2017 12:00 - 13:30 S2 048
Di. 09.05.2017 12:00 - 13:30 S2 048
Di. 16.05.2017 12:00 - 13:30 S2 048
Di. 23.05.2017 12:00 - 13:30 S2 048
Di. 30.05.2017 12:00 - 13:30 S2 048
Di. 13.06.2017 12:00 - 13:30 S2 048
Di. 20.06.2017 12:00 - 13:30 S2 048
Di. 27.06.2017 12:00 - 13:30 S2 048
 
326.0XX (2017S) Seminar for graduate and doctoral students
Sommer Semester 17
Further information
Register SE 2,0 Peter Paule Weekly
 
No dates found.
 
326.0YY (2017S) Seminar for graduate and doctoral students
Summer Semester 17
Register SE 2,0 Tudor Jebelean

Bruno Buchberger
Weekly
 
No dates found.
 
326.0ZZ (2017S) Seminar for graduate and doctoral students
Summer Semester 17
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 14:30 - 16:00 HA 105
Do. 16.03.2017 10:15 - 11:45 HA 105
Do. 23.03.2017 10:15 - 11:45 HA 105
Do. 30.03.2017 10:15 - 11:45 HA 105
Do. 06.04.2017 10:15 - 11:45 HA 105
Do. 27.04.2017 10:15 - 11:45 HA 105
Do. 11.05.2017 10:15 - 11:45 HA 105
Do. 18.05.2017 10:15 - 11:45 HA 105
Do. 01.06.2017 10:15 - 11:45 HA 105
Do. 08.06.2017 10:15 - 11:45 HA 105
Do. 22.06.2017 10:15 - 11:45 HA 105
Do. 29.06.2017 10:15 - 11:45 HA 105
 
357.301 (2017S) Mathematics for Economists
Further information
Register KS 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 17:15 - 18:45 HS 18
Do. 09.03.2017 19:00 - 20:30 HS 18 Tutorium
Do. 16.03.2017 17:15 - 18:45 HS 18
Do. 16.03.2017 19:00 - 20:30 HS 18 Tutorium
Do. 23.03.2017 17:15 - 18:45 HS 18
Do. 23.03.2017 19:00 - 20:30 HS 18 Tutorium
Do. 30.03.2017 17:15 - 18:45 HS 18
Do. 30.03.2017 19:00 - 20:30 HS 18 Tutorium
Do. 06.04.2017 17:15 - 18:45 HS 19
Do. 06.04.2017 19:00 - 20:30 HS 19 Tutorium
Do. 27.04.2017 17:15 - 18:45 HS 18
Do. 27.04.2017 19:00 - 20:30 HS 18 Tutorium
Do. 11.05.2017 17:15 - 18:45 HS 10
Do. 11.05.2017 19:00 - 20:30 HS 10 Prüfungsteil A
Do. 11.05.2017 19:00 - 20:30 HS 1 Prüfungsteil A
Do. 11.05.2017 19:00 - 20:30 HS 7 Prüfungsteil A
Do. 11.05.2017 19:00 - 20:30 HS 2 Prüfungsteil A
Do. 11.05.2017 19:00 - 20:30 HS 9 Prüfungsteil A
Do. 18.05.2017 17:15 - 18:45 HS 18
Do. 18.05.2017 19:00 - 20:30 HS 18 Tutorium
Do. 01.06.2017 17:15 - 18:45 HS 19
Do. 01.06.2017 19:00 - 20:30 HS 19 Tutorium
Do. 08.06.2017 17:15 - 18:45 HS 18
Do. 08.06.2017 19:00 - 20:30 HS 18 Tutorium
Do. 22.06.2017 17:15 - 18:45 HS 10
Do. 22.06.2017 19:00 - 20:30 HS 10 Tutorium
Do. 29.06.2017 17:15 - 18:45 HS 18
Do. 29.06.2017 19:00 - 20:30 HS 18 Tutorium
Fr. 30.06.2017 08:30 - 10:00 HS 1 Prüfungsteil B
Fr. 30.06.2017 08:30 - 10:00 HS 10 Prüfungsteil B
Fr. 30.06.2017 08:30 - 10:00 HS 7 Prüfungsteil B
Fr. 30.06.2017 08:30 - 10:00 HS 9 Prüfungsteil B
Fr. 30.06.2017 08:30 - 10:00 HS 18 Prüfungsteil B
Fr. 15.09.2017 10:15 - 11:45 HS 10
Fr. 15.09.2017 10:15 - 11:45 HS 16
Fr. 15.09.2017 10:15 - 11:45 HS 9
Fr. 15.09.2017 10:15 - 11:45 HS 18
Fr. 15.09.2017 10:15 - 11:45 HS 15
Fr. 15.09.2017 10:15 - 11:45 HS 8
Fr. 15.09.2017 10:15 - 11:45 HS 17
 
326.059 (2017S) Mathematical logic 2
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 08:30 - 10:00 HS 11
Do. 16.03.2017 08:30 - 10:00 HS 11
Do. 23.03.2017 08:30 - 10:00 HS 11
Do. 30.03.2017 08:30 - 10:00 HS 11
Do. 06.04.2017 08:30 - 10:00 HS 11
Do. 27.04.2017 08:30 - 10:00 HS 11
Do. 11.05.2017 08:30 - 10:00 HS 11
Do. 18.05.2017 08:30 - 10:00 HS 11
Do. 01.06.2017 08:30 - 10:00 HS 11
Do. 08.06.2017 08:30 - 10:00 HS 11
Do. 22.06.2017 08:30 - 10:00 HS 11
Do. 29.06.2017 08:30 - 10:00 HS 11
 
326.041 (2017S) Practical software technology
Further information
Register KV 4,0 Ioana Cleopatra Pau

David Cerna
Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 14:30 - 16:15 MT 327 Introduction. IDE's / Eclipse
Do. 09.03.2017 14:30 - 16:15 MZ 005B
Mi. 15.03.2017 13:45 - 16:15 ESH 3
Do. 16.03.2017 14:30 - 16:15 MZ 005B
Mi. 22.03.2017 13:45 - 16:15 ESH 3 Project Management Platforms: Redmine
Do. 23.03.2017 14:30 - 16:15 MZ 005B
Mi. 29.03.2017 13:45 - 16:15 ESH 3 Version Control Systems. SVN.
Do. 30.03.2017 14:30 - 16:15 MZ 005B
Mi. 05.04.2017 13:45 - 16:15 BA 9909 Version Control Systems. Git.
Do. 06.04.2017 14:30 - 16:15 MZ 005B Javadoc. Integration of tools.
Mi. 26.04.2017 13:45 - 16:15 HT 177F Testing. JUnit.
Do. 27.04.2017 14:30 - 16:15 MZ 005B
Mi. 03.05.2017 13:45 - 16:15 HT 177F Continuous Integration. Jenkins.
Mi. 10.05.2017 13:45 - 16:15 ESH 3 Testing & Mocking
Do. 11.05.2017 14:30 - 16:15 MZ 005B
Mi. 17.05.2017 13:45 - 16:15 ESH 3 Design Patterns. Part 1
Do. 18.05.2017 14:30 - 16:15 MZ 005B
Mi. 24.05.2017 13:45 - 16:15 ESH 3
Mi. 31.05.2017 13:45 - 16:15 HT 177F Design Patterns. Part 2
Do. 01.06.2017 14:30 - 16:15 MZ 005B
Mi. 07.06.2017 13:45 - 16:15 ESH 3 Design Patterns. Part 3
Do. 08.06.2017 14:30 - 16:15 MZ 005B
Mi. 14.06.2017 13:45 - 16:15 HT 177F Design Patterns. Part 4
Mi. 21.06.2017 13:45 - 16:15 K 012D
Do. 22.06.2017 14:30 - 16:15 MZ 005B
Mi. 28.06.2017 13:45 - 16:15 K 012D
Do. 29.06.2017 14:30 - 16:15 MZ 005B
 
326.062 (2017S) Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 14:30 - 16:15 HT 176G
Do. 16.03.2017 14:30 - 16:15 HT 176G
Do. 23.03.2017 14:30 - 16:15 HT 176G
Do. 30.03.2017 14:30 - 16:15 HT 176G
Di. 04.04.2017 14:30 - 16:15 K 012D
Do. 27.04.2017 14:30 - 16:15 HT 176G
Do. 11.05.2017 14:30 - 16:15 HT 176G
Do. 18.05.2017 14:30 - 16:15 HT 176G
Do. 01.06.2017 14:30 - 16:15 HT 176G
Do. 08.06.2017 14:30 - 16:15 HT 176G
Do. 22.06.2017 14:30 - 16:15 HT 176G
Do. 29.06.2017 14:30 - 16:15 HT 176G
 
326.065 (2017S) Rewriting in Computer Science and Logic
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Fr. 17.03.2017 12:00 - 13:30 T 406/1
Fr. 24.03.2017 12:00 - 13:30 T 406/1
Fr. 31.03.2017 12:00 - 13:30 T 406/1
Fr. 07.04.2017 12:00 - 13:30 T 406/1
Fr. 28.04.2017 12:00 - 13:30 T 406/1
Fr. 05.05.2017 12:00 - 13:30 T 406/1
Fr. 12.05.2017 12:00 - 13:30 T 406/1
Fr. 19.05.2017 12:00 - 13:30 T 406/1
Fr. 26.05.2017 12:00 - 13:30 T 406/1
Fr. 02.06.2017 12:00 - 13:30 T 406/1
Fr. 09.06.2017 12:00 - 13:30 T 406/1
Fr. 23.06.2017 12:00 - 13:30 T 406/1
Fr. 30.06.2017 12:00 - 13:30 T 406/1
Mo. 10.07.2017 10:00 - 12:00 K 224B
 
326.098 (2017S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mo. 13.03.2017 15:00 - 16:30 HA 105
Mo. 20.03.2017 15:00 - 16:30 HA 105
Mo. 27.03.2017 15:00 - 16:30 HA 105
Mo. 03.04.2017 15:00 - 16:30 HA 105
Mo. 24.04.2017 15:00 - 16:30 HA 105
Mo. 08.05.2017 15:00 - 16:30 HA 105
Mo. 15.05.2017 15:00 - 16:30 HA 105
Mo. 22.05.2017 15:00 - 16:30 HA 105
Mo. 29.05.2017 15:00 - 16:30 HA 105
Mo. 12.06.2017 15:00 - 16:30 HA 105
Mo. 19.06.2017 15:00 - 16:30 HA 105
Mo. 26.06.2017 15:00 - 16:30 HA 105
 
326.099 (2017S) Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 17)
Further information
Register SE 2,0 Wolfgang Schreiner

Franz Lichtenberger
Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 12:30 - 14:00 HA 105
Mi. 15.03.2017 12:30 - 14:00 HA 105
Mi. 22.03.2017 12:30 - 14:00 HA 105
Mi. 29.03.2017 12:30 - 14:00 HA 105
Mi. 05.04.2017 12:30 - 14:00 HA 105
Mi. 26.04.2017 12:30 - 14:00 HA 105
Mi. 03.05.2017 12:30 - 14:00 HA 105
Mi. 10.05.2017 12:30 - 14:00 HA 105
Mi. 17.05.2017 12:30 - 14:00 HA 105
Mi. 24.05.2017 12:30 - 14:00 HA 105
Mi. 31.05.2017 12:30 - 14:00 HA 105
Mi. 07.06.2017 12:30 - 14:00 HA 105
Mi. 14.06.2017 12:30 - 14:00 HA 105
Mi. 21.06.2017 12:30 - 14:00 HA 105
Mi. 28.06.2017 12:30 - 14:00 HA 105
 
326.006 (2017S) 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. 07.03.2017 13:45 - 15:15 S3 048
Di. 14.03.2017 13:45 - 15:15 S3 048
Di. 21.03.2017 13:45 - 15:15 S3 048
 
326.060 (2017S) Seminar symbolic computation
Algorithmic Algebra
Register SE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 13:45 - 15:15 S2 054
Mi. 15.03.2017 13:45 - 15:15 S2 054
Mi. 22.03.2017 13:45 - 15:15 T 406/1
Mi. 29.03.2017 13:45 - 15:15 T 406/1
Mi. 05.04.2017 13:45 - 15:15 T 406/1
Mi. 26.04.2017 13:45 - 15:15 S2 054
Mi. 03.05.2017 13:45 - 15:15 T 406/1
Mi. 10.05.2017 13:45 - 15:15 S2 054
Mi. 17.05.2017 13:45 - 15:15 T 406/1
Mi. 24.05.2017 13:45 - 15:15 S2 054
Mi. 31.05.2017 13:45 - 15:15 S2 054
Mi. 07.06.2017 13:45 - 15:15 T 406/1
Mi. 14.06.2017 13:45 - 15:15 S2 054
Mi. 21.06.2017 13:45 - 15:15 T 406/1
 
326.096 (2017S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 17)
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 14:00 - 15:30 HA 105
Mi. 15.03.2017 14:00 - 15:30 HA 105
Mi. 22.03.2017 14:00 - 15:30 HA 105
Mi. 29.03.2017 14:00 - 15:30 HA 105
Mi. 05.04.2017 14:00 - 15:30 HA 105
Mi. 26.04.2017 14:00 - 15:30 HA 105
Mi. 03.05.2017 14:00 - 15:30 HA 105
Mi. 10.05.2017 14:00 - 15:30 HA 105
Mi. 17.05.2017 14:00 - 15:30 HA 105
Mi. 24.05.2017 14:00 - 15:30 HA 105
Mi. 31.05.2017 14:00 - 15:30 HA 105
Mi. 07.06.2017 14:00 - 15:30 HA 105
Mi. 14.06.2017 14:00 - 15:30 HA 105
Mi. 21.06.2017 14:00 - 15:30 HA 105
Mi. 28.06.2017 14:00 - 15:30 HA 105
 
326.0UU (2017S) Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 17)
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 14:30 - 16:00 HA 105
Do. 16.03.2017 10:15 - 11:45 HA 105
Do. 23.03.2017 10:15 - 11:45 HA 105
Do. 30.03.2017 10:15 - 11:45 HA 105
Do. 06.04.2017 10:15 - 11:45 HA 105
Do. 27.04.2017 10:15 - 11:45 HA 105
Do. 11.05.2017 10:15 - 11:45 HA 105
Do. 18.05.2017 10:15 - 11:45 HA 105
Do. 01.06.2017 10:15 - 11:45 HA 105
Do. 08.06.2017 10:15 - 11:45 HA 105
Do. 22.06.2017 10:15 - 11:45 HA 105
Do. 29.06.2017 10:15 - 11:45 HA 105
 
326.068 (2017S) Software engineering
Further information
Register KV 2,0 Petru Pau Weekly
 
Date Daytime Room Topic
Di. 07.03.2017 16:15 - 17:45 S2 053
Di. 14.03.2017 16:15 - 17:45 S2 053
Di. 21.03.2017 16:15 - 17:45 S2 053
Di. 28.03.2017 16:15 - 17:45 S2 053
Di. 04.04.2017 16:15 - 17:45 S2 053
Di. 25.04.2017 16:15 - 17:45 S2 053
Di. 02.05.2017 16:15 - 17:45 S2 053
Di. 09.05.2017 16:15 - 17:45 S2 053
Di. 16.05.2017 16:15 - 17:45 S2 053
Di. 23.05.2017 16:15 - 17:45 S2 053
Di. 30.05.2017 16:15 - 17:45 S2 053
Di. 13.06.2017 16:15 - 17:45 S2 053
Di. 20.06.2017 16:15 - 17:45 S2 053
Di. 27.06.2017 16:15 - 17:45 S2 053
Fr. 30.06.2017 16:15 - 19:00 S2 054
 
326.087 (2017S) Special Topics
Functional Programming
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi. 08.03.2017 16:15 - 18:00 S2 219
Mi. 15.03.2017 17:15 - 18:45 S2 053
Mi. 22.03.2017 17:15 - 18:45 S2 053
Mi. 29.03.2017 17:15 - 18:45 S2 053
Mi. 05.04.2017 17:15 - 18:45 S2 053
Mi. 26.04.2017 17:15 - 18:45 S2 053
Mi. 03.05.2017 17:15 - 18:45 S2 053
Mi. 10.05.2017 17:15 - 18:45 S2 053
Mi. 17.05.2017 17:15 - 18:45 S2 053
Mi. 24.05.2017 17:15 - 18:45 S2 053
Mi. 31.05.2017 17:15 - 18:45 S2 053
Mi. 07.06.2017 17:15 - 18:45 S2 053
Mi. 14.06.2017 17:15 - 18:45 S2 053
Mi. 21.06.2017 17:15 - 18:45 S2 053
Mi. 28.06.2017 17:15 - 18:45 S2 053
 
326.0MM (2017S) Special Topics
Programming in Mathematica
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 14:30 - 16:15 HT 176G
Do. 16.03.2017 14:30 - 16:15 HT 176G
Do. 23.03.2017 14:30 - 16:15 HT 176G
Do. 30.03.2017 14:30 - 16:15 HT 176G
Di. 04.04.2017 14:30 - 16:15 K 012D
Do. 27.04.2017 14:30 - 16:15 HT 176G
Do. 11.05.2017 14:30 - 16:15 HT 176G
Do. 18.05.2017 14:30 - 16:15 HT 176G
Do. 01.06.2017 14:30 - 16:15 HT 176G
Do. 08.06.2017 14:30 - 16:15 HT 176G
Do. 22.06.2017 14:30 - 16:15 HT 176G
Do. 29.06.2017 14:30 - 16:15 HT 176G
 
326.0VR (2017S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 06.03.2017 08:30 - 10:00 HS 11
Mo. 13.03.2017 08:30 - 10:00 HS 11
Mo. 20.03.2017 08:30 - 10:00 HS 11
Mo. 27.03.2017 08:30 - 10:00 HS 11
Mo. 03.04.2017 08:30 - 10:00 HS 11
Mo. 24.04.2017 08:30 - 10:00 HS 11
Mo. 08.05.2017 08:30 - 10:00 HS 11
Mo. 15.05.2017 08:30 - 10:00 HS 11
Mo. 22.05.2017 08:30 - 10:00 HS 11
Mo. 29.05.2017 08:30 - 10:00 HS 11
Mo. 12.06.2017 08:30 - 10:00 HS 11
Mo. 19.06.2017 08:30 - 10:00 HS 11
Mo. 26.06.2017 08:30 - 10:00 HS 11
 
326.00E (2017S) Special topics logic and software design
Formal Languages and Formal Grammars
Further information
Register VL 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 09.03.2017 16:15 - 18:00 HS 11
Do. 16.03.2017 16:15 - 18:00 HS 11
Do. 23.03.2017 16:15 - 18:00 HS 11
Do. 30.03.2017 16:15 - 18:00 HS 11
Do. 06.04.2017 16:15 - 18:00 HS 11
Do. 27.04.2017 16:15 - 18:00 HS 11
Do. 11.05.2017 16:15 - 18:00 HS 11
Do. 18.05.2017 16:15 - 18:00 HS 11
Do. 01.06.2017 16:15 - 18:00 HS 11
Do. 08.06.2017 16:15 - 18:00 HS 11
Do. 22.06.2017 16:15 - 18:00 HS 11
Do. 29.06.2017 16:15 - 18:00 HS 11
 
326.076 (2017S) Special topics logic and software design
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 06.03.2017 08:30 - 10:00 HS 11
Mo. 13.03.2017 08:30 - 10:00 HS 11
Mo. 20.03.2017 08:30 - 10:00 HS 11
Mo. 27.03.2017 08:30 - 10:00 HS 11
Mo. 03.04.2017 08:30 - 10:00 HS 11
Mo. 24.04.2017 08:30 - 10:00 HS 11
Mo. 08.05.2017 08:30 - 10:00 HS 11
Mo. 15.05.2017 08:30 - 10:00 HS 11
Mo. 22.05.2017 08:30 - 10:00 HS 11
Mo. 29.05.2017 08:30 - 10:00 HS 11
Mo. 12.06.2017 08:30 - 10:00 HS 11
Mo. 19.06.2017 08:30 - 10:00 HS 11
Mo. 26.06.2017 08:30 - 10:00 HS 11
 
326.080 (2017S) Special Topics symbolic computation
Symbolic Linear Algebra
Further information
Register VL 2,0 Johannes Middeke Weekly
 
Date Daytime Room Topic
Fr. 10.03.2017 13:45 - 15:15 S2 054
Fr. 17.03.2017 13:45 - 15:15 S2 054
Fr. 24.03.2017 13:45 - 15:15 S2 054
Fr. 31.03.2017 13:45 - 15:15 S2 054
Fr. 07.04.2017 13:45 - 15:15 S2 054
Fr. 28.04.2017 13:45 - 15:15 S2 054
Fr. 05.05.2017 13:45 - 15:15 S2 054
Fr. 12.05.2017 13:45 - 15:15 S2 054
Fr. 19.05.2017 13:45 - 15:15 S2 054
Fr. 26.05.2017 13:45 - 15:15 S2 054
Fr. 02.06.2017 13:45 - 15:15 S2 054
Fr. 09.06.2017 13:45 - 15:15 S2 054
Fr. 23.06.2017 13:45 - 15:15 S2 054
Fr. 30.06.2017 13:45 - 15:15 S2 054
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail