Courses

See the list of courses offered at RISC in the current semester (there is also a list of past courses).

Courses

Course IdTitleRegistrationTypeHoursTeachersRhythm
326.002 (2019S) Algortithmic Combinatorics RegisterUE 1,0 Silviu RaduWeekly
326.001 (2019S) Algortithmic Combinatorics
Further information
RegisterVL 2,0 Veronika Elisabeth PillweinWeekly
326.003 (2019S) Algorithmic methods RegisterKV 2,0 Wolfgang WindsteigerWeekly
326.012 (2019S) Bachelor Seminar with Bachelor Thesis RegisterSE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Veronika Elisabeth Pillwein
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
326.046 (2019S) Computer Algebra for Concrete Mathematics
Further information
RegisterVL 2,0 Carsten SchneiderWeekly
326.047 (2019S) Computer Algebra for Concrete Mathematics RegisterUE 1,0 Silviu RaduWeekly
326.009 (2019S) Introductory Exercises in Mathematics RegisterUE 2,0 Josef SchichoWeekly
326.703 (2019S) Formal Foundations in Business Informatics RegisterUE 1,0 Günter LandsmannWeekly
326.714 (2019S) Formal Foundations in Business Informatics RegisterUE 1,0 Nikolaj PopovWeekly
326.712 (2019S) Formal Foundations in Business Informatics
Further information
RegisterVL 3,0 Nikolaj PopovWeekly
326.007 (2019S) Formal Modelling
Further information
RegisterPS 2,0 Wolfgang Schreiner

Josef Schicho
Wolfgang Windsteiger
Weekly
326.006 (2019S) Formal Modelling
Further information
RegisterVL 2,0 Wolfgang Schreiner

Josef Schicho
Wolfgang Windsteiger
Weekly
326.0FS (2019S) Formal Semantics of Programming Languages
Further information
RegisterVL 2,0 Wolfgang SchreinerWeekly
326.004 (2019S) Fundamentals of Numerical Analysis and Symbolic Computation
Further information
RegisterKV 2,0 Diego DominiciWeekly
326.054 (2019S) Functional programming
Further information
RegisterKV 2,0 Teimuraz KutsiaWeekly
326.0KA (2019S) Commutative algebra and algebraic geometry
Further information
RegisterVO 4,0 Franz WinklerWeekly
326.0UK (2019S) Commutative algebra and algebraic geometry
Further information
RegisterUE 1,0 Sebastian FalkensteinerWeekly
326.0XX (2019S) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
RegisterSE 2,0 Peter PauleWeekly
326.0ZZ (2019S) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
RegisterSE 2,0 Franz WinklerWeekly
326.059 (2019S) Mathematical logic 2
Further information
RegisterVO 2,0 David CernaWeekly
326.041 (2019S) Practical software technology
Further information
RegisterKV 4,0 Ioana Cleopatra PauWeekly
326.062 (2019S) Programming in Mathematica RegisterKV 2,0 Teimuraz KutsiaWeekly
326.005 (2019S) Programming 2
Further information
RegisterKV 2,0 Wolfgang SchreinerWeekly
326.065 (2019S) Rewriting in Computer Science and Logic
Further information
RegisterVL 2,0 Teimuraz KutsiaWeekly
326.099 (2019S) Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 19)
Further information
RegisterSE 2,0 Wolfgang SchreinerWeekly
326.098 (2019S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
RegisterSE 2,0 Bruno Buchberger

Tudor Jebelean
Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
326.096 (2019S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2019)
Further information
RegisterSE 2,0 Peter Paule

Carsten Schneider
Weekly
326.015 (2019S) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
RegisterSE 2,0 Veronika Elisabeth PillweinWeekly
326.0CA (2019S) Seminar symbolic computation
Computer algebra II
Further information
RegisterSE 2,0 Franz WinklerWeekly
326.060 (2019S) Seminar symbolic computation
History and Philosophy of Mathematics
Further information
RegisterSE 2,0 Josef SchichoWeekly
326.087 (2019S) Special Topics
Functional Programming
Further information
RegisterVL 2,0 Teimuraz KutsiaWeekly
326.0MM (2019S) Special Topics
Programming in Mathematica
Further information
RegisterKV 2,0 Teimuraz KutsiaWeekly
326.0VR (2019S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
RegisterVL 2,0 Wolfgang SchreinerWeekly
326.008 (2019S) Special topics logic and software design
Rewriting in Computer Science and Logic
RegisterUE 1,0 Ioana Cleopatra PauWeekly
326.080 (2019S) Special Topics symbolic computation
Symbolic Linear Algebra
Further information
RegisterVL 2,0 Johannes MiddekeWeekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Past Courses

Winter SemesterSummer Semester
Academic Year 2018/2019Winter Semester 2018Summer Semester 2019
Academic Year 2017/2018Winter Semester 2017Summer Semester 2018
Academic Year 2016/2017Winter Semester 2016Summer Semester 2017
Academic Year 2015/2016Winter Semester 2015Summer Semester 2016
Academic Year 2014/2015Winter Semester 2014Summer Semester 2015
Academic Year 2013/2014Winter Semester 2013Summer Semester 2014
Academic Year 2012/2013Winter Semester 2012Summer Semester 2013
Academic Year 2011/2012Winter Semester 2011Summer Semester 2012
Academic Year 2010/2011Winter Semester 2010Summer Semester 2011
Academic Year 2009/2010Winter Semester 2009Summer Semester 2010
Academic Year 2008/2009Winter Semester 2008Summer Semester 2009
Academic Year 2007/2008Winter Semester 2007Summer Semester 2008
Academic Year 2006/2007Winter Semester 2006Summer Semester 2007
Academic Year 2005/2006Winter Semester 2005Summer Semester 2006
Academic Year 2004/2005Winter Semester 2004Summer Semester 2005
Academic Year 2003/2004Winter Semester 2003Summer Semester 2004
Academic Year 2002/2003Winter Semester 2002Summer Semester 2003
Academic Year 2001/2002Winter Semester 2001Summer Semester 2002
Academic Year 2000/2001Winter Semester 2000Summer Semester 2001
Academic Year 1999/2000Winter Semester 1999Summer Semester 2000
Academic Year 1998/1999Winter Semester 1998Summer Semester 1999
Academic Year 1997/1998Winter Semester 1997Summer Semester 1998
Academic Year 1996/1997Winter Semester 1996Summer Semester 1997
Academic Year 1995/1996Winter Semester 1995Summer Semester 1996