Recognition of Examinations

The recognition of examinations is regulated by the Universities Act 2002 § 78 Abs. 1.

Georg Moser is the Dean of Study of the Faculty of Mathematics, Computer Science and Physics (MIP) and the Studienbeauftragte für Informatik. He is responsible for the studies Bachelor, Master and the Docoral Programmes and he is the Fachvertreter for the study Lehramt Informatik.



The forms ‘Ansuchen um Anerkennung von Prüfungen‘ are here available:

Form Bachelor
Form Master
Form PhD
Form Lehramt BEd
Form Lehramt Mag.rer.nat.

  • Courses which are listed in the credit tables of the Curricula do not have to be entered in the form.
  • Submit the completed application including all required documents (Admission Record ‘Studienblatt’, examination list from lfu:online) to Anna Maria Scheiring (Office 3M13, ICT 2. floor). Only requests in paper format are accepted.
  • Oral notification (and explanation) of the decision (Form page 3)
  • The notification is available for inspection at the Prüfungsreferat Technik resp. at the Prüfungsreferat Innrain (Teacher Training Programme) – after approximately two weeks.
  • The recognised courses will be assigned in lfu:online by the Prüfungsreferat after completion of the study with the submission of the Examination Records.


  • ECTS-Points have to match.
  • Credits for Proseminars without the corresponding lecture will not be recognised.
  • Requests by E-Mail please formulate short and concise. For courses that do not belong to the curriculum of computer science at the University of Innsbruck, we need a link to an official description. Optionally, send a short description of the teaching content.


Obtaining credits is not possible for:

  • Graduation from HTL or IT-Kolleg Imst
  • Industry Courses

Eligible for obtaining credits:

  • Courses from a college of higher education or comparable study at an acknowledged domestic or international post-secondary educational institution.

Compulsory Module 23: Interdisciplinary Skills (7,5 ECTS)

  • Courses at the University of Innsbruck or other (also foreign) universities.
  • No content-overlap with the Bachelor of Computer Science
  • isi-language courses:
    - advanced level or higher: English, French, Italian, Spanish
    - basic level or higher: all other languages (except German)


Compulsory Module 5: Specialisation Module (20 ECTS)

Obtaining credits is not possible for:

  • Language Courses

Eligible for obtaining credits:

  • In addition to the courses that are associated with the compulsory module 5 ‘ Specialisation Module ‘, courses from other study programmes at the University of Innsbruck can be selected which covers in-depth or specialising topics in computer science. A prior clarification with the study representative for computer science is required (via e-mail to lehre-informatik@uibk.ac.at).
  • Completed elective modules of the Master Programme Computer Science
  • Master Seminars

Courses which are already allocated to the Specialisation Module have not to be recognised, all others must be recognised.

Note: The abbreviation ‘VMI’ which is described in the Curriculum is not used. The corresponding courses (including the courses of mathematics and physics) are allocated in LFU:online to the Specialisation Module of the Master Computer Science.

Compulsory Module 1: Compiler Construction VO 2 + PS 1

Students who did Compiler Construction as part of the Bachelor Programme, may take one of the following courses instead of Compulsory Module 1 (recognition is needed):

  • Elective Module 10b: Advanced Distributed and Parallel Systems PS 3 (6 ECTS)
  • Elective Module 17b: Parallel Systems PS 3 (6 ECTS)

Compulsory Module 2: Formal Language and Automata Theory VO 2 + PS 1

Students who did FLAT as part of the Bachelor Programme, may take one of the following courses instead of Compulsory Module 2 (recognition is needed):

  • Elective Module 1a: Computational Logic VO 2 (4 ECTS) + Elective Module 1c: Automated Reasoning PS 1 (2 ECTS)
  • Elective Module 1b: Automatic Theorem Proving VO 2 (4 ECTS) + Elective Module 1c: Automated Reasoning PS 1 (2 ECTS)
  • Elective Module 5b: Practice of Decision Procedures VO 1 (2 ECTS) + Wahlmodul 5c: Theory and Practice of Decision Procedures PS 2 (4 ECTS)
  • Computability Theory VO 3 (6 ECTS) from the Specialisation Module

Lehramt Informatik (BEd)

  • Information about the recognition procedure can be found here.

Lehramt Informatik und Informatikmanagement (Mag.rer.nat.)

  • Note that for the  Examination Subject Deepening Computer Science courses with a total of 13 semester hours and at least 15 ECTS credits are required (chosen from the compulsory or optional modules of the BA-studies of Informatics)!

Universität Innsbruck