Courses Winter Semester 2025/2026

Bachelor's program

(Bachelor of Science)

Number Type Hours (ECTS) Title Module Lecturer Time Place
250046 VO 4.0(6.0) Mathematische Logik LOG Maříková Mon, Wed
09:45–11:15,
starts 2025‑10‑01		 Kolin
250057 PS 2.0(4.0) Mathematische Logik LOG Julian Ziegler Hunts Tue
16:45–18:15,
starts 2025‑10‑07		 Kolin

Master's program

(Master Specialization Mathematical Logic)

Number Type Hours (ECTS) Title Module Lecturer Time Place
250043 VO 4.0(6.0) Introduction to
Mathematical Logic		 MLOL; ML1; MEL Panagiotopoulos Tue, Thu
8:00-9:30,
starts 2024‑10‑02		 Kolin
250064 PS 2.0(3.0) Introductory Seminar on Mathematical Logic MLOL; ML1; MEL Padgett Mon
13:15 –14:45,
starts 2024‑10‑06		 Kolin
250097 SE 2.0(4.0) Logic Colloquium MLOS; MSE; MEL Aschenbrenner,
Fischer,
Panagiotopoulos		 Thu
15:00–15:50,
starts 2025‑10‑02		 OMP1
250102 SE 2.0(4.0) Research Seminar in
Set Theory		 MLOS; MSE; MEL Fischer,
Panagiotopoulos		 Thu
11:30–13:00,
starts 2025‑10‑02		 Kolin
250125 VO 3.0 (5.0) Axiomatic Set
Theory 1		 MLOV; ML2; MEL Fischer Tue, Thu
9:45–11:15,
starts 2025‑10-02		 Kolin
250126 VO 4.0(6.0) Model Theory MLOV; ML2; MEL Aschenbrenner Tue, Thu
13:15-14:45,
starts 2025‑10‑2		 Kolin
510010 SE 2.0(4.0) Research Seminar in
Model Theory (VSM)		 MLOS, MSE, MEL Aschenbrenner,
Maříková,
Padgett,
Ziegler Hunts		 Wed
11:30–13:00,
starts 2025‑10‑1		 Kolin

Modules & information

  • Bachelor Mathematik 621 - version 2021 [4])

Wahlmodulgruppe "Specialisation" (30 ECTS) Mathematische Logik (10 ECTS)  

  • Master Mathematics (821 - version 2016 [2] - expiring)

MLOS (SE), MLOL, MLOM (PS, VO) - part of the elective modules (75 ECTS) → Mathematical logic and theoretical computer science (51 ECTS) → Core modules logic

MLOV (VO) - elective modules (75 ECTS) → Mathematical logic and theoretical computer science (51 ECTS) → Topics courses logic

  • Master Mathematics (821 - version 2025 [3])

MEL Electives (22 ECTS)

MSE Seminars (8 ECTS)

ML1 Core Module (30 ECTS) - VO or PS to Core Module

ML2 (VO) Specialsiation Module (30 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, 2nd fl..
Kolingasse 14-16, 1090 Vienna, SR 10, 1st fl.

Language
All courses are in English

Schedule

Find here the logic courses in one schedule.