Logo of the University of Passau
Information for... Faculties & facilities
Support Login
Mathematical Logic
Mathematical Logic

Teaching - past semesters

WiSe 24/25
Course
5867OS Oberseminar für Logik und Geometrie
Tue.. 14:00 - 16:00 (weekly), Location: (IM) SR 034
Prof. Dr. Tobias Kaiser
Prof. Dr. Moritz Müller
Franziska Jungwirth
6141U Komplexitätstheorie
Thu.. 12:00 - 14:00 (weekly), Location: (JUR) SR 059
Azza Gaysin
Prof. Dr. Moritz Müller
6141V Komplexitätstheorie
Tue.. 12:00 - 14:00 (weekly), Location: (IM) HS 12, Wed.. 12:00 - 14:00 (weekly), Location: (JUR) SR 147a (HA), (NK) VR 401
Prof. Dr. Moritz Müller
6143U Constraint Satisfaction Problems
Thu.. 14:00 - 16:00 (weekly), Location: (ITZ) SR 002
Azza Gaysin
Prof. Dr. Moritz Müller
6143V Constraint Satisfaction Problems
Tue.. 16:00 - 18:00 (weekly), Location: (IM) SR 004
Azza Gaysin
Prof. Dr. Moritz Müller
6148S Seminar Der Resolutionskalkül
Wed.. 10:00 - 12:00 (weekly), Location: (IM) SR 010
Prof. Dr. Moritz Müller
6149PS Proseminar: Der Resolutionskalkül
Wed.. 10:00 - 12:00 (weekly), Location: (IM) SR 010 mit 6148S)
Prof. Dr. Moritz Müller
SoSe 24
Course
5670Ü Computational Logic
Thu.. 14:00 - 16:00 (weekly), Location: (ITZ) SR 001 (HA), (PHIL) HS 4, Thu.. 16:00 - 18:00 (weekly), Location: (ITZ) SR 001 (HA), (WIWI) SR 034
Prof. Dr. Moritz Müller
Azza Gaysin
5670V Computational Logic
Tue.. 10:00 - 12:00 (weekly), Location: (IM) HS 12, Wed.. 10:00 - 12:00 (weekly), Location: (IM) HS 12
Prof. Dr. Moritz Müller
5867OS Oberseminar für Logik und Geometrie
Tue.. 14:00 - 16:00 (weekly), Location: (IM) SR 034
Prof. Dr. Tobias Kaiser
Prof. Dr. Moritz Müller
6145Ü Fortgeschrittene Modelltheorie
Wed.. 14:00 - 16:00 (weekly), Location: (IM) HS 12
Prof. Dr. Moritz Müller
Azza Gaysin
6145V Fortgeschrittene Modelltheorie
Wed.. 12:00 - 14:00 (weekly), Location: (IM) HS 12
Prof. Dr. Moritz Müller
WiSe 23/24
Course
5867OS Oberseminar für Logik und Geometrie
Tue.. 14:00 - 16:00 (weekly), Location: (IM) SR 033, Dates on Wednesday, 13.12.2023 09:00 - 10:00, Room: (IM) SR 034
Prof. Dr. Tobias Kaiser
Prof. Dr. Moritz Müller
6141U Komplexitätstheorie
Thu.. 14:00 - 16:00 (weekly), Location: (IM) SR 007, Thu.. 16:00 - 18:00 (weekly), Location: (IM) SR 007
Prof. Dr. Moritz Müller
Azza Gaysin
6141V Komplexitätstheorie
Tue.. 10:00 - 12:00 (weekly), Location: (IM) SR 030, Thu.. 10:00 - 12:00 (weekly), Location: (IM) SR 030
Prof. Dr. Moritz Müller
6144U Modelltheorie
Wed.. 16:00 - 18:00 (weekly), Location: (IM) HS 12
Prof. Dr. Moritz Müller
Azza Gaysin
6144V Modelltheorie
Tue.. 12:00 - 14:00 (weekly), Location: (IM) HS 11, Thu.. 12:00 - 14:00 (weekly), Location: (IM) HS 12
Prof. Dr. Moritz Müller
SoSe 23
Course
4998 Antrittsvorlesungen an der Fakultät für Informatik und Mathematik
Dates on Wednesday, 10.05.2023, Wednesday, 31.05.2023, Wednesday, 28.06.2023, Wednesday, 19.07.2023 14:00 - 16:00, Room: (PHIL) HS 4
Prof. Dr. Moritz Müller
Prof. Dr. Christian Hammer
Prof. Dr. Stefan Glock
Prof. Dr. Daniel Rudolf
Prof. Dr. Christoph Heinzl
Prof. Dr. Elif Bilge Kavun
Prof. Dr. Annette Hautli-Janisz
Prof. Dr. Steffen Herbold
Prof. Dr. Joscha Prochno
Prof. Dr. Tobias Harks
5867OS Oberseminar für Reine Mathematik
Tue.. 14:00 - 16:00 (weekly), Location: (IM) SR 033
Prof. Dr. Tobias Kaiser
Prof. Dr. Lydia Außenhofer
Prof. Dr. Moritz Müller
6020U Mathematical Logic
Thu.. 12:00 - 14:00 (weekly), Location: (IM) SR 034, Thu.. 14:00 - 16:00 (weekly), Location: (IM) SR 034
Prof. Dr. Moritz Müller
Azza Gaysin
6020V Mathematical Logic
Tue.. 10:00 - 12:00 (weekly), Location: (IM) HS 12, Thu.. 10:00 - 12:00 (weekly), Location: (IM) SR 007, (NK) SR 412c (U)
Prof. Dr. Moritz Müller
6142U Advanced Complexity Theory
Thu.. 14:00 - 16:00 (weekly), Location: (N 12) SR 006
Prof. Dr. Moritz Müller
6142V Advanced Complexity Theory
Wed.. 16:00 - 18:00 (weekly), Location: (N 12) SR 006
Prof. Dr. Moritz Müller
6143U Introduction to Constraint Satisfaction Problems
Thu.. 16:00 - 18:00 (weekly), Location: (N 12) SR 006
Prof. Dr. Moritz Müller
Azza Gaysin
6143V Introduction to Constraint Satisfaction Problems
Tue.. 16:00 - 18:00 (weekly), Location: (IM) SR 010
Prof. Dr. Moritz Müller
Azza Gaysin
WiSe 22/23
Course
6141U Computational Complexity Theory
Thu.. 12:00 - 14:00 (weekly), Location: (IM) SR 034, Thu.. 14:00 - 16:00 (weekly), Location: (AM) SR 101
Prof. Dr. Moritz Müller
Daniel Yoon
6141V Computational Complexity Theory
Tue.. 10:00 - 12:00 (weekly), Location: (AM) SR 101, Thu.. 10:00 - 12:00 (weekly), Location: (IM) SR 004
Prof. Dr. Moritz Müller
6148S Seminar Der Resolutionskalkül
Wed.. 14:00 - 16:00 (weekly), Location: (WIWI) SR 027
Prof. Dr. Moritz Müller
6149PS Proseminar: Der Resolutionskalkül
Wed.. 14:00 - 16:00 (weekly), Location: ((WIWI) SR 027 (mit 6148S))
Prof. Dr. Moritz Müller
SoSe 22
Course
6020V Mathematische Logik
Mon.. 10:00 - 12:00 (weekly), Location: (IM) SR 010, Thu.. 10:00 - 12:00 (weekly), Location: (JUR) SR 059, Dates on Friday, 29.07.2022, Tuesday, 27.09.2022 08:00 - 12:00, Room: (PHIL) HS 3, (IM) HS 11
Prof. Dr. Martin Kreuzer
Dr. John Abbott
6140V Exemplary and Effective Programming
Tue.. 10:00 - 12:00 (weekly), Location: (IM) R 028, Thu.. 14:00 - 16:00 (weekly), Location: (IM) R 028
Dr. John Abbott
6149S Topics in Computer Algebra
Mon.. 16:00 - 18:00 (weekly), Location: (IM) SR 007, Dates on Wednesday, 03.08.2022 14:00 - 16:00, Saturday, 06.08.2022 14:00 - 18:00, Room: (IM) SR 004, (IM) R 028
Dr. John Abbott
Last updated: | Page ID: 145648
Share page
Print page
I agree that a connection to the Vimeo server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
I agree that a connection to the YouTube server will be established when the video is played and that personal data (e.g. your IP address) will be transmitted.
Show video