RISC JKU
Past courses

Planned Courses in Winter Semester 2026/27

This page shows the provisional list of RISC courses as of 21.7.2026.

The final valid list will be published on this page in a few days.

LVA-NrTitleSubtitleTypeHrsLecturerTime
326??? Algebraic combinatorics VO 2
Cristian-Silviu RADU
Tue12:00-13:30
326??? Algebraic combinatorics UE 1
Cristian-Silviu RADU
Tue13:45-14:30
326??? Algorithms and Datastructures VO 2
Carsten SCHNEIDER
Thu08:30-10:00
326??? Algorithms and Datastructures UE 1
Ioana-Cleopatra PAU
 ???
326012 Bachelorseminar mit Bachelorarbeit SE 2
Carsten SCHNEIDER
 ???
326010 Computational Logic VO 2
Wolfgang SCHREINER
Mon15:30-17:00
326011 Computational Logic UE 1
Nikolaj POPOV
Mon17:15-18:00
326105 Computer Algebra VO 2
Carsten SCHNEIDER
Thu10:15-11:45
326031 Computer Algebra UE 1
Guenter LANDSMANN
Thu12:00-12:45
326013 Formal Methods in Software Development KV 3
Wolfgang SCHREINER
Fri08:30-11:00
326??? VO 3
Josef SCHICHO
Mon08:30-10:00
Tue08:30-09:15
326??? UE 1
Tue09:15-10:00
3260KA Commutative algebra and algebraic geometry VO 2
Josef SCHICHO
Tue10:15-11:45
326048 Logik als Arbeitssprache KV 2
Wolfgang WINDSTEIGER
Tue12:00-13:30
342208 Logic for computer science VO 2
Wolfgang SCHREINER
Wolfgang WINDSTEIGER
 ???
342209 Logic for computer science UE 1
Wolfgang SCHREINER
Wolfgang WINDSTEIGER
 ???
326??? Master's Thesis Seminar I SE 2
Carsten SCHNEIDER
 ???
326600 Mathematics for AI I VO 4
Georg REGENSBURGER
Clemens HOFSTADLER
Tue10:15-11:45
Thu10:15-11:45
500902 Mathematik (VLG - Teil 1 - Analysis) KV 2
???
500901 Mathematik (VLG - Teil 1 - Analysis) KV 2
???
500906 Mathematik (VLG - Teil 2 - Lineare Algebra) KV 2
???
500903 Mathematik (VLG - Teil 2 - Lineare Algebra) KV 2
???
500904 Mathematik (VLG - Teil 3 - Wahrscheinlichkeitstheorie) KV 2
???
500908 Mathematik (VLG - Teil 3 - Wahrscheinlichkeitstheorie) KV 2
Josef SCHICHO
 ???
326300 KS 2
Wolfgang WINDSTEIGER
Thu17:15-19:45
326700 Mathematik und Logik KV 4
Wolfgang WINDSTEIGER
Nikolaj POPOV
Tue16:15-17:00
Tue15:30-16:15
326121 Practical in Symbolic Computation Logic Programming KV 2
Teimuraz KUTSIA
Wed16:15-18:00
326122 Special Topics Logic Programming KV 2
Teimuraz KUTSIA
 ???
326057 Special Topics in Symbolic Computation Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs VO 2
Cristian-Silviu RADU
Tue08:30-10:00
326??? Special Topics in Symbolic Computation Elementary and sign vectors VO 2
Georg REGENSBURGER
Tue13:45-15:15
326032 Special Topics in Symbolic Computation Homological Algebra VO 2
Guenter LANDSMANN
 ???
326082 Special Topics in Symbolic Computation Algorithmic Number Theory VO 2
Jose CAPCO
Mon16:15-18:00
326025 Special Topics in Symbolic Computation Decidable logical theories VO 2
Nikolaj POPOV
Thu10:15-11:45
326CA1 Symbolic Computation Computer-Algebra and Applications SE 2
Carsten SCHNEIDER
Wed14:00-16:00
326060 Symbolic Computation Research Topics in Algebra and Combinatorics SE 2
Josef SCHICHO
Tue13:45-15:15
326063 Symbolic Computation Project seminar Formal Methods and Automated Reasoning SE 2
Wolfgang SCHREINER
Teimuraz KUTSIA
Wolfgang WINDSTEIGER
Tue16:15-17:45
326??? Symbolic Computation Computational Mathematics SE 2
Georg REGENSBURGER
Wed10:15-11:45
326079 Symbolic Summation and Integration VO 3
Carsten SCHNEIDER
Thu08:30-10:00
Thu10:15-11:00
326999 VK 2
Wolfgang WINDSTEIGER
Block
326116 KV 2
???
326114 KV 2
Wed15:30-17:00
326121 KV 2
Josef SCHICHO
Tue15:30-17:00