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

RISC Courses Summer Semester 2025

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

Course Id Title Registration Type Hours Teachers Rhythm
326.101 (2025S) Algebraic combinatorics
Further information
Register UE 1,0 Silviu Radu Weekly
326.030 (2025S) Algebraic Combinatorics
Further information
Register VL 2,0 Silviu Radu Weekly
326.001 (2025S) Algortithmic Combinatorics
Further information
Register VL 2,0 Veronika Pillwein Weekly
326.002 (2025S) Algorithmic Combinatorics
Further information
Register UE 1,0 Jakob Obrovsky Weekly
326.003 (2025S) Algorithmic methods Register KV 2,0 Wolfgang Windsteiger Weekly
326.012 (2025S) Bachelor Seminar with Bachelor Thesis Register SE 2,0 Carsten Schneider

Teimuraz Kutsia
Weekly
326.0KA (2025S) Commutative Algebra and Algebraic Geometry
Further information
Register VL 2,0 Josef Schicho Weekly
326.046 (2025S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
326.047 (2025S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu Weekly
326.703 (2025S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.712 (2025S) Formal Foundations in Business Informatics Register VL 3,0 Nikolaj Popov Weekly
326.714 (2025S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.715 (2025S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.718 (2025S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.113 (2025S) Master’s Thesis Seminar II Register SE 2,0 Carsten Schneider Weekly
326.400 (2025S) Mathematics for AI II Register VL 4,0 Niels Lubbes Weekly
326.401 (2025S) Mathematics for AI II Register UE 2,0 Nikolaj Popov Weekly
326.402 (2025S) Mathematics for AI II Register UE 2,0 Robert Vajda Weekly
326.403 (2025S) Mathematics for AI II Register UE 2,0 Wolfgang Windsteiger Weekly
326.404 (2025S) Mathematics for AI II Register UE 2,0 Robert Vajda Weekly
326.405 (2025S) Mathematics for AI II Register UE 2,0 Günter Landsmann Weekly
326.406 (2025S) Mathematics for AI II Register UE 2,0 Jan-Michael Holzinger Weekly
326.407 (2025S) Mathematics for AI II Register UE 2,0 Josef Schicho Weekly
326.408 (2025S) Mathematics for AI II Register UE 2,0 Josef Schicho Weekly
326.409 (2025S) Mathematics for AI II Register UE 2,0 Ayush Tewari

Michalis Kokkinos
Weekly
326.410 (2025S) Mathematics for AI II Register UE 2,0 Jose Capco Weekly
326.411 (2025S) Mathematics for AI II Register UE 2,0 Jose Capco Weekly
326.412 (2025S) Mathematics for AI II Register UE 2,0 Waseem Alass Weekly
326.413 (2025S) Mathematics for AI II Register KO 2,0 Jan-Michael Holzinger Weekly
326.300 (2025S) Mathematics for Social and Economic Science
Further information
Register KS 2,0 Wolfgang Windsteiger

Philipp Langgruber
Weekly
326.295 (2025S) Parallel Computing
Further information
Register KV 3,0 Wolfgang Schreiner

Alois Zoitl
Weekly
326.041 (2025S) Practical in Symbolic Computation
Basic Software Technologies
Register KV 2,0 Ioana Cleopatra Pau Weekly
326.054 (2025S) Practical in Symbolic Computation
Functional Programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.062 (2025S) Practical in Symbolic Computation
Programming in Mathematica
Further information
Register KV 2,0 Ralf Hemmecke Weekly
326.005 (2025S) Programming 2
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
326.024 (2025S) Special Topics
Formal Semantics of Programming Languages
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.064 (2025S) Special Topics
Rewriting in Computer Science and Logic
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.087 (2025S) Special Topics
Functional Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.0MM (2025S) Special Topics
Programming in Mathematica
Further information
Register KV 2,0 Ralf Hemmecke Weekly
326.0VR (2025S) Special Topics
Formal Models of Parallel and Distributed Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.00E (2025S) Special Topics Symbolic Computation
Formal Languages and Formal Grammars
Register VL 2,0 Nikolaj Popov Weekly
326.065 (2025S) Special Topics Symbolic Computation
Rewriting in Computer Science and Logic
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.076 (2025S) Special Topics Symbolic Computation
Formal Models of Parallel and Distriubuted Systems
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.0FS (2025S) Special Topics Symbolic Computation
Formal Semantics of Programming Languages
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.060 (2025S) Symbolic Computation
History and Philosophy of Mathematics
Further information
Register SE 2,0 Josef Schicho Weekly
326.063 (2025S) Symbolic Computation
Project seminar Formal Methods and Automated Reasoning
Further information
Register SE 2,0 Wolfgang Schreiner

Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
326.CA1 (2025S) Symbolic Computation
Computer Algebra and Applications
Further information
Register SE 2,0 Carsten Schneider Weekly
326.079 (2025S) Symbolic Summation and Integration
Further information
Register VL 3,0 Carsten Schneider Weekly
326.116 (2025S) Overview of Mathematics: Analysis Register KV 2,0 Günter Landsmann Weekly
326.114 (2025S) Overview of Mathematics: Linear algebra Register KV 2,0 Niels Lubbes Weekly
326.121 (2025S) Overview of Mathematics: Probability theory Register KV 2,0 Josef Schicho Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail