All About EMCL

All About EMCL
European Master's Program in Computational Logic

Date: April 30, 2011

The European Master's Program in Computational Logic is jointly offered by the Libera Università di Bolzano-Freie Universität Bozen (FUB), the Technische Universität Dresden (TUD ), the Universidade Nova de Lisboa (UNL ), the Technische Universität Wien (TUW ) and National ICT Australia Limited (NICTA ). Based on a common curriculum, common study and examination regulations and an Agreement of Cooperation (EMCL-AOC) signed by the partner institutions, the program is offered jointly by the mentioned European partner universities.
The European Master's Program in Computational Logic is steered by a Joint Commission .
NICTA contributes to the program by offering EU-students the possibility to do their project work at an affiliated Australian university.

This brochure gives information about the partner institutions including contact persons and means to contact them, contains the Agreement of Cooperation, lists the common study and examination regulations, mentions the decisions by the Joint Commission and gives hints and suggestions by students.

• 1 Coordination
  • 1.1 Coordinator and Coordinating Institution
  • 1.2 Participating Institutions
  
  
• 2 Agreement of Cooperation
  • §1 Aims
  • §2 Prerequisites for Participation
  • §3 Registration
  • §4 Form of Study and Conferral of Degrees
  • §5 Joint Curriculum
  • §6 Stay at the Partner Institutions
  • §7 Joint Commission
  • §8 Fees
  • §9 Compensation
  • §10 Use of Fees
  • §11 Exchange of Students
  • §12 Student Scholarships
  • §13 Exchange of Lecturers
  • §14 Financial Obligations
  • §15 Alterations, Additions and Termination
  
  
• 3 Common Study and Examination Regulations
  • 3.1 Scope
  • 3.2 Program Objectives
  • 3.3 Study Requirements
  • 3.4 Application
  • 3.5 Commencement and Duration of Studies
  • 3.6 Tuition Fees and Waivers
  • 3.7 Mobility and Placement of Students
  • 3.8 Forms of Instruction
  • 3.9 Curriculum
  • 3.10 Contents
  • 3.11 Credit Points
  • 3.12 Student Advisory Service
  • 3.13 Examination Structure and Language
  • 3.14 Academic Degrees
  • 3.15 Periods and Deadlines
  • 3.16 General Admission Requirements and Procedures
  • 3.17 Form of Examination
  • 3.18 Oral Examinations
  • 3.19 Written Examinations
  • 3.20 Seminar Papers
  • 3.21 Scientific Presentations
  • 3.22 Project Thesis
  • 3.23 Language Tests
  • 3.24 Common Grading System
  • 3.25 Evaluation of Examinations
  • 3.26 Master Thesis
  • 3.27 Success and Failure in Examinations, Certification of Examination Results
  • 3.28 Repetition of Module Examinations
  • 3.29 Recognition of Study Time, Examination Results and Coursework at other Universities
  • 3.30 Examiners and Observers
  • 3.31 Issuing of Certificates
  • 3.32 Diploma Supplements
  • 3.33 The Master Diploma
  • 3.34 Supplements
  
  
• 4 Decisions by the Joint Commission
  (is to be updated in the course of the study program)
  • 4.1 Local Master Programs
  • 4.2 Requirements in English
  • 4.3 Application and Evaluation
  • 4.4 Start Dates
  • 4.5 Fees
  • 4.6 Registration
  • 4.7 Performance and Ranking of Enrolled Students
  • 4.8 Waivers
  • 4.9 Placement
  • 4.10 Monitoring of Students
  • 4.11 Evaluation and Quality Assurance
  • 4.12 Advisory Board
  • 4.13 Financial Support
  • 4.14 LLP (Erasmus) scholarship for the study at the partner university
  • 4.15 Distribution of Lump Sum
  • 4.16 Scholarship Scheme
  
  
• 5 Appendix
  (is to be updated in the course of the study program)
  • 5.1 Application Form
  • 5.2 Erasmus Mundus Scholarship Program
  • 5.3 List of Supported Summer Schools
  • 5.4 Joint Diploma Supplement.
  • 5.5 Insurance Scheme
  • 5.6 Participation Costs
  • 5.7 Contracts
  • 5.8 Visa and Entrance
  • 5.9 Local enrollment procedures
  • 5.10 Services