RISC JKU
Overview Past courses Course calendar View calendar

RISC Courses Winter Semester 2025 (Details)

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

Course Id Title Registration Type Hours Teachers Rhythm
326.102 (2025W) Algorithms and data structures
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 08:30 - 10:00 HS 11
Do. 16.10.2025 08:30 - 10:00 HS 11
Do. 23.10.2025 08:30 - 10:00 HS 11
Do. 06.11.2025 08:30 - 10:00 HS 11
Do. 13.11.2025 08:30 - 10:00 HS 11
Do. 20.11.2025 08:30 - 10:00 HS 11
Do. 27.11.2025 08:30 - 10:00 HS 11
Do. 04.12.2025 08:30 - 10:00 HS 11
Do. 11.12.2025 08:30 - 10:00 HS 11
Do. 18.12.2025 08:30 - 10:00 HS 11
Do. 08.01.2026 08:30 - 10:00 HS 11
Do. 15.01.2026 08:30 - 10:00 HS 11
Do. 22.01.2026 08:30 - 10:00 HS 11
Do. 29.01.2026 08:30 - 10:00 HS 11
Mo. 09.02.2026 10:00 - 12:00 HS 4
 
326.103 (2025W) Algorithms and data structures
Further information
Register UE 1,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 13:45 - 14:30 MZ 102A
Do. 16.10.2025 13:45 - 14:30 MZ 102A
Do. 23.10.2025 13:45 - 14:30 S3 047
Do. 30.10.2025 13:45 - 14:30 MZ 102A
Do. 06.11.2025 13:45 - 14:30 MZ 102A
Do. 13.11.2025 13:45 - 14:30 MZ 102A
Do. 20.11.2025 13:45 - 14:30 MZ 102A
Do. 27.11.2025 13:45 - 14:30 MZ 102A
Do. 04.12.2025 13:45 - 14:30 MZ 102A
Do. 11.12.2025 13:45 - 14:30 MZ 102A
Do. 18.12.2025 13:45 - 14:30 MZ 102A
Do. 08.01.2026 13:45 - 14:30 MZ 102A
Do. 15.01.2026 13:45 - 14:30 MZ 102A
Do. 22.01.2026 13:45 - 14:30 MZ 102A
Do. 29.01.2026 13:45 - 14:30 MZ 102A
 
326.010 (2025W) Computational Logic
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Mo. 06.10.2025 15:30 - 17:00 S2 059
Mo. 13.10.2025 15:30 - 17:00 S2 059
Mo. 20.10.2025 15:30 - 17:00 S2 059
Mo. 27.10.2025 15:30 - 17:00 S2 059
Mo. 03.11.2025 15:30 - 17:00 S2 059
Mo. 10.11.2025 15:30 - 17:00 S2 059
Mo. 17.11.2025 15:30 - 17:00 S2 059
Mo. 24.11.2025 15:30 - 17:00 S2 059
Mo. 01.12.2025 15:30 - 17:00 S2 059
Mo. 15.12.2025 15:30 - 17:00 S2 059
Mo. 12.01.2026 15:30 - 17:00 S2 059
Mo. 19.01.2026 15:30 - 17:00 S2 059
Mo. 26.01.2026 15:30 - 17:00 S2 059
Mo. 02.02.2026 17:15 - 18:45 HS 6 Exam
 
326.011 (2025W) Computational Logic
Further information
Register UE 1,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mo. 06.10.2025 17:15 - 18:00 S2 059
Mo. 13.10.2025 17:15 - 18:00 S2 059
Mo. 20.10.2025 17:15 - 18:00 S2 059
Mo. 03.11.2025 17:15 - 18:00 S2 059
Mo. 10.11.2025 17:15 - 18:00 S2 059
Mo. 17.11.2025 17:15 - 18:00 S2 059
Mo. 24.11.2025 17:15 - 18:00 S2 059
Mo. 01.12.2025 17:15 - 18:00 S2 059
Mo. 15.12.2025 17:15 - 18:00 S2 059
Mo. 12.01.2026 17:15 - 18:00 S2 059
Mo. 19.01.2026 17:15 - 18:00 S2 059
Mo. 26.01.2026 17:15 - 18:00 S2 059
 
326.031 (2025W) Computer Algebra
Further information
Register UE 1,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 16.10.2025 12:00 - 12:45 HS 13
Do. 23.10.2025 12:00 - 12:45 HS 13
Do. 30.10.2025 12:00 - 12:45 HS 13
Do. 06.11.2025 12:00 - 12:45 HS 13
Do. 13.11.2025 12:00 - 12:45 HS 13
Do. 20.11.2025 12:00 - 12:45 HS 13
Do. 27.11.2025 12:00 - 12:45 HS 13
Do. 04.12.2025 12:00 - 12:45 HS 13
Do. 11.12.2025 12:00 - 12:45 HS 13
Do. 18.12.2025 12:00 - 12:45 HS 13
Do. 08.01.2026 12:00 - 12:45 HS 13
Do. 15.01.2026 12:00 - 12:45 HS 13
Do. 22.01.2026 12:00 - 12:45 HS 13
Do. 29.01.2026 12:00 - 12:45 HS 13
 
326.105 (2025W) Computer Algebra
Further information
Register VL 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 10:15 - 11:45 HS 11
Do. 16.10.2025 10:15 - 11:45 HS 11
Do. 23.10.2025 10:15 - 11:45 HS 11
Do. 30.10.2025 10:15 - 11:45 HS 11
Do. 06.11.2025 10:15 - 11:45 HS 11
Do. 13.11.2025 10:15 - 11:45 HS 11
Do. 20.11.2025 10:15 - 11:45 HS 11
Do. 27.11.2025 10:15 - 11:45 HS 11
Do. 04.12.2025 10:15 - 11:45 HS 11
Do. 11.12.2025 10:15 - 11:45 HS 11
Do. 18.12.2025 10:15 - 11:45 HS 11
Do. 08.01.2026 10:15 - 11:45 HS 11
Do. 15.01.2026 10:15 - 11:45 HS 11
Do. 22.01.2026 10:15 - 11:45 HS 11
Do. 29.01.2026 10:15 - 11:45 HS 11
 
326.006 (2025W) Formal Modelling
Further information
Register VL 2,0 Carsten Schneider

Wolfgang Schreiner
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 15:30 - 17:00 S2 054
Mi. 15.10.2025 15:30 - 17:00 S2 054
Mi. 22.10.2025 15:30 - 17:00 S2 054
Mi. 29.10.2025 15:30 - 17:00 S2 054
Mi. 05.11.2025 15:30 - 17:00 S2 054
Mi. 12.11.2025 15:30 - 17:00 S2 054
Mi. 19.11.2025 15:30 - 17:00 S2 054
Mi. 26.11.2025 15:30 - 17:00 S2 054
Mi. 03.12.2025 15:30 - 17:00 S2 054
Mi. 10.12.2025 15:30 - 17:00 S2 054
Mi. 17.12.2025 15:30 - 17:00 S2 054
Mi. 07.01.2026 15:30 - 17:00 S2 054
Mi. 14.01.2026 15:30 - 17:00 S2 054
Mi. 21.01.2026 15:30 - 17:00 S2 054
Mi. 28.01.2026 15:30 - 17:00 S2 054
 
326.007 (2025W) Formal Modelling
Further information
Register PS 2,0 Carsten Schneider

Wolfgang Schreiner
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 17:15 - 18:45 S2 054
Mi. 15.10.2025 17:15 - 18:45 S2 054
Mi. 22.10.2025 17:15 - 18:45 S2 054
Mi. 29.10.2025 17:15 - 18:45 S2 054
Mi. 05.11.2025 17:15 - 18:45 S2 054
Mi. 12.11.2025 17:15 - 18:45 S2 054
Mi. 19.11.2025 17:15 - 18:45 S2 054
Mi. 26.11.2025 17:15 - 18:45 S2 054
Mi. 03.12.2025 17:15 - 18:45 S2 054
Mi. 10.12.2025 17:15 - 18:45 S2 054
Mi. 17.12.2025 17:15 - 18:45 S2 054
Mi. 07.01.2026 17:15 - 18:45 S2 054
Mi. 14.01.2026 17:15 - 18:45 S2 054
Mi. 21.01.2026 17:15 - 18:45 S2 054
Mi. 28.01.2026 17:15 - 18:45 S2 054
 
326.013 (2025W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
 
Date Daytime Room Topic
Fr. 10.10.2025 08:30 - 11:00 S2 048
Fr. 17.10.2025 08:30 - 11:00 S2 048
Fr. 24.10.2025 08:30 - 11:00 S2 048
Fr. 31.10.2025 08:30 - 11:00 S2 048
Fr. 07.11.2025 08:30 - 11:00 S2 048
Fr. 14.11.2025 08:30 - 11:00 S2 048
Fr. 21.11.2025 08:30 - 11:00 S2 048
Fr. 28.11.2025 08:30 - 11:00 S2 048
Fr. 05.12.2025 08:30 - 11:00 S2 048
Fr. 12.12.2025 08:30 - 11:00 S2 048
Fr. 19.12.2025 08:30 - 11:00 S2 048
Fr. 09.01.2026 08:30 - 11:00 S2 048
Fr. 16.01.2026 08:30 - 11:00 S2 048
Fr. 23.01.2026 08:30 - 11:00 S2 048
Fr. 30.01.2026 08:30 - 10:00 HS 6 Exam
 
326.106 (2025W) Ordinary differential equations and dynamical systems
Further information
Register VL 3,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 08:30 - 09:15 S2 048
Mo. 13.10.2025 08:30 - 10:00 S2 048
Di. 14.10.2025 08:30 - 09:15 S2 048
Mo. 20.10.2025 08:30 - 10:00 S2 048
Di. 21.10.2025 08:30 - 09:15 S2 048
Mo. 27.10.2025 08:30 - 10:00 S2 048
Di. 28.10.2025 08:30 - 09:15 S2 048
Mo. 03.11.2025 08:30 - 10:00 S2 048
Di. 04.11.2025 08:30 - 09:15 S2 048
Mo. 10.11.2025 08:30 - 10:00 S2 048
Di. 11.11.2025 08:30 - 09:15 S2 048
Mo. 17.11.2025 08:30 - 10:00 S2 048
Di. 18.11.2025 08:30 - 09:15 S2 048
Mo. 24.11.2025 08:30 - 10:00 S2 048
Di. 25.11.2025 08:30 - 09:15 S2 048
Mo. 01.12.2025 08:30 - 10:00 S2 048
Di. 02.12.2025 08:30 - 09:15 S2 048
Di. 09.12.2025 08:30 - 09:15 S2 048
Mo. 15.12.2025 08:30 - 10:00 S2 048
Di. 16.12.2025 08:30 - 09:15 S2 048
Mo. 12.01.2026 08:30 - 10:00 S2 048
Di. 13.01.2026 08:30 - 09:15 S2 048
Mo. 19.01.2026 08:30 - 10:00 S2 048
Di. 20.01.2026 08:30 - 09:15 S2 048
Mo. 26.01.2026 08:30 - 10:00 S2 048
Di. 27.01.2026 08:30 - 09:15 S2 048
 
326.107 (2025W) Ordinary differential equations and dynamical systems Register UE 1,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 09:15 - 10:00 S2 048
Di. 14.10.2025 09:15 - 10:00 S2 048
Di. 21.10.2025 09:15 - 10:00 S2 048
Di. 28.10.2025 09:15 - 10:00 S2 048
Di. 04.11.2025 09:15 - 10:00 S2 048
Di. 11.11.2025 09:15 - 10:00 S2 048
Di. 18.11.2025 09:15 - 10:00 S2 048
Di. 25.11.2025 09:15 - 10:00 S2 048
Di. 02.12.2025 09:15 - 10:00 S2 048
Di. 09.12.2025 09:15 - 10:00 S2 048
Di. 16.12.2025 09:15 - 10:00 S2 048
Di. 13.01.2026 09:15 - 10:00 S2 048
Di. 20.01.2026 09:15 - 10:00 S2 048
Di. 27.01.2026 09:15 - 10:00 S2 048
 
326.048 (2025W) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 12:00 - 13:30 S2 048 Organisation, Themen der LVA
Di. 14.10.2025 12:00 - 13:30 S2 048 1. Präsenztermin
Do. 23.10.2025 12:00 - 13:30 S3 047 Tutorium (freiwillig!)
Di. 28.10.2025 12:00 - 13:30 S2 048 2. Präsenztermin
Do. 30.10.2025 12:00 - 13:30 S3 047 Tutorium (freiwillig!)
Di. 04.11.2025 12:00 - 13:30 S2 048 3. Präsenztermin: Übung
Di. 11.11.2025 12:00 - 13:30 S2 048 4. Präsenztermin
Do. 13.11.2025 12:00 - 13:30 S3 047 Tutorium (freiwillig!)
Di. 18.11.2025 12:00 - 13:30 S2 048 5. Präsenztermin: Übung
Di. 16.12.2025 12:00 - 13:30 S2 048 6. Präsenztermin
Di. 13.01.2026 12:00 - 13:30 S2 048 7. Präsenztermin: Übung
Di. 20.01.2026 12:00 - 13:30 S2 048 8. Präsenztermin: Übung
Di. 27.01.2026 12:00 - 13:30 S2 048 Klausur
 
326.0XX (2025W) Master’s Thesis Seminar I Register SE 2,0 Carsten Schneider Weekly
 
No dates found.
 
326.021 (2025W) Mathematical logic
Further information
Register UE 1,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 13:45 - 14:30 S2 046
Di. 14.10.2025 13:45 - 14:30 S2 046
Di. 21.10.2025 13:45 - 14:30 S2 046
Di. 28.10.2025 13:45 - 14:30 S2 046
Di. 04.11.2025 13:45 - 14:30 S2 046
Di. 11.11.2025 13:45 - 14:30 S2 046
Di. 18.11.2025 13:45 - 14:30 S2 046
Di. 25.11.2025 13:45 - 14:30 S2 046
Di. 02.12.2025 13:45 - 14:30 S2 046
Di. 09.12.2025 13:45 - 14:30 S2 046
Di. 16.12.2025 13:45 - 14:30 S2 046
Di. 13.01.2026 13:45 - 14:30 S2 046
Di. 20.01.2026 13:45 - 14:30 S2 046
Di. 27.01.2026 13:45 - 14:30 S2 046
 
326.019 (2025W) Mathematical Logic
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 14:30 - 16:15 S2 046
Di. 14.10.2025 14:30 - 16:15 S2 046
Di. 21.10.2025 14:30 - 16:15 S2 046
Di. 28.10.2025 14:30 - 16:15 S2 046
Di. 04.11.2025 14:30 - 16:15 S2 046
Di. 11.11.2025 14:30 - 16:15 S2 046
Di. 18.11.2025 14:30 - 16:15 S2 046
Di. 25.11.2025 14:30 - 16:15 S2 046
Di. 02.12.2025 14:30 - 16:15 S2 046
Di. 09.12.2025 14:30 - 16:15 S2 046
Di. 16.12.2025 14:30 - 16:15 S2 046
Di. 13.01.2026 14:30 - 16:15 S2 046
Di. 20.01.2026 14:30 - 16:15 S2 046
Di. 27.01.2026 14:30 - 16:15 S2 046
 
326.500 (2025W) Mathematics for AI III Register VL 4,0 Niels Lubbes Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 10:15 - 11:45 HS 5
Mi. 08.10.2025 10:15 - 11:45 HS 5
Di. 14.10.2025 10:15 - 11:45 HS 5
Mi. 15.10.2025 10:15 - 11:45 HS 5
Di. 21.10.2025 10:15 - 11:45 HS 5
Mi. 22.10.2025 10:15 - 11:45 HS 5
Di. 28.10.2025 10:15 - 11:45 HS 5
Mi. 29.10.2025 10:15 - 11:45 HS 5
Di. 04.11.2025 10:15 - 11:45 HS 5
Mi. 05.11.2025 10:15 - 11:45 HS 5
Di. 11.11.2025 10:15 - 11:45 HS 5
Mi. 12.11.2025 10:15 - 11:45 HS 5
Di. 18.11.2025 10:15 - 11:45 HS 5
Mi. 19.11.2025 10:15 - 11:45 HS 5
Di. 25.11.2025 10:15 - 11:45 HS 5
Mi. 26.11.2025 10:15 - 11:45 HS 5
Di. 02.12.2025 10:15 - 11:45 HS 5
Mi. 03.12.2025 10:15 - 11:45 HS 5
Di. 09.12.2025 10:15 - 11:45 HS 5
Mi. 10.12.2025 10:15 - 11:45 HS 5
Di. 16.12.2025 10:15 - 11:45 HS 5
Mi. 17.12.2025 10:15 - 11:45 HS 5
Mi. 07.01.2026 10:15 - 11:45 HS 5
Di. 13.01.2026 10:15 - 11:45 HS 5
Mi. 14.01.2026 10:15 - 11:45 HS 5
Di. 20.01.2026 10:15 - 11:45 HS 5
Mi. 21.01.2026 10:15 - 11:45 HS 5
Di. 27.01.2026 10:15 - 11:45 HS 5
Mi. 28.01.2026 10:15 - 11:45 HS 5
Mi. 04.02.2026 09:30 - 11:45 HS 9
Mi. 25.02.2026 09:30 - 11:45 HS 19
 
326.501 (2025W) Mathematics for AI III Register UE 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 1
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 1
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 1
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 1
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 1
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 1
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 1
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 1
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 1
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 1
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 1
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 1
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 12:00 - 13:30 HS 7
 
326.502 (2025W) Mathematics for AI III Register UE 2,0 Wolfgang Windsteiger Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 1
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 1
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 1
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 1
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 1
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 1
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 1
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 1
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 1
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 1
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 1
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 1
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 1
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 1
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 1
 
326.503 (2025W) Mathematics for AI III Register UE 2,0 Jan-Michael Holzinger Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 1
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 1
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 1
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 1
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 1
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 1
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 1
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 1
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 1
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 1
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 1
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 1
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 1
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 1
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 1
 
326.504 (2025W) Mathematics for AI III Register UE 2,0 Jose Capco Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 5
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 5
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 5
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 5
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 5
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 5
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 5
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 5
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 5
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 5
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 5
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 5
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 5
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 5
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 5
 
326.505 (2025W) Mathematics for AI III Register UE 2,0 Robert Vajda

N.N. N.N.
Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 1
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 1
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 1
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 1
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 1
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 1
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 1
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 1
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 1
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 1
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 1
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 1
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 1
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 1
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 1
 
326.506 (2025W) Mathematics for AI III Register UE 2,0 Michalis Kokkinos Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 1
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 1
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 1
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 1
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 1
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 1
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 1
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 1
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 1
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 1
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 1
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 1
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 1
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 1
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 1
 
326.507 (2025W) Mathematics for AI III Register UE 2,0 Waseem Alass Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 7
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 7
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 7
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 7
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 7
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 7
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 7
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 7
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 7
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 7
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 7
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 7
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 7
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 7
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 7
 
326.508 (2025W) Mathematics for AI III Register UE 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 7
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 7
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 7
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 7
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 7
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 7
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 7
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 7
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 7
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 7
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 7
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 7
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 7
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 7
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 7
 
326.510 (2025W) Mathematics for AI III Register UE 2,0 Tereso Del Rio Almajano Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 12:00 - 13:30 HS 7
Mi. 08.10.2025 13:45 - 15:15 HS 5
Mi. 15.10.2025 12:00 - 13:30 HS 7
Mi. 15.10.2025 13:45 - 15:15 HS 5
Mi. 22.10.2025 12:00 - 13:30 HS 7
Mi. 22.10.2025 13:45 - 15:15 HS 5
Mi. 29.10.2025 12:00 - 13:30 HS 7
Mi. 29.10.2025 13:45 - 15:15 HS 5
Mi. 05.11.2025 12:00 - 13:30 HS 7
Mi. 05.11.2025 13:45 - 15:15 HS 5
Mi. 12.11.2025 12:00 - 13:30 HS 7
Mi. 12.11.2025 13:45 - 15:15 HS 5
Mi. 19.11.2025 12:00 - 13:30 HS 7
Mi. 19.11.2025 13:45 - 15:15 HS 5
Mi. 26.11.2025 12:00 - 13:30 HS 7
Mi. 26.11.2025 13:45 - 15:15 HS 5
Mi. 03.12.2025 12:00 - 13:30 HS 7
Mi. 03.12.2025 13:45 - 15:15 HS 5
Mi. 10.12.2025 12:00 - 13:30 HS 7
Mi. 10.12.2025 13:45 - 15:15 HS 5
Mi. 17.12.2025 12:00 - 13:30 HS 7
Mi. 17.12.2025 13:45 - 15:15 HS 5
Mi. 07.01.2026 12:00 - 13:30 HS 7
Mi. 07.01.2026 13:45 - 15:15 HS 5
Mi. 14.01.2026 12:00 - 13:30 HS 7
Mi. 14.01.2026 13:45 - 15:15 HS 5
Mi. 21.01.2026 12:00 - 13:30 HS 7
Mi. 21.01.2026 13:45 - 15:15 HS 5
Mi. 28.01.2026 12:00 - 13:30 HS 7
Mi. 28.01.2026 13:45 - 15:15 HS 5
 
326.513 (2025W) Mathematics for AI III Register KO 2,0 Jan-Michael Holzinger Weekly
 
Date Daytime Room Topic
Mo. 13.10.2025 17:15 - 18:45 HS 5
Mo. 20.10.2025 17:15 - 18:45 HS 5
Mo. 27.10.2025 17:15 - 18:45 HS 5
Mo. 03.11.2025 17:15 - 18:45 HS 5
Mo. 10.11.2025 17:15 - 18:45 HS 5
Mo. 17.11.2025 17:15 - 18:45 HS 5
Mo. 24.11.2025 17:15 - 18:45 HS 5
Mo. 01.12.2025 17:15 - 18:45 HS 5
Di. 09.12.2025 19:00 - 20:30 HS 7
Mo. 15.12.2025 17:15 - 18:45 HS 5
Mo. 12.01.2026 17:15 - 18:45 HS 5
Mo. 19.01.2026 17:15 - 18:45 HS 5
Mo. 26.01.2026 17:15 - 18:45 HS 5
 
500.902 (2025W) Mathematics (VLG - Part 1) Register KV 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo. 06.10.2025 17:15 - 18:45 HS 10
Mo. 13.10.2025 17:15 - 18:45 HS 10
Mo. 20.10.2025 17:15 - 18:45 HS 3
Mo. 27.10.2025 17:15 - 18:45 HS 10
Mo. 03.11.2025 17:15 - 18:45 HS 10
Mo. 10.11.2025 17:15 - 18:45 HS 10
Mo. 17.11.2025 17:15 - 18:45 HS 10
Mo. 24.11.2025 17:15 - 18:45 HS 3
Mo. 01.12.2025 17:15 - 18:45 HS 4
Mo. 15.12.2025 17:15 - 18:45 HS 4
Mo. 12.01.2026 17:15 - 18:45 HS 4
Mo. 19.01.2026 17:15 - 18:45 HS 10
Mo. 26.01.2026 17:15 - 18:45 HS 3
 
326.300 (2025W) Mathematics for Social and Economic Science
Further information
Register KS 2,0 Wolfgang Windsteiger

Philipp Langgruber
Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 17:15 - 18:00 HS 10 Einführung Modus der LVA
Mi. 15.10.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 16.10.2025 17:15 - 18:00 HS 10 Modul-Klausur 1
Mi. 22.10.2025 16:15 - 17:00 online Zoom Online Fragestunde
Do. 23.10.2025 17:15 - 18:00 HS 10 Modul-Klausur 2
Mi. 29.10.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 30.10.2025 17:15 - 18:00 HS 10 Modul-Klausur 3
Mi. 05.11.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 06.11.2025 17:15 - 18:00 HS 10 Modul-Klausur 4
Mi. 12.11.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 13.11.2025 17:15 - 18:00 HS 10 Modul-Klausur 5
Mi. 19.11.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 20.11.2025 17:15 - 18:00 HS 10 Modul-Klausur 6
Mi. 17.12.2025 17:15 - 18:00 online Zoom Online Fragestunde
Do. 18.12.2025 17:15 - 19:45 HS 10 Modus A: Nach-/Wiederholen einer Modul-Klausur / Modus B: Klausur
Do. 08.01.2026 17:15 - 19:45 HS 1 Nachklausur
 
326.700 (2025W) Mathematics and Logic
Further information
Register KV 4,0 Wolfgang Windsteiger

Nikolaj Popov
Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 15:30 - 16:15 HS 7 Organisation der LVA
Di. 07.10.2025 16:15 - 17:00 HS 7 Übung Modul 1
Mo. 13.10.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 14.10.2025 15:30 - 16:15 HS 7 Kurztest Modul 1
Di. 14.10.2025 16:15 - 17:00 HS 7 Übung Modul 2
Mo. 20.10.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 21.10.2025 15:30 - 16:15 HS 7 Kurztest Modul 2
Di. 21.10.2025 16:15 - 17:00 HS 7 Übung Modul 3
Mo. 27.10.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 28.10.2025 15:30 - 16:15 HS 7 Kurztest Modul 3
Di. 28.10.2025 16:15 - 17:00 HS 7 Übung Modul 4
Mo. 03.11.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 04.11.2025 15:30 - 16:15 HS 7 Kurztest Modul 4
Di. 04.11.2025 16:15 - 17:00 HS 7 Übung Modul 5
Mo. 10.11.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 11.11.2025 15:30 - 16:15 HS 7 Kurztest Modul 5
Di. 11.11.2025 16:15 - 17:00 HS 7 Übung Modul 6
Mo. 17.11.2025 17:15 - 18:00 HS 7 Freiwillige Fragestunde
Di. 18.11.2025 15:30 - 16:15 HS 7 Kurztest Modul 6
Di. 18.11.2025 16:15 - 17:00 HS 7 Übung Modul 7
Di. 25.11.2025 15:30 - 16:15 HS 7 Kurztest Modul 7
Di. 25.11.2025 16:15 - 17:00 HS 7 Übung Modul 8
Di. 02.12.2025 15:30 - 16:15 HS 7 Kurztest Modul 8
Di. 09.12.2025 16:15 - 17:00 HS 7 Übung Modul 9
Di. 16.12.2025 15:30 - 16:15 HS 7 Kurztest Modul 9
Di. 16.12.2025 16:15 - 17:00 HS 7 Übung Modul 10
Di. 13.01.2026 15:30 - 16:15 HS 7 Kurztest Modul 10
Di. 13.01.2026 16:15 - 17:00 HS 7 Übung Modul 11
Di. 20.01.2026 15:30 - 16:15 HS 7 Kurztest Modul 11
Di. 20.01.2026 16:15 - 17:00 HS 7 Übung Modul 12
Di. 27.01.2026 15:30 - 16:15 HS 7 Kurztest Modul 12
Fr. 30.01.2026 13:45 - 15:15 HS 7 Klausur (für Gruppe "Klausur-Modus") / Nach- oder Wiederholen einer Modul-Klausur (für Gruppe "Kurztest-Modus")
Fr. 06.02.2026 13:45 - 15:15 HS 7 Nachklausur (für alle)
 
326.121 (2025W) Practical in Symbolic Computation
Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 16:15 - 18:00 S2 120
Mi. 15.10.2025 16:15 - 18:00 S2 120
Mi. 22.10.2025 16:15 - 18:00 S2 120
Mi. 29.10.2025 16:15 - 18:00 S2 120
Mi. 05.11.2025 16:15 - 18:00 S2 120
Mi. 12.11.2025 16:15 - 18:00 S2 120
Mi. 19.11.2025 16:15 - 18:00 S2 120
Mi. 26.11.2025 16:15 - 18:00 S2 120
Mi. 03.12.2025 16:15 - 18:00 S2 120
Mi. 10.12.2025 16:15 - 18:00 S2 120
Mi. 17.12.2025 16:15 - 18:00 S2 120
Mi. 07.01.2026 16:15 - 18:00 S2 120
Mi. 14.01.2026 16:15 - 18:00 S2 120
Mi. 21.01.2026 16:15 - 18:00 S2 120
Mi. 28.01.2026 16:15 - 18:00 S2 120
 
326.090 (2025W) Special Topics
Mathematical Logic
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 13:45 - 16:15 S2 046
Di. 14.10.2025 13:45 - 16:15 S2 046
Di. 21.10.2025 13:45 - 16:15 S2 046
Di. 28.10.2025 13:45 - 16:15 S2 046
Di. 04.11.2025 13:45 - 16:15 S2 046
Di. 11.11.2025 13:45 - 16:15 S2 046
Di. 18.11.2025 13:45 - 16:15 S2 046
Di. 25.11.2025 13:45 - 16:15 S2 046
Di. 02.12.2025 13:45 - 16:15 S2 046
Di. 09.12.2025 13:45 - 16:15 S2 046
Di. 16.12.2025 13:45 - 16:15 S2 046
Di. 13.01.2026 13:45 - 16:15 S2 046
Di. 20.01.2026 13:45 - 16:15 S2 046
Di. 27.01.2026 13:45 - 16:15 S2 046
 
326.0UF (2025W) Special Topics
Symbolic Constraint Solving
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Fr. 10.10.2025 12:00 - 13:30 S3 047
Fr. 17.10.2025 12:00 - 13:30 S3 047
Fr. 24.10.2025 12:00 - 13:30 S3 047
Fr. 31.10.2025 12:00 - 13:30 S3 047
Fr. 07.11.2025 12:00 - 13:30 S3 047
Fr. 14.11.2025 12:00 - 13:30 S3 047
Fr. 21.11.2025 12:00 - 13:30 S3 047
Fr. 28.11.2025 12:00 - 13:30 S3 047
Fr. 05.12.2025 12:00 - 13:30 S3 047
Fr. 12.12.2025 12:00 - 13:30 S3 047
Fr. 19.12.2025 12:00 - 13:30 S3 047
Fr. 09.01.2026 12:00 - 13:30 S3 047
Fr. 16.01.2026 12:00 - 13:30 S3 047
Fr. 23.01.2026 12:00 - 13:30 S3 047
Fr. 30.01.2026 12:00 - 13:30 S3 047
 
326.122 (2025W) Special Topics
Logic Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 16:15 - 18:00 S2 120
Mi. 15.10.2025 16:15 - 18:00 S2 120
Mi. 22.10.2025 16:15 - 18:00 S2 120
Mi. 29.10.2025 16:15 - 18:00 S2 120
Mi. 05.11.2025 16:15 - 18:00 S2 120
Mi. 12.11.2025 16:15 - 18:00 S2 120
Mi. 19.11.2025 16:15 - 18:00 S2 120
Mi. 26.11.2025 16:15 - 18:00 S2 120
Mi. 03.12.2025 16:15 - 18:00 S2 120
Mi. 10.12.2025 16:15 - 18:00 S2 120
Mi. 17.12.2025 16:15 - 18:00 S2 120
Mi. 07.01.2026 16:15 - 18:00 S2 120
Mi. 14.01.2026 16:15 - 18:00 S2 120
Mi. 21.01.2026 16:15 - 18:00 S2 120
Mi. 28.01.2026 16:15 - 18:00 S2 120
 
326.901 (2025W) Special Topics
Formal Languages and Formal Grammars II
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 14:30 - 16:15 HT 177F
Do. 16.10.2025 14:30 - 16:15 HT 177F
Do. 23.10.2025 14:30 - 16:15 HT 177F
Do. 06.11.2025 14:30 - 16:15 HT 177F
Do. 13.11.2025 14:30 - 16:15 HT 177F
Do. 20.11.2025 14:30 - 16:15 HT 177F
Do. 27.11.2025 14:30 - 16:15 HT 177F
Do. 04.12.2025 14:30 - 16:15 HT 177F
Do. 11.12.2025 14:30 - 16:15 HT 177F
Do. 18.12.2025 14:30 - 16:15 HT 177F
Do. 08.01.2026 14:30 - 16:15 HT 177F
Do. 15.01.2026 14:30 - 16:15 HT 177F
Do. 22.01.2026 14:30 - 16:15 HT 177F
Do. 29.01.2026 14:30 - 16:15 HT 177F
 
326.225 (2025W) Special Topics symbolic computation
Commutative Algebra Techniques for Scientists
Further information
Register VL 1,0 Herwig Hauser Block
 
Date Daytime Room Topic
Do. 16.10.2025 15:30 - 18:00 ESH 3
Fr. 17.10.2025 09:15 - 12:45 MZ 005A
Do. 06.11.2025 15:30 - 18:00 S3 055
Fr. 07.11.2025 09:15 - 12:45 HT 177F
Do. 11.12.2025 15:30 - 18:00 K 012D
Fr. 12.12.2025 09:15 - 12:45 S3 048
Do. 15.01.2026 15:30 - 18:00 K 012D
Fr. 16.01.2026 09:15 - 12:45 T 406
 
326.00B (2025W) Special Topics Symbolic Computation
Fixpoint Theory of Functional Programs
Further information
Register VL 2,0 Nikolaj Popov Block
 
No dates found.
 
326.00J (2025W) Special Topics Symbolic Computation
Formal Languages and Formal Grammars II
Further information
Register VL 2,0 Nikolaj Popov Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 14:30 - 16:15 HT 177F
Do. 16.10.2025 14:30 - 16:15 HT 177F
Do. 23.10.2025 14:30 - 16:15 HT 177F
Do. 06.11.2025 14:30 - 16:15 HT 177F
Do. 13.11.2025 14:30 - 16:15 HT 177F
Do. 20.11.2025 14:30 - 16:15 HT 177F
Do. 27.11.2025 14:30 - 16:15 HT 177F
Do. 04.12.2025 14:30 - 16:15 HT 177F
Do. 11.12.2025 14:30 - 16:15 HT 177F
Do. 18.12.2025 14:30 - 16:15 HT 177F
Do. 08.01.2026 14:30 - 16:15 HT 177F
Do. 15.01.2026 14:30 - 16:15 HT 177F
Do. 22.01.2026 14:30 - 16:15 HT 177F
Do. 29.01.2026 14:30 - 16:15 HT 177F
 
326.057 (2025W) Special Topics Symbolic Computation
Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs
Register VL 2,0 Silviu Radu Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 08:30 - 10:00 S3 055
Di. 14.10.2025 08:30 - 10:00 S3 055
Di. 21.10.2025 08:30 - 10:00 S3 055
Di. 28.10.2025 08:30 - 10:00 S3 055
Di. 04.11.2025 08:30 - 10:00 S3 055
Di. 11.11.2025 08:30 - 10:00 S3 055
Di. 18.11.2025 08:30 - 10:00 S3 055
Di. 25.11.2025 08:30 - 10:00 S3 055
Di. 02.12.2025 08:30 - 10:00 S3 055
Di. 09.12.2025 08:30 - 10:00 S3 055
Di. 16.12.2025 08:30 - 10:00 S3 055
Di. 13.01.2026 08:30 - 10:00 S3 055
Di. 20.01.2026 08:30 - 10:00 S3 055
Di. 27.01.2026 08:30 - 10:00 S3 055
 
326.097 (2025W) Special Topics Symbolic Computation
Symbolic Constraint Solving
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
 
Date Daytime Room Topic
Fr. 10.10.2025 12:00 - 13:30 S3 047
Fr. 17.10.2025 12:00 - 13:30 S3 047
Fr. 24.10.2025 12:00 - 13:30 S3 047
Fr. 31.10.2025 12:00 - 13:30 S3 047
Fr. 07.11.2025 12:00 - 13:30 S3 047
Fr. 14.11.2025 12:00 - 13:30 S3 047
Fr. 21.11.2025 12:00 - 13:30 S3 047
Fr. 28.11.2025 12:00 - 13:30 S3 047
Fr. 05.12.2025 12:00 - 13:30 S3 047
Fr. 12.12.2025 12:00 - 13:30 S3 047
Fr. 19.12.2025 12:00 - 13:30 S3 047
Fr. 09.01.2026 12:00 - 13:30 S3 047
Fr. 16.01.2026 12:00 - 13:30 S3 047
Fr. 23.01.2026 12:00 - 13:30 S3 047
Fr. 30.01.2026 12:00 - 13:30 S3 047
 
326.0AT (2025W) Special Topics Symbolic Computation
Algebraic Topology
Register VL 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 13:45 - 15:15 BA 9909
Do. 16.10.2025 13:45 - 15:15 HS 6
Do. 23.10.2025 13:45 - 15:15 KEP 3
Do. 30.10.2025 13:45 - 15:15 S2 054
Do. 06.11.2025 13:45 - 15:15 MZ 003B
Do. 13.11.2025 13:45 - 15:15 S2 054
Do. 20.11.2025 13:45 - 15:15 MT 128
Do. 04.12.2025 13:45 - 15:15 S2 054
Do. 11.12.2025 13:45 - 15:15 S2 054
Do. 18.12.2025 13:45 - 15:15 KEP 3
Do. 08.01.2026 13:45 - 15:15 BA 9909
Do. 15.01.2026 13:45 - 15:15 BA 9909
Do. 22.01.2026 13:45 - 15:15 BA 9909
Do. 29.01.2026 13:45 - 15:15 BA 9909
 
326.0D1 (2025W) Special Topics Symbolic Computation
Design and analysis of algorithms
Further information
Register VL 2,0 Ioana Cleopatra Pau Weekly
 
Date Daytime Room Topic
Do. 09.10.2025 14:30 - 16:15 MZ 102A
Do. 16.10.2025 14:30 - 16:15 MZ 102A
Do. 23.10.2025 14:30 - 16:15 MZ 102A
Do. 30.10.2025 14:30 - 16:15 MZ 102A
Do. 06.11.2025 14:30 - 16:15 MZ 102A
Do. 13.11.2025 14:30 - 16:15 MZ 102A
Do. 20.11.2025 14:30 - 16:15 MZ 102A
Do. 27.11.2025 14:30 - 16:15 MZ 102A
Do. 04.12.2025 14:30 - 16:15 MZ 102A
Do. 11.12.2025 14:30 - 16:15 MZ 102A
Do. 18.12.2025 14:30 - 16:15 MZ 102A
Do. 08.01.2026 14:30 - 16:15 MZ 102A
Do. 15.01.2026 14:30 - 16:15 MZ 102A
Do. 22.01.2026 14:30 - 16:15 MZ 102A
Do. 29.01.2026 14:30 - 16:15 MZ 102A
 
326.063 (2025W) Symbolic Computation
Project seminar Formal Methods and Automated Reasoning
Further information
Register SE 2,0 Teimuraz Kutsia

Wolfgang Schreiner
Wolfgang Windsteiger
Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 16:15 - 18:00 Zoom
Di. 14.10.2025 16:15 - 18:00 S2 120
Di. 04.11.2025 16:15 - 18:00 S2 120
Di. 18.11.2025 16:15 - 18:00 S2 120
Di. 16.12.2025 16:15 - 18:00 S2 120
Di. 13.01.2026 16:15 - 18:00 S2 120
 
326.CA1 (2025W) Symbolic Computation
Computer Algebra and Applications
Further information
Register SE 2,0 Carsten Schneider Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 13:45 - 16:15 HA 105
Mi. 15.10.2025 13:45 - 16:15 HA 105
Mi. 22.10.2025 13:45 - 16:15 HA 105
Mi. 29.10.2025 13:45 - 16:15 HA 105
Mi. 05.11.2025 13:45 - 16:15 HA 105
Mi. 12.11.2025 13:45 - 16:15 HA 105
Mi. 19.11.2025 13:45 - 16:15 HA 105
Mi. 26.11.2025 13:45 - 16:15 HA 105
Mi. 03.12.2025 13:45 - 16:15 HA 105
Mi. 10.12.2025 13:45 - 16:15 HA 105
Mi. 17.12.2025 13:45 - 16:15 HA 105
Mi. 07.01.2026 13:45 - 16:15 HA 105
Mi. 14.01.2026 13:45 - 16:15 HA 105
Mi. 21.01.2026 13:45 - 16:15 HA 105
Mi. 28.01.2026 13:45 - 16:15 HA 105
 
326.116 (2025W) Overview of Mathematics: Analysis Register KV 2,0 Günter Landsmann Weekly
 
Date Daytime Room Topic
Mo. 06.10.2025 15:30 - 17:00 S2 053
Mo. 13.10.2025 15:30 - 17:00 S2 053
Mo. 20.10.2025 15:30 - 17:00 S2 053
Mo. 27.10.2025 15:30 - 17:00 S2 053
Mo. 03.11.2025 15:30 - 17:00 S2 053
Mo. 10.11.2025 15:30 - 17:00 S2 053
Mo. 17.11.2025 15:30 - 17:00 S2 053
Mo. 24.11.2025 15:30 - 17:00 S2 053
Mo. 01.12.2025 15:30 - 17:00 S2 053
Mo. 15.12.2025 15:30 - 17:00 S2 053
Mo. 12.01.2026 15:30 - 17:00 S2 053
Mo. 19.01.2026 15:30 - 17:00 S2 053
Mo. 26.01.2026 15:30 - 17:00 S2 053
 
326.114 (2025W) Overview of Mathematics: Linear algebra Register KV 2,0 Niels Lubbes Weekly
 
Date Daytime Room Topic
Mi. 08.10.2025 15:30 - 17:00 S2 Z74
Mi. 15.10.2025 15:30 - 17:00 S2 Z74
Mi. 22.10.2025 15:30 - 17:00 BA 9910
Mi. 29.10.2025 15:30 - 17:00 BA 9911
Mi. 05.11.2025 15:30 - 17:00 ESH 1
Mi. 12.11.2025 15:30 - 17:00 KHG I
Mi. 19.11.2025 15:30 - 17:00 T 405
Mi. 26.11.2025 15:30 - 17:00 K 269D
Mi. 03.12.2025 15:30 - 17:00 S2 Z74
Mi. 10.12.2025 15:30 - 17:00 K 153C
Mi. 17.12.2025 15:30 - 17:00 K 153C
Mi. 07.01.2026 15:30 - 17:00 MT 128
Mi. 14.01.2026 15:30 - 17:00 K 153C
Mi. 21.01.2026 15:30 - 17:00 K 153C
Mi. 28.01.2026 15:30 - 17:00 HS 6
 
326.115 (2025W) Overview of Mathematics: Probability theory Register KV 2,0 Josef Schicho Weekly
 
Date Daytime Room Topic
Di. 07.10.2025 15:30 - 17:00 MT 226
Di. 14.10.2025 15:30 - 17:00 MT 226
Di. 21.10.2025 15:30 - 17:00 MT 226
Di. 28.10.2025 15:30 - 17:00 MT 226
Di. 04.11.2025 15:30 - 17:00 MT 226
Di. 11.11.2025 15:30 - 17:00 MT 226
Di. 18.11.2025 15:30 - 17:00 MT 226
Di. 25.11.2025 15:30 - 17:00 MT 226
Di. 02.12.2025 15:30 - 17:00 MT 226
Di. 09.12.2025 15:30 - 17:00 MT 226
Di. 16.12.2025 15:30 - 17:00 MT 226
Di. 13.01.2026 15:30 - 17:00 MT 226
Di. 20.01.2026 15:30 - 17:00 MT 226
Di. 27.01.2026 15:30 - 17:00 MT 226
 
326.999 (2025W) Preparatory course mathematics for first-year students of Business Informatics
Further information
Register VK 2,0 Wolfgang Windsteiger Block
 
Date Daytime Room Topic
Mo. 15.09.2025 09:15 - 12:30 MT 226/1
Mi. 17.09.2025 09:15 - 12:30 MT 226/1
Fr. 19.09.2025 09:15 - 12:30 MT 226/1
Mo. 14.09.2026 09:15 - 12:30 HS 19
Mi. 16.09.2026 09:15 - 12:30 HS 19
Fr. 18.09.2026 09:15 - 12:30 HS 19
 
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail