Courses taught in future semesters

WiSe 25/26
Course
5160UE Basiskurs Mathematik Wed.. 08:00 - 10:00 (weekly), Location: (JUR) HS 14 Prof. Dr. Martin Kreuzer
5160V Basiskurs Mathematik Wed.. 10:00 - 12:00 (weekly), Location: (JUR) HS 14 Prof. Dr. Martin Kreuzer Laurin Teubert
5670Ü Computational Logic Thu.. 16:00 - 18:00 (weekly), Location: (IM) HS 12, Fri.. 08:00 - 10:00 (weekly), Location: (ITZ) SR 004 Prof. Dr. Martin Kreuzer
5670V Computational Logic Mon.. 14:00 - 16:00 (weekly), Location: (IM) HS 13, Fri.. 10:00 - 11:00 (weekly), Location: (IM) HS 11 Prof. Dr. Martin Kreuzer
5783OS NOCAS - Niederbayrisch-Oberösterreichisches Computeralgebraseminar Mon.. 16:00 - 18:00 (weekly), Location: (IM) SR 033 Prof. Dr. Martin Kreuzer

Chair of Symbolic Computation