RISC JKU
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Summer Semester 2021

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

Course Id Title Registration Type Hours Teachers Rhythm
326.002 (2021S) Algortithmic Combinatorics Register UE 1,0 Silviu Radu Weekly
326.001 (2021S) Algortithmic Combinatorics
Further information
Register VL 2,0 Veronika Elisabeth Pillwein Weekly
326.003 (2021S) Algorithmic methods
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
326.012 (2021S) Bachelor Seminar with Bachelor Thesis Register SE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
326.046 (2021S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
326.047 (2021S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu Weekly
326.079 (2021S) Computer Analysis
Further information
Register VL 2,0 Franz Winkler Weekly
326.009 (2021S) Introductory Exercises in Mathematics Register UE 2,0 Sebastian Falkensteiner Weekly
326.712 (2021S) Formal Foundations in Business Informatics Register VL 3,0 Nikolaj Popov Weekly
326.715 (2021S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.718 (2021S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.703 (2021S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.714 (2021S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.006 (2021S) Formal Modelling
Further information
Register VL 2,0 Wolfgang Schreiner

Carsten Schneider
Wolfgang Windsteiger
Weekly
326.007 (2021S) Formal Modelling
Further information
Register PS 2,0 Wolfgang Schreiner

Carsten Schneider
Wolfgang Windsteiger
Weekly
326.0FS (2021S) Formal Semantics of Programming Languages
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.113 (2021S) Master's Thesis Seminar II Register SE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
357.301 (2021S) Mathematics for Social and Economic Science
Further information
Register KS 2,0 Wolfgang Windsteiger Weekly
326.054 (2021S) Practical in Logic and Software Design
Functional programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.062 (2021S) Practical in Logic and Software Design
Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.041 (2021S) Practical Software Technology
Further information
Register KV 3,0 Ioana Cleopatra Pau Weekly
326.005 (2021S) Programming 2
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
326.065 (2021S) Rewriting in Computer Science and Logic
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.099 (2021S) Seminar logic and software design
Project seminar Formal Methods II
Further information
Register SE 2,0 Wolfgang Schreiner Weekly
326.0CA (2021S) Seminar symbolic computation
Computer algebra II
Further information
Register SE 2,0 Franz Winkler Weekly
326.060 (2021S) Seminar symbolic computation
History and Philosophy of Mathematics
Register SE 2,0 Josef Schicho Weekly
326.015 (2021S) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
326.096 (2021S) Seminar symbolic computation
Project seminar Algorithmic combinatorics II
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
326.0MM (2021S) Special Topics
Programming in Mathematica
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.087 (2021S) Special Topics
Functional Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.0VR (2021S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.095 (2021S) Special Topics symbolic computation
Special Functions and Symbolic Summation II
Further information
Register VL 2,0 Silviu Radu Weekly
326.133 (2021S) Special Topics symbolic computation
Tropical Geometry
Further information
Register VL 1,0 Sebastian Falkensteiner Weekly
326.00D (2021S) Special Topics symbolic computation
Special Functions and Symbolic Summation II
Register UE 1,0 Nicolas Smoot Weekly
326.114 (2021S) Overview of Mathematics I Register VL 1,0 Josef Schicho Weekly
326.115 (2021S) Overview of Mathematics II Register VL 1,0 Josef Schicho Weekly
326.116 (2021S) Overview of Mathematics III Register VL 2,0 Josef Schicho Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail