Courses Summer Semester 2024

Master's program

Number Type Hours (ECTS) Title Module Lecturer Time Place
250069 VO 3.0 (5.0) Special Topics in Set Theory MLOV Fischer Tue
11:30–13:00,
Thu
9:45–11:15,
starts 2024‑03‑05
Kolin
250073 VO 4.0 (6.0) Special Topics in Model Theory MLOV Aschenbrenner Tue, Thu
13:15–14:45,
starts 2024‑03‑05
Kolin
250089 SE 2.0 (4.0) Logic Colloquium MLOS Aschenbrenner,
Fischer,
Panagiotopolous
Thu
15:00–15:50,
starts 2024‑03‑07
OMP1
250102 SE 2.0 (4.0) Research Seminar in Set Theory MLOS Fischer,
Panagiotopolous
Thu
11:30–13:00,
starts 2024‑03‑07
Kolin
250153 VO 3.0 (5.0) Introduction to Theoretical Computer Science MLOI Maříková Wed, Fri
9:45–11:15,
starts 2024‑03‑06
Kolin
510010 SE 2.0 (4.0) Research Seminar in Model Theory (VSM) MLOS Aschenbrenner,
Maříková,
Ziegler Hunts
Wed
11.30–13.00,
starts 2024‑03‑06
Kolin

Modules & information

  • Mathematics (821 - version 2016 [2])

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

MLOV (VO) - part of the elective moduleselective modules (75 ECTS) → Mathematical logic and theoretical computer science (51 ECTS) → Core modules logic- advanced courses

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

Language

All courses are in English

Schedule

Find here the logic courses in one schedule.