Master's program

Within the Master's program in mathematics, Mathematical Logic and Theoretical Computer Science is one of seven main areas of specialization.

Due to the introduction of a new curriculum for the Master's in Mathematics (version 2025), all students who are still in the old curriculum (version 2016) can complete their studies by 30 November 2027 at the latest. Further information will follow.

Some prelimary details about the new version 2025 which will be offered in October 2025.
Study-program number (Studienkennzahl): UA 066 821
120 ECTS

Specialisation Mathematical Logic:

Core module ML1
Core courses (VO 4 SWS +2 PS):

  • Introduction to Mathematical Logic (IML),
  • Introduction to Model Theory (IMT),
  • Introduction to Descriptive Set Theory (IDST),
  • Introduction to Axiomatic Set Theory (IAST).

Every year we will offer at least one of the above courses on rotating basis.

Specialisation module ML2:

Specialisation courses: (VO 4 SWS, 6 ECTS):

  • Special Topics in Logic,
  • Special Topics in Model Theory,
  • Special Topics in Descriptive Set Theory,
  • Special Topics in Axiomatic Set Theory.

Specialisation courses (3 SWS, 5 ECTS):

  • Theoretical Computer Science.

Seminar Module MSE
Seminars (2 SWS):

  • Logic Colloquium,
  • Research Seminar in Model Theory,
  • Research Seminar in Set Theory.

We intend to offer the seminars every semester.

Electives MEL

Master thesis/defense

Recommended path:

We recommend a minimum of 2 core courses in Mathematical Logic.

Semester 1:
a. core course in mathematical logic
b. specialisation courses in mathematical logic
c. elective

Semester 2:
a. specialisation courses in mathematical logic
b. core course in pure mathematics
c. elective
d. seminar

Semester 3:
a. core course in mathematical logic
b. specialisation courses in mathematical logic
c. elective
d. seminar

Semester 4:
a. core course in pure mathematics
b. specialisation courses in mathematical logic
c. elective
d. seminar
e. Master thesis

General information for foreign students

  • Admission  KGRC is not involved in any way in questions of enrollment, admission, tuition fees, etc. Please consult the StudyServiceCenter (SSC) of the Faculty of Mathematics or oesterreich.gv.at.
  • Tuition fees  They are relatively low, and EU citizens might have this fee waived in certain situations.
  • Cost of living  In general, Master's students do not receive stipends or salaries. Information about grants is available at stipendium.at and grants.at.
  • Duration  A minimum of 4 semesters, but most students take somewhat longer.
  • Language  Basic German skills are recommended, but not necessary. Admission to the Master's program no longer requires a proof of proficiency in German. All lectures at the KGRC are held in English. Within the Master's program in mathematics, you will also be required to take courses outside the KGRC, or you may choose to attend courses at TU Wien. Some of these courses are in English, or may be held in English if requested (please contact the lecturer). The university offers German language classes. 

Mathematical logic at the Technical University (TU Wien)

The Technische Universität Wien (TU) has several active research groups and offers many interesting courses in mathematical logic and theoretical computer science. It is possible to enroll at TU in addition to the Universität Wien. 

The simplest version is co-registration: you do not enroll in a TU program, but rather just register your Universität Wien curriculum at TU.

Natural choices for curricula include:

We advise you to contact the SSC to determine whether a particular TU course will be accepted before taking it.