Courses Summer Semester 2026
Master's program
| Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place |
|---|---|---|---|---|---|---|---|
| 250031 | PS | 2.0 (4.0) | Introduction to Descriptive Set Theory | (2) MLOV, ML1, MEL | Padgatt | Wed 15:00–16:30, starts 2026‑03‑03 |
Kolin |
| 250035 | VO | 4.0 (6.0) | Introduction fo Descriptive Set Theory | (2) MLOV, ML1, MEL | Panagiotopolous | Tue, Thu 9:30–11:15, starts 2026‑03‑02 |
Kolin |
| 250068 | VO | 4.0 (6.0) | Introduction to Theoretical Computer Science | (3) MLOI, ML2, MEL | Aschenbrenner | Thu 13:15–14:45, Thu 13:15–14:45, starts 2026‑03‑02 |
Kolin |
| 250097 | SE | 2.0 (4.0) | Logic Colloquium | (4) MLOS, MSE, MEL | Aschenbrenner, Fischer, Panagiotopolous |
Thu 15:00–15:50, starts 2026‑03‑04 |
OMP1 |
| 250102 | SE | 2.0 (4.0) | Research Seminar in Set Theory | (4) MLOS, MSE, MEL | Fischer, Panagiotopolous |
Thu 11:30–13:00, starts 2026‑03‑04 |
Kolin |
| 250125 | VO | 4.0 (6.0) | Topics in Set Theory -- Infinitary combinatorics | (1) MLOV, MLE2, MEL | Fischer | Tue, Thu 8:00–9:30, starts 2026‑03‑02 |
Kolin |
| 250126 | VO | 4.0 (6.0) | Topics in Model Theory -- Model Theory and Combinatorics | (1) MLOV, ML2, MEL | Maříková | Mon |
Tue, Thu 09:45–14:45, starts 2026‑03‑04 |
| 510010 | SE | 2.0 (4.0) | Research Seminar in Model Theory (VSM) | (4) MLOS, MSE, MEL | Aschenbrenner, Maříková, Padgett, Ziegler Hunts |
Wed 11.30–13.00, starts 2026‑03‑03 |
Kolin |
Modules & information
- Mathematics (821 - version 2016 [2]) - 31.10.2027
- Mathematics (821 - version 2025 [3]) current
More information about the curricula. Switch to the new curriculum and recognition of exams.
(1) -VVZ 2026S -> SPL 25 -> Master Mathematics (821 [2] - Version 2016) - auslaufend -> MLOV Elective Modules (75 ECTS) -> Mathematical logic and theoretical computer science (51 ECTS) -> Topics courses logic
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> MEL Electives (22 ECTS)
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> ML2 Specialisation Module (30 ECTS)
(2) -VVZ 2026S -> SPL 25 -> Master Mathematics (821 [2] - Version 2016) - auslaufend -> MLOV Elective Modules (75 ECTS) -> Mathematical logic and theoretical computer science (51 ECTS) -> Topics courses logic
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> MEL Electives (22 ECTS)
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> -> ML1 Core Module (30 ECTS) -> VO zu Core Modul
(3) -VVZ 2026S -> SPL 25 -> Master Mathematics (821 [2] - Version 2016) - auslaufend -> MLOI Elective Modules (75 ECTS) -> Mathematical logic and theoretical computer science (51 ECTS) -> Topics courses logic
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> MEL Electives (22 ECTS)
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> -> ML2 Core Module (30 ECTS) -> VO zu Core Modul
(4) -VVZ 2026S -> SPL 25 -> Master Mathematics (821 [2] - Version 2016) - auslaufend -> MLOS Elective Modules (75 ECTS) -> Mathematical logic and theoretical computer science (51 ECTS) -> Core modules logic
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> MEL Electives (22 ECTS)
VVZ 2026S -> SPL 25 -> Master Mathematik (821 [3] - Version 2025) -> MSE Seminars (8 ECTS)
Note
In order to receive a grade, your registration, including name, enrollment number, e-mail address, and signature is required within the first two weeks of the semester!
Locations
Oskar-Morgenstern-Platz 1, 1090 Vienna, HS11, 2fl = OMP1
Kolingasse 14-16, 1090 Vienna, SR 10, 1st fl.
Language
All courses are in English
Schedule
Find here the logic courses in one schedule.