DIPLOMA SUPPLEMENT This Diploma Supplement model was developed by the European Commission, Council of Europe and UNESCO/CEPES. The purpose of the supplement is to provide sufficient independent data to improve the international ‘transparency’ and fair academic and professional recognition of qualifications (diplomas, degrees, certificates etc.). It is designed to provide a description of the nature, level, context, content and status of the studies that were pursued and successfully completed by the individual named on the original qualification to which this supplement is appended. It should be free from any value judgements, equivalence statements or suggestions about recognition. Information in all eight sections should be provided. Where information is not provided, an explanation should give the reason why. 1. HOLDER OF THE QUALIFICATION 1.1 Family Name / 1.2 First Name Family name, first name 1.3 Citizenship/Nationality Nationality (in English notation) 1.4 Student ID Number or Code n. a. 2. QUALIFICATION 2.1 Name of Qualification (full, abbreviated; in original language) Master of Science (M.Sc.) Title Conferred (full, abbreviated; in original language) n.a. - n.a. 2.2 Main Field(s) of Study Computational Logic 2.3 Institutions Awarding the Qualification (in original language) Technische Universität Dresden Universidade Nova de Lisboa Technische Universität Wien Libera Università di Bolzano-Freie Universität Bozen Status (Type / Control) University / State Institution 2.4 Institution Administering Studies (in original language) [same] Status (Type / Control) [same / same] 2.5 Language(s) of Instruction/Examination English Certification Date: Date in English notation Head of Examination Committee Diploma Supplement first name, family name Page 2 of 5 3. LEVEL OF THE QUALIFICATION 3.1 Level Graduate/second degree by research with thesis 3.2 Official Length of Programme 2 years 3.3 Access Requirements Bachelor degree in Computer Science or equivalent 4. CONTENTS AND RESULTS GAINED 4.1 Mode of Study Full-time; 3 semesters course work, 1 semester final research-oriented Master thesis 4.2 Programme Requirements/Qualification Profile of the Graduate The course builds upon a student’s sound background in mathematical logic and artificial intelligence. The course includes the engineering aspects of computational logic, how a deductive system functions, what kind of logic-based grammar can be used to process natural language, how techniques for the verification of software and hardware can be applied in industry, what kind of implementation techniques are needed for logic-based systems, what formal methods are required for computer integrated manufacturing, how formal methods for the layout of blueprints for machines and processes are applied and what problems occur in such applications. The program is divided into: a. essential foundation and selected advanced modules, b. a project and a skills module c. the Master thesis. Lectures, tutorials and seminars take place in the first three semesters. The fourth semester is intended for working on the Master thesis. The programme focuses on the following areas: Mathematical Logic, Deduction Systems, Logic Programming, Formal Software Development Methods, Formal Hardware Design Methods, Semantics and Logical Principles of Programming Languages, Deductive Databases, Logical Principles of Cognitive Systems, Formal Methods in Mechanics, Logical Principles and Semantic Construction of Speech Processing, Mechatronics and Formal Methods and Production Systems and Robotics. 4.3 Programme Details See final examination certificate for subjects offered in final examinations and topic of thesis, including evaluations. 4.4 Grading Scheme Cf. Transcription of Records and Attachments 4.5 Overall Classification Final grade in words The final grade is determined as average of the marks for the modules and the mark for the master thesis and its defence according to the common study and examination regulations. Certification Date: Date in English notation Head of Examination Committee Diploma Supplement first name, family name Page 3 of 5 5. FUNCTION OF THE QUALIFICATION 5.1 Access to Further Study Qualifies to apply for admission to doctoral studies 5.2 Professional Status n.a. 6. ADDITIONAL INFORMATION 6.1 Additional Information The European Master’s Program in Computational Logic is offered by the following four partner institutions: Libera Università di Bolzano-Freie Universität Bozen (FUB), Italy; Technische Universität Dresden (TUD, coordinating institution), Germany; Technische Universität Wien (TUW), Austria and Universidade Nova de Lisboa (UNL), Portugal. It is implemented as a mutually adjusted set of Master’s Programs local to those universities. Students select at least two of the partner universities. They are jointly monitored by two lecturers (tutors), one from each university. Mutual recognition of credits is on the basis of modules and the MSc thesis. On the successful completion of their studies students receive a joint Master’s degree from the selected universities. 6.2 Further Information Sources On the programme: http://www.emcl-study.eu On the faculties: TUD: http://www.inf.tu-dresden.de TUW: http://www.tuwien.ac.at/lehre/masterstudien/informatik FUB: http://www.unibz.it/inf/index.html UNL: http://www.di.fct.unl.pt 7. CERTIFICATION This Diploma Supplement refers to the following original documents: (Official Stamp/Seal) 8. NATIONAL HIGHER EDUCATION SYSTEM Head of Examination Committee Faculty of Computer Science The information on the national higher education system on the following pages provides a context for the qualification and the type of higher education that awarded it. Diploma Supplement Vorname, Nachname Page 4 of 5 INFORMATION ON THE GERMAN HIGHER Types of Programmes and Degrees Awarded EDUCATION SYSTEM1 Studies in all three types of institutions have traditionally been offered in Types of Institutions and Institutional Status integrated "long" (one-tier) programmes leading to Diplom- or Magister Artium degrees or completed by a Staatsprüfung (State Examination). Higher education (HE) studies in Germany are offered at three types of 2 Within the framework of the Bologna-Process one-tier study Higher Education Institutions (HEI). programmes are successively being replaced by a two-tier study system. Since 1998, a scheme of first- and second-level degree - Universitäten (Universities) including various specialized institutions, programmes (Bachelor and Master) was introduced to be offered offer the whole range of academic disciplines. In the German tradition, parallel to or instead of integrated "long" programmes. These universities focus in particular on basic research so that advanced programmes are designed to provide enlarged variety and flexibility to stages of study have mainly theoretical orientation and research- students in planning and pursuing educational objectives, they also oriented components. enhance international compatibility of studies. - Fachhochschulen (Universities of Applied Sciences) concentrate their For details cf. Sec. 8.4.1, 8.4.2, and 8.4.3 respectively. Table 1 provides study programmes in engineering and other technical disciplines, a synoptic summary. business-related studies, social work, and design areas. The common mission of applied research and development implies a distinct Approval/Accreditation of Programmes and Degrees application-oriented focus and professional character of studies, which include integrated and supervised work assignments in industry, To ensure quality and comparability of qualifications, the organization of enterprises or other relevant institutions. studies and general degree requirements have to conform to principles and regulations established by the Standing Conference of the Ministers - Kunst- und Musikhochschulen (Universities of Art/Music) offer studies of Education and Cultural Affairs of the Länder in the Federal Republic of for artistic careers in fine arts, performing arts and music; in such fields Germany (KMK).3 In 1999, a system of accreditation for programmes of as directing, production, writing in theatre, film, and other media; and in study has become operational under the control of an Accreditation a variety of design areas, architecture, media and communication. Council at national level. All new programmes have to be accredited under this scheme; after a successful accreditation they receive the Higher Education Institutions are either state or state-recognized 4 institutions. In their operations, including the organization of studies and quality-label of the Accreditation Council. the designation and award of degrees, they are both subject to higher education legislation. Table 1: Institutions, Programmes and Degrees in German Higher Education Transfer Procedures UNIVERSITIES (Universitäten) & Bachelor (B.A./B.Sc./B.Eng./LL.B) [1-2 years] Doctorate SPECIALISED (Dr.) INSTITUTIONS [3-4 years] Master (M.A./M.Sc./M.Eng./LL.M) (Thesis of university standing research; may (Theologische und include formal course work) Pädagogische Diplom & Magister Artium (M.A.) degrees [4-5 years] Hochschulen) [Doctorate] Staatsprüfung (State Examination) [3-6.5 years] Transfer Procedures UNIVERSITIES OF Bachelor (B.A./B.Sc./B.Eng./LL.B) [1-2 years] APPLIED SCIENCES (UAS) [3-4 years] Master (M.A./M.Sc./M.Eng./LL.M) - (Fachhochschulen) (FH) Diplom (FH) degree [4 years] Transfer Procedures Transfer Procedures Doctorate UNIVERSITIES OF Bachelor (B.A./B.F.A./B.Mus.) [1-2 years] (Dr.) ART/MUSIC (Kunst-/ [3-4