RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Summer Semester 2018 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.046 (2018S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 12:00 - 13:30 HS 11
Di. 13.03.2018 12:00 - 13:30 HS 11
Di. 20.03.2018 12:00 - 13:30 HS 11
Di. 10.04.2018 12:00 - 13:30 HS 11
Di. 17.04.2018 12:00 - 13:30 HS 11
Di. 24.04.2018 12:00 - 13:30 HS 11
Di. 08.05.2018 12:00 - 13:30 HS 11
Di. 15.05.2018 12:00 - 13:30 HS 11
Di. 29.05.2018 12:00 - 13:30 HS 11
Di. 05.06.2018 12:00 - 13:30 HS 11
Di. 12.06.2018 12:00 - 13:30 HS 11
Di. 19.06.2018 12:00 - 13:30 HS 11
Di. 26.06.2018 12:00 - 13:30 HS 11
 
326.047 (2018S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 13.03.2018 11:00 - 11:45 HS 11
Di. 20.03.2018 11:00 - 11:45 HS 11
Di. 10.04.2018 11:00 - 11:45 HS 11
Di. 17.04.2018 11:00 - 11:45 HS 11
Di. 24.04.2018 11:00 - 11:45 HS 11
Di. 08.05.2018 11:00 - 11:45 HS 11
Di. 15.05.2018 11:00 - 11:45 HS 11
Di. 29.05.2018 11:00 - 11:45 HS 11
Di. 05.06.2018 11:00 - 11:45 HS 11
Di. 12.06.2018 11:00 - 11:45 HS 11
Di. 19.06.2018 11:00 - 11:45 HS 11
Di. 26.06.2018 11:00 - 11:45 HS 11
 
326.079 (2018S) Computer analysis
Further information
Register VO 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 12:00 - 13:30 K 001A
Di. 13.03.2018 12:00 - 13:30 K 001A
Di. 20.03.2018 12:00 - 13:30 K 001A
Di. 10.04.2018 12:00 - 13:30 K 001A
Di. 17.04.2018 12:00 - 13:30 K 001A
Di. 24.04.2018 12:00 - 13:30 K 001A
Di. 08.05.2018 12:00 - 13:30 K 001A
Di. 15.05.2018 12:00 - 13:30 K 001A
Di. 29.05.2018 12:00 - 13:30 K 001A
Di. 05.06.2018 12:00 - 13:30 K 001A
Di. 12.06.2018 12:00 - 13:30 K 001A
Di. 19.06.2018 12:00 - 13:30 K 001A
Di. 26.06.2018 12:00 - 13:30 K 001A
 
326.052 (2018S) Computer systems
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 09.03.2018 10:15 - 11:45 BA 9911
Fr. 16.03.2018 10:15 - 11:45 BA 9911
Fr. 16.03.2018 12:00 - 13:30 BA 9912
Mo. 19.03.2018 16:15 - 18:00 K 223B
Mi. 21.03.2018 14:30 - 16:15 S2 120
Fr. 23.03.2018 10:15 - 11:45 BA 9911
Mo. 09.04.2018 16:15 - 18:00 K 223B
Mi. 11.04.2018 14:30 - 16:15 S2 120
Fr. 13.04.2018 10:15 - 11:45 BA 9911
Mo. 16.04.2018 16:15 - 18:00 K 223B
Mi. 18.04.2018 14:30 - 16:15 S2 120
Fr. 20.04.2018 10:15 - 11:45 BA 9911
Mo. 23.04.2018 16:15 - 18:00 K 223B
Mi. 25.04.2018 14:30 - 16:15 S2 120
Fr. 27.04.2018 10:15 - 11:45 BA 9911
Mo. 30.04.2018 16:15 - 18:00 K 223B
Mi. 02.05.2018 14:30 - 16:15 S2 120
Mo. 07.05.2018 16:15 - 18:00 K 223B
Mi. 09.05.2018 14:30 - 16:15 S2 120
Fr. 11.05.2018 10:15 - 11:45 BA 9911
Mo. 14.05.2018 16:15 - 18:00 K 223B
Mi. 16.05.2018 14:30 - 16:15 S2 120
Fr. 18.05.2018 10:15 - 11:45 BA 9911
Mi. 23.05.2018 14:30 - 16:15 S2 120
Fr. 25.05.2018 10:15 - 11:45 BA 9911
Mo. 28.05.2018 16:15 - 18:00 K 223B
Mi. 30.05.2018 14:30 - 16:15 S2 120
Mo. 04.06.2018 16:15 - 18:00 K 223B
Mi. 06.06.2018 14:30 - 16:15 S2 120
Fr. 08.06.2018 10:15 - 11:45 BA 9911
Mo. 11.06.2018 16:15 - 18:00 K 223B
Mi. 13.06.2018 14:30 - 16:15 S2 120
Fr. 15.06.2018 10:15 - 11:45 BA 9911
Mo. 18.06.2018 16:15 - 18:00 K 223B
Mi. 20.06.2018 14:30 - 16:15 S2 120
Fr. 22.06.2018 10:15 - 11:45 BA 9911
Mo. 25.06.2018 16:15 - 18:00 K 223B
Mi. 27.06.2018 14:30 - 16:15 S2 120
Fr. 29.06.2018 10:15 - 11:45 BA 9911
Mi. 04.07.2018 10:00 - 11:45 HS 8
 
326.081 (2018S) Introduction to parallel and distributed computing
Further information
Register VO 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 05.03.2018 08:30 - 10:00 S2 219
Mo. 12.03.2018 08:30 - 10:00 S2 219
Mo. 19.03.2018 08:30 - 10:00 S2 219
Mo. 09.04.2018 08:30 - 10:00 S2 219
Mo. 16.04.2018 08:30 - 10:00 S2 219
Mo. 23.04.2018 08:30 - 10:00 S2 219
Mo. 30.04.2018 08:30 - 10:00 S2 219
Mo. 07.05.2018 08:30 - 10:00 S2 219
Mo. 14.05.2018 08:30 - 10:00 S2 219
Mo. 28.05.2018 08:30 - 10:00 S2 219
Mo. 04.06.2018 08:30 - 10:00 S2 219
Mo. 11.06.2018 08:30 - 10:00 S2 219
Mo. 18.06.2018 08:30 - 10:00 S2 219
Mo. 25.06.2018 08:30 - 10:00 S2 219
 
326.008 (2018S) Decidibility and complexity classes
Further information
Register VO 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 08:30 - 10:00 BA 9912
Do. 15.03.2018 08:30 - 10:00 BA 9912
Do. 22.03.2018 08:30 - 10:00 BA 9912
Do. 12.04.2018 08:30 - 10:00 BA 9912
Do. 19.04.2018 08:30 - 10:00 BA 9912
Do. 26.04.2018 08:30 - 10:00 BA 9912
Do. 03.05.2018 08:30 - 10:00 BA 9912
Do. 17.05.2018 08:30 - 10:00 BA 9912
Do. 24.05.2018 08:30 - 10:00 BA 9912
Do. 07.06.2018 08:30 - 10:00 BA 9912
Do. 14.06.2018 08:30 - 10:00 BA 9912
Do. 21.06.2018 08:30 - 10:00 BA 9912
Do. 28.06.2018 08:30 - 10:00 BA 9912
 
326.703 (2018S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 16:15 - 18:00 HS 10
Do. 15.03.2018 16:15 - 17:00 S3 047
Do. 22.03.2018 16:15 - 17:00 S3 047
Do. 19.04.2018 16:15 - 17:00 S3 047
Do. 26.04.2018 16:15 - 17:00 S3 047
Do. 03.05.2018 16:15 - 17:00 S3 047
Do. 17.05.2018 16:15 - 17:00 S3 047
Do. 24.05.2018 16:15 - 17:00 S3 047
Do. 07.06.2018 16:15 - 17:00 S3 047
Do. 14.06.2018 16:15 - 17:00 S3 047
Do. 21.06.2018 16:15 - 17:00 S3 047
Do. 28.06.2018 16:15 - 17:00 S3 047
 
326.712 (2018S) Formal Foundations in Business Informatics
Further information
Register VL 3,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 13:45 - 16:15 HS 18
Do. 15.03.2018 13:45 - 16:15 HS 18
Do. 22.03.2018 13:45 - 16:15 HS 18
Do. 12.04.2018 13:45 - 16:15 HS 18
Do. 19.04.2018 13:45 - 16:15 HS 18
Do. 26.04.2018 13:45 - 16:15 HS 18
Do. 03.05.2018 13:45 - 16:15 HS 18
Do. 24.05.2018 13:45 - 16:15 HS 18
Do. 14.06.2018 13:45 - 16:15 HS 18
Do. 28.06.2018 13:45 - 16:15 HS 18
 
326.714 (2018S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 16:15 - 18:00 HS 9
Do. 15.03.2018 16:15 - 17:00 HS 18
Do. 22.03.2018 16:15 - 17:00 HS 18
Do. 12.04.2018 16:15 - 17:00 HS 18
Do. 19.04.2018 16:15 - 17:00 MT 226
Do. 26.04.2018 16:15 - 17:00 MT 226
Do. 03.05.2018 16:15 - 17:00 MT 226
Do. 17.05.2018 16:15 - 17:00 MT 226
Do. 24.05.2018 16:15 - 17:00 MT 226
Do. 07.06.2018 16:15 - 17:00 MT 226
Do. 14.06.2018 16:15 - 17:00 MT 226
Do. 21.06.2018 16:15 - 17:00 MT 226
Do. 28.06.2018 16:15 - 17:00 MT 226
 
326.003 (2018S) Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 2018
Further information
Register KV 2,0 Diego Dominici Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 13:45 - 15:15 BA 9912
Di. 13.03.2018 13:45 - 15:15 BA 9912
Di. 20.03.2018 13:45 - 15:15 S2 044
Di. 10.04.2018 13:45 - 15:15 BA 9912
Di. 17.04.2018 13:45 - 15:15 BA 9912
Di. 24.04.2018 13:45 - 15:15 S2 046
Di. 08.05.2018 13:45 - 15:15 BA 9912
Di. 15.05.2018 13:45 - 15:15 BA 9912
Di. 29.05.2018 13:45 - 15:15 BA 9912
Di. 05.06.2018 13:45 - 15:15 BA 9912
Di. 12.06.2018 13:45 - 15:15 BA 9912
Di. 19.06.2018 13:45 - 15:15 BA 9912
Di. 26.06.2018 13:45 - 15:15 BA 9912
 
326.054 (2018S) Functional programming
Further information
Register KV 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 16:15 - 18:00 BA 9911
Mi. 14.03.2018 17:15 - 18:45 MT 226
Mi. 21.03.2018 17:15 - 18:45 MT 226
Mi. 11.04.2018 17:15 - 18:45 MT 226
Mi. 18.04.2018 17:15 - 18:45 MT 226
Mi. 25.04.2018 17:15 - 18:45 MT 226
Mi. 02.05.2018 17:15 - 18:45 MT 226
Mi. 09.05.2018 17:15 - 18:45 MT 226
Mi. 16.05.2018 17:15 - 18:45 MT 226
Mi. 23.05.2018 17:15 - 18:45 MT 226
Mi. 30.05.2018 17:15 - 18:45 MT 226
Mi. 06.06.2018 17:15 - 18:45 MT 226
Mi. 13.06.2018 17:15 - 18:45 MT 226
Mi. 20.06.2018 17:15 - 18:45 MT 226
Mi. 27.06.2018 17:15 - 18:45 MT 226
 
326.0KA (2018S) Commutative algebra and algebraic geometry
Further information
Register VO 4,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 14:30 - 16:15 HS 12
Fr. 09.03.2018 10:15 - 11:45 HS 14
Di. 13.03.2018 14:30 - 16:15 HS 12
Fr. 16.03.2018 10:15 - 11:45 HS 14
Di. 20.03.2018 14:30 - 16:15 HS 12
Fr. 23.03.2018 10:15 - 11:45 HS 14
Di. 10.04.2018 14:30 - 16:15 HS 12
Fr. 13.04.2018 10:15 - 11:45 HS 14
Di. 17.04.2018 14:30 - 16:15 HS 12
Fr. 20.04.2018 10:15 - 11:45 HS 14
Di. 24.04.2018 14:30 - 16:15 HS 12
Fr. 27.04.2018 10:15 - 11:45 HS 14
Di. 08.05.2018 14:30 - 16:15 HS 12
Fr. 11.05.2018 10:15 - 11:45 HS 14
Di. 15.05.2018 14:30 - 16:15 HS 12
Fr. 18.05.2018 10:15 - 11:45 HS 14
Fr. 25.05.2018 10:15 - 11:45 HS 14
Di. 29.05.2018 14:30 - 16:15 HS 12
Di. 05.06.2018 14:30 - 16:15 HS 12
Fr. 08.06.2018 10:15 - 11:45 HS 14
Di. 12.06.2018 14:30 - 16:15 HS 12
Fr. 15.06.2018 10:15 - 11:45 HS 14
Di. 19.06.2018 14:30 - 16:15 HS 12
Fr. 22.06.2018 10:15 - 11:45 HS 14
Di. 26.06.2018 14:30 - 16:15 HS 12
Fr. 29.06.2018 10:15 - 11:45 HS 14
 
326.0UK (2018S) Commutative algebra and algebraic geometry
Further information
Register UE 1,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 16:15 - 17:00 HS 12
Di. 13.03.2018 16:15 - 17:00 HS 12
Di. 20.03.2018 16:15 - 17:00 HS 12
Di. 10.04.2018 16:15 - 17:00 HS 12
Di. 17.04.2018 16:15 - 17:00 HS 12
Di. 24.04.2018 16:15 - 17:00 HS 12
Di. 08.05.2018 16:15 - 17:00 HS 12
Di. 15.05.2018 16:15 - 17:00 HS 12
Di. 29.05.2018 16:15 - 17:00 HS 12
Di. 05.06.2018 16:15 - 17:00 HS 12
Di. 12.06.2018 16:15 - 17:00 HS 12
Di. 19.06.2018 16:15 - 17:00 HS 12
Di. 26.06.2018 16:15 - 17:00 HS 12
 
326.048 (2018S) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 12:00 - 13:30 S2 048
Di. 13.03.2018 12:00 - 13:30 S2 048
Di. 20.03.2018 12:00 - 13:30 S2 048
Di. 10.04.2018 12:00 - 13:30 S2 048
Di. 17.04.2018 12:00 - 13:30 S2 048
Di. 24.04.2018 12:00 - 13:30 S2 048
Di. 08.05.2018 12:00 - 13:30 S2 048
Di. 15.05.2018 12:00 - 13:30 S2 048
Di. 29.05.2018 12:00 - 13:30 S2 048
Di. 05.06.2018 12:00 - 13:30 S2 048
Di. 12.06.2018 12:00 - 13:30 S2 048
Di. 19.06.2018 12:00 - 13:30 S2 048
Di. 26.06.2018 12:00 - 13:30 S2 048
 
326.0XX (2018S) Seminar for graduate and doctoral students
Summer Semester 2018
Further information
Register SE 2,0 Peter Paule Weekly
 
No dates found.
 
326.0YY (2018S) Seminar for graduate and doctoral students
Summer Semester 2018
Register SE 2,0 Bruno Buchberger

Tudor Jebelean
Weekly
 
No dates found.
 
326.0ZZ (2018S) Seminar for graduate and doctoral students
Summer Semester 2018
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 10:15 - 11:45 HA 105
Do. 15.03.2018 10:15 - 11:45 HA 105
Do. 22.03.2018 10:15 - 11:45 HA 105
Do. 12.04.2018 10:15 - 11:45 HA 105
Do. 19.04.2018 10:15 - 11:45 HA 105
Do. 26.04.2018 10:15 - 11:45 HA 105
Do. 03.05.2018 10:15 - 11:45 HA 105
Do. 17.05.2018 10:15 - 11:45 HA 105
Do. 24.05.2018 10:15 - 11:45 HA 105
Do. 07.06.2018 10:15 - 11:45 HA 105
Do. 14.06.2018 10:15 - 11:45 HA 105
Do. 21.06.2018 10:15 - 11:45 HA 105
Do. 28.06.2018 10:15 - 11:45 HA 105
 
326.041 (2018S) Practical software technology
Further information
Register KV 4,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 14:30 - 16:15 S2 054 Introduction. Eclipse.
Do. 08.03.2018 14:30 - 16:15 S2 044 First steps in Java
Mi. 14.03.2018 14:30 - 16:15 S2 054 Project Management with Redmine
Do. 15.03.2018 14:30 - 16:15 S2 044 Object Oriented Programming
Mi. 21.03.2018 14:30 - 16:15 S2 054 Version Control Systems: SVN
Do. 22.03.2018 14:30 - 16:15 S2 044 Garbage Collection, Packages, Polymorphism
Mi. 11.04.2018 14:30 - 16:15 S2 054 Version Control Systems: Git
Mi. 18.04.2018 14:30 - 16:15 S2 054
Do. 19.04.2018 14:30 - 16:15 S2 044
Mi. 25.04.2018 14:30 - 16:15 S2 054
Do. 26.04.2018 14:30 - 16:15 S2 044
Mi. 02.05.2018 14:30 - 16:15 S2 054
Do. 03.05.2018 14:30 - 16:15 S2 044
Mi. 09.05.2018 14:30 - 16:15 S2 054
Mi. 16.05.2018 14:30 - 16:15 S2 054
Do. 17.05.2018 14:30 - 16:15 S2 044
Mi. 23.05.2018 14:30 - 16:15 S2 054
Do. 24.05.2018 14:30 - 16:15 S2 044
Mi. 30.05.2018 14:30 - 16:15 S2 054
Mi. 06.06.2018 14:30 - 16:15 S2 054
Do. 07.06.2018 14:30 - 16:15 S2 044
Mi. 13.06.2018 14:30 - 16:15 S2 054
Do. 14.06.2018 14:30 - 16:15 S2 044
Mi. 20.06.2018 14:30 - 16:15 S2 054
Do. 21.06.2018 14:30 - 16:15 S2 044
Mi. 27.06.2018 14:30 - 16:15 S2 054
Do. 28.06.2018 14:30 - 16:15 S2 044
 
326.062 (2018S) Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 14:30 - 16:15 HT 176G
Di. 13.03.2018 14:30 - 16:15 HT 176G
Di. 20.03.2018 14:30 - 16:15 HT 176G
Di. 10.04.2018 14:30 - 16:15 HT 176G
Di. 17.04.2018 14:30 - 16:15 HT 176G
Di. 24.04.2018 14:30 - 16:15 HT 176G
Di. 08.05.2018 14:30 - 16:15 HT 176G
Di. 15.05.2018 14:30 - 16:15 HT 176G
Di. 29.05.2018 14:30 - 16:15 HT 176G
Di. 05.06.2018 14:30 - 16:15 HT 176G
Di. 12.06.2018 14:30 - 16:15 HT 176G
Di. 19.06.2018 14:30 - 16:15 HT 176G
Di. 26.06.2018 14:30 - 16:15 HT 176G
 
326.020 (2018S) Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 18)
Further information
Register SE 2,0 Heinrich Rolletschek Weekly
 
No dates found.
 
326.098 (2018S) 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. 05.03.2018 09:00 - 10:30 U1-14
Mo. 12.03.2018 09:00 - 10:30 U1-14
Mo. 19.03.2018 09:00 - 10:30 U1-14
Mo. 09.04.2018 09:00 - 10:30 U1-14
Mo. 09.04.2018 16:15 - 18:45 S2 219
Di. 10.04.2018 17:15 - 19:45 S3 057
Mo. 16.04.2018 09:00 - 10:30 U1-14
Mo. 23.04.2018 09:00 - 10:30 U1-14
Mo. 30.04.2018 09:00 - 10:30 U1-14
Mo. 07.05.2018 09:00 - 10:30 U1-14
Mo. 14.05.2018 09:00 - 10:30 U1-14
Mo. 28.05.2018 09:00 - 10:30 U1-14
Mo. 04.06.2018 09:00 - 10:30 U1-14
Mo. 04.06.2018 16:15 - 18:45 S2 219
Di. 05.06.2018 17:15 - 19:45 S3 057
Mo. 11.06.2018 09:00 - 10:30 U1-14
Mo. 18.06.2018 09:00 - 10:30 U1-14
Mo. 25.06.2018 09:00 - 10:30 U1-14
 
326.099 (2018S) Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 18)
Further information
Register SE 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 12:30 - 14:00 HA 105
Mi. 14.03.2018 12:30 - 14:00 HA 105
Mi. 21.03.2018 12:30 - 14:00 HA 105
Mi. 11.04.2018 12:30 - 14:00 HA 105
Mi. 18.04.2018 12:30 - 14:00 HA 105
Mi. 25.04.2018 12:30 - 14:00 HA 105
Mi. 25.04.2018 16:15 - 18:45 S2 120
Mi. 02.05.2018 12:30 - 14:00 HA 105
Mi. 09.05.2018 12:30 - 14:00 HA 105
Mi. 16.05.2018 12:30 - 14:00 HA 105
Mi. 23.05.2018 12:30 - 14:00 HA 105
Mi. 30.05.2018 12:30 - 14:00 HA 105
Mi. 06.06.2018 12:30 - 14:00 HA 105
Mi. 13.06.2018 12:30 - 14:00 HA 105
Mi. 20.06.2018 12:30 - 14:00 HA 105
Mi. 27.06.2018 12:30 - 14:00 HA 105
Mi. 27.06.2018 16:15 - 18:45 S2 120
 
326.006 (2018S) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
 
No dates found.
 
326.060 (2018S) Seminar symbolic computation
History and Philosophy of Mathematics
Further information
Register SE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Do. 22.03.2018 13:45 - 15:15 S2 120
Do. 19.04.2018 13:45 - 15:15 HF 9905
Do. 26.04.2018 13:45 - 15:15 HF 9905
Do. 03.05.2018 13:45 - 15:15 HF 9905
Do. 17.05.2018 13:45 - 15:15 HF 9905
Do. 24.05.2018 13:45 - 15:15 HF 9905
Do. 07.06.2018 13:45 - 15:15 HF 9905
Do. 14.06.2018 13:45 - 15:15 HF 9905
Do. 21.06.2018 13:45 - 15:15 HF 9905
Do. 28.06.2018 13:45 - 15:15 HF 9905
 
326.096 (2018S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2018)
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 14:00 - 15:30 HA 105
Mi. 14.03.2018 14:00 - 15:30 HA 105
Mi. 21.03.2018 14:00 - 15:30 HA 105
Mi. 11.04.2018 14:00 - 15:30 HA 105
Mi. 18.04.2018 14:00 - 15:30 HA 105
Mi. 25.04.2018 14:00 - 15:30 HA 105
Mi. 02.05.2018 14:00 - 15:30 HA 105
Mi. 09.05.2018 14:00 - 15:30 HA 105
Mi. 16.05.2018 14:00 - 15:30 HA 105
Mi. 23.05.2018 14:00 - 15:30 HA 105
Mi. 30.05.2018 14:00 - 15:30 HA 105
Mi. 06.06.2018 14:00 - 15:30 HA 105
Mi. 13.06.2018 14:00 - 15:30 HA 105
Mi. 20.06.2018 14:00 - 15:30 HA 105
Mi. 27.06.2018 14:00 - 15:30 HA 105
 
326.0CA (2018S) Seminar symbolic computation
Computer algebra II
Further information
Register SE 2,0 Franz Winkler Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 10:15 - 11:45 HA 105
Do. 15.03.2018 10:15 - 11:45 HA 105
Do. 22.03.2018 10:15 - 11:45 HA 105
Do. 12.04.2018 10:15 - 11:45 HA 105
Do. 19.04.2018 10:15 - 11:45 HA 105
Do. 26.04.2018 10:15 - 11:45 HA 105
Do. 03.05.2018 10:15 - 11:45 HA 105
Do. 17.05.2018 10:15 - 11:45 HA 105
Do. 24.05.2018 10:15 - 11:45 HA 105
Do. 07.06.2018 10:15 - 11:45 HA 105
Do. 14.06.2018 10:15 - 11:45 HA 105
Do. 21.06.2018 10:15 - 11:45 HA 105
Do. 28.06.2018 10:15 - 11:45 HA 105
 
326.068 (2018S) Software engineering
Further information
Register KV 2,0 Petru Pau Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 16:15 - 18:00 MT 132
Di. 13.03.2018 16:15 - 18:00 MT 132
Di. 20.03.2018 16:15 - 18:00 MT 132
Di. 10.04.2018 16:15 - 18:00 MT 132
Di. 17.04.2018 16:15 - 18:00 MT 132
Di. 24.04.2018 16:15 - 18:00 MT 132
Di. 08.05.2018 16:15 - 18:00 MT 132
Di. 15.05.2018 16:15 - 18:00 MT 132
Di. 29.05.2018 16:15 - 18:00 MT 132
Di. 05.06.2018 16:15 - 18:00 MT 132
Di. 12.06.2018 16:15 - 18:00 MT 132
Di. 19.06.2018 16:15 - 18:00 MT 132
Di. 26.06.2018 16:15 - 18:00 MT 132
 
326.087 (2018S) Special Topics
Functional Programming
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 16:15 - 18:00 BA 9911
Mi. 14.03.2018 17:15 - 18:45 MT 226
Mi. 21.03.2018 17:15 - 18:45 MT 226
Mi. 11.04.2018 17:15 - 18:45 MT 226
Mi. 18.04.2018 17:15 - 18:45 MT 226
Mi. 25.04.2018 17:15 - 18:45 MT 226
Mi. 02.05.2018 17:15 - 18:45 MT 226
Mi. 09.05.2018 17:15 - 18:45 MT 226
Mi. 16.05.2018 17:15 - 18:45 MT 226
Mi. 23.05.2018 17:15 - 18:45 MT 226
Mi. 30.05.2018 17:15 - 18:45 MT 226
Mi. 06.06.2018 17:15 - 18:45 MT 226
Mi. 13.06.2018 17:15 - 18:45 MT 226
Mi. 20.06.2018 17:15 - 18:45 MT 226
Mi. 27.06.2018 17:15 - 18:45 MT 226
 
326.0AD (2018S) Special Topics
Introduction to Parallel and Distributed Computing
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 05.03.2018 08:30 - 10:00 S2 219
Mo. 12.03.2018 08:30 - 10:00 S2 219
Mo. 19.03.2018 08:30 - 10:00 S2 219
Mo. 09.04.2018 08:30 - 10:00 S2 219
Mo. 16.04.2018 08:30 - 10:00 S2 219
Mo. 23.04.2018 08:30 - 10:00 S2 219
Mo. 30.04.2018 08:30 - 10:00 S2 219
Mo. 07.05.2018 08:30 - 10:00 S2 219
Mo. 14.05.2018 08:30 - 10:00 S2 219
Mo. 28.05.2018 08:30 - 10:00 S2 219
Mo. 04.06.2018 08:30 - 10:00 S2 219
Mo. 11.06.2018 08:30 - 10:00 S2 219
Mo. 18.06.2018 08:30 - 10:00 S2 219
Mo. 25.06.2018 08:30 - 10:00 S2 219
 
326.0DC (2018S) Special Topics
Decidability and Complexity Classes
Further information
Register VL 2,0 Heinrich Rolletschek Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 08:30 - 10:00 BA 9912
Do. 15.03.2018 08:30 - 10:00 BA 9912
Do. 22.03.2018 08:30 - 10:00 BA 9912
Do. 12.04.2018 08:30 - 10:00 BA 9912
Do. 19.04.2018 08:30 - 10:00 BA 9912
Do. 26.04.2018 08:30 - 10:00 BA 9912
Do. 03.05.2018 08:30 - 10:00 BA 9912
Do. 17.05.2018 08:30 - 10:00 BA 9912
Do. 24.05.2018 08:30 - 10:00 BA 9912
Do. 07.06.2018 08:30 - 10:00 BA 9912
Do. 14.06.2018 08:30 - 10:00 BA 9912
Do. 21.06.2018 08:30 - 10:00 BA 9912
Do. 28.06.2018 08:30 - 10:00 BA 9912
 
326.0MM (2018S) Special Topics
Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Di. 06.03.2018 14:30 - 16:15 HT 176G
Di. 13.03.2018 14:30 - 16:15 HT 176G
Di. 20.03.2018 14:30 - 16:15 HT 176G
Di. 10.04.2018 14:30 - 16:15 HT 176G
Di. 17.04.2018 14:30 - 16:15 HT 176G
Di. 24.04.2018 14:30 - 16:15 HT 176G
Di. 08.05.2018 14:30 - 16:15 HT 176G
Di. 15.05.2018 14:30 - 16:15 HT 176G
Di. 29.05.2018 14:30 - 16:15 HT 176G
Di. 05.06.2018 14:30 - 16:15 HT 176G
Di. 12.06.2018 14:30 - 16:15 HT 176G
Di. 19.06.2018 14:30 - 16:15 HT 176G
Di. 26.06.2018 14:30 - 16:15 HT 176G
 
326.076 (2018S) Special topics logic and software design
Formal Specification of Abstract Datatypes
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 09.03.2018 08:30 - 10:00 HS 13
Fr. 16.03.2018 08:30 - 10:00 HS 13
Fr. 23.03.2018 08:30 - 10:00 HS 13
Fr. 13.04.2018 08:30 - 10:00 HS 13
Fr. 20.04.2018 08:30 - 10:00 HS 13
Fr. 27.04.2018 08:30 - 10:00 HS 13
Fr. 11.05.2018 08:30 - 10:00 HS 13
Fr. 18.05.2018 08:30 - 10:00 HS 13
Fr. 25.05.2018 08:30 - 10:00 HS 13
Fr. 08.06.2018 08:30 - 10:00 HS 13
Fr. 15.06.2018 08:30 - 10:00 HS 13
Fr. 22.06.2018 08:30 - 10:00 HS 13
Fr. 29.06.2018 08:30 - 10:00 HS 13
 
326.097 (2018S) Special topics logic and software design
Unification Theory
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 16:15 - 18:00 S2 046
Do. 15.03.2018 16:15 - 18:00 S2 046
Do. 22.03.2018 16:15 - 18:00 S2 046
Do. 12.04.2018 16:15 - 18:00 HT 177F
Do. 19.04.2018 16:15 - 18:00 S2 046
Do. 26.04.2018 16:15 - 18:00 S2 046
Do. 03.05.2018 16:15 - 18:00 S2 046
Do. 17.05.2018 16:15 - 18:00 S2 046
Do. 24.05.2018 16:15 - 18:00 S2 046
Do. 07.06.2018 16:15 - 18:00 S2 046
Do. 14.06.2018 16:15 - 18:00 S2 046
Do. 21.06.2018 16:15 - 18:00 S2 046
Do. 28.06.2018 16:15 - 18:00 S2 046
 
326.0DD (2018S) Special topics logic and software design
Arithmetic, Recursion, and Types
Further information
Register VL 2,0 David Cerna Weekly
 
Date Daytime Room Topic
Do. 08.03.2018 16:15 - 18:00 S2 044
Do. 15.03.2018 16:15 - 18:00 S2 044
Do. 22.03.2018 16:15 - 18:00 S2 044
Do. 12.04.2018 16:15 - 18:00 ESH 2
Do. 19.04.2018 16:15 - 18:00 S2 044
Do. 26.04.2018 16:15 - 18:00 S2 044
Do. 03.05.2018 16:15 - 18:00 S2 044
Do. 17.05.2018 16:15 - 18:00 S2 044
Do. 24.05.2018 16:15 - 18:00 S2 044
Do. 07.06.2018 16:15 - 18:00 S2 044
Do. 14.06.2018 16:15 - 18:00 S2 044
Do. 21.06.2018 16:15 - 18:00 S2 044
Do. 28.06.2018 16:15 - 18:00 S2 044
 
326.026 (2018S) Special Topics symbolic computation
Polynomial system solving and applications
Register VL 2,0 Ioannis Emiris Block
 
No dates found.
 
326.075 (2018S) Special Topics symbolic computation
Symbolic Summation and Special Functions II
Further information
Register VL 2,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Mi. 07.03.2018 16:00 - 17:30 HA 105
Mi. 14.03.2018 16:00 - 17:30 HA 105
Mi. 21.03.2018 16:00 - 17:30 HA 105
Mi. 11.04.2018 16:00 - 17:30 HA 105
Mi. 18.04.2018 16:00 - 17:30 HA 105
Mi. 25.04.2018 16:00 - 17:30 HA 105
Mi. 02.05.2018 16:00 - 17:30 HA 105
Mi. 09.05.2018 16:00 - 17:30 HA 105
Mi. 16.05.2018 16:00 - 17:30 HA 105
Mi. 23.05.2018 16:00 - 17:30 HA 105
Mi. 30.05.2018 16:00 - 17:30 HA 105
Mi. 06.06.2018 16:00 - 17:30 HA 105
Mi. 13.06.2018 16:00 - 17:30 HA 105
Mi. 20.06.2018 16:00 - 17:30 HA 105
Mi. 27.06.2018 16:00 - 17:30 HA 105
 
326.0SR (2018S) Special Topics symbolic computation
Mathematical Methods in Kinematics
Further information
Register VL 2,0 Josef Schicho Weekly
 
No dates found.
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail