All About EMCL

All About EMCL
European Master's Program in Computational Logic


This brochure gives detailed information about the European Master's Program in Computational Logic.

The European Master's Program in Computational Logic is jointly offered by the Libera Università di Bolzano-Freie Universität Bozen (unibz), the Technische Universität Dresden (TUD), the Universidade Nova de Lisboa (NOVA), 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.1.1 Coordinating Institution

Technische Universität Dresden

Coordinator
 
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Email: sh@iccl.tu-dresden.de
Phone: +49 (351) 463 38340

EMCL secretary
 
Mrs. Sylvia Wünsch
Email: cl-secretary@iccl.tu-dresden.de
Phone: +49 (351) 463 38341

Secretary
 
Ms. Romy Thieme
Email: romy.thieme@tu-dresden.de
Phone: +49 (351) 463 39239

Contact Address
 
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Technische Universität Dresden
Fakultät Informatik
International Center for Computational Logic
D-01062 Dresden


1.2 Participating Institutions


1.2.1 Libera Università di Bolzano-Freie Universität Bozen (unibz)

Local Coordinator
 
Dr. Sergio Tessaris
Email: info@fub.computational-logic.eu
Phone: +39 0471 016125

Assistant/Secretary
 
Mrs. Federica Cumer
Email: info@fub.computational-logic.eu
Phone: +39 0471 016005

International Office
 
Mrs. Sonia Melis
Email: international.relations@unibz.it
Phone: +39 0471 012500

Housing
 
Mrs. Sonia Melis
Email: international.relations@unibz.it
Phone: +39 0471 012500

Italian and German Language Courses
 
Website:
http://www.unibz.it/en/students/languagecentre/


1.2.2 Technische Universität Dresden (TUD)

Local Coordinator
 
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Email: sh@iccl.tu-dresden.de
Phone: +49 (351) 46 33 83 40

Secretary
 
Mrs. Sylvia Wünsch
Email: cl-secretary@iccl.tu-dresden.de
Phone: +49 (351) 46 33 83 41

International Office
 
Mrs. Monika Diecke
Email: Monika.Diecke@mailbox.tu-dresden.de
Phone: +49 (351) 463-32327

Housing
 
Studentenwerk Dresden
Email: wohnen@swdd.tu-dresden.de
Phone: +49 (351) 4697-615

German Language Courses
 
Website:
http://sprachausbildung.tu-dresden.de


1.2.3 Universidade Nova de Lisboa (NOVA)

Local Coordinator
 
Prof. Dr. Pedro Barahona
Email: pb@fct.unl.pt
Phone: +351 212 948 536

Secretary
 
Mrs. Sandra Rainha
Email: secretaria@di.fct.unl.pt
Phone: +351 212 948 536

International Office
 
Gabinete de Acolhimento e Mobilidade
Email: gma@fct.unl.pt
Phone: +351 212 947 820

Housing
 
Residência Fraústo da Silva
Email: gma@fct.unl.pt
Phone: +351 212 945 000

Portuguese Language Courses
 
Websites:
http://www2.fcsh.unl.pt/clcp/clcp_en.html
http://ilnova.fcsh.unl.pt/


1.2.4 Technische Universität Wien (TUW)

Local Coordinator
 
Univ.Prof.Dr.phil. Gernot Salzer
Email: gernot.salzer@tuwien.ac.at
Phone: ++43 1 58801 185 41

Secretary
 
Mag. Franziska Gusel
Email: Franziska.Gusel@logic.at
Phone: +43 1 58801 185 03

International Office
 
Mag. Simone Souczek
Website: http://www.tuwien.ac.at/international
Email: simone.souczek@tuwien.ac.at
Phone: +43 1 58801-41550

Housing
 
Österreichischer Austauschdienst - OeAD WohraumverwaltungsGmbH
Website: http://www.housing.oead.at/
Phone: +43 1 4277 28151

German Language Courses
 
Websites:
http://www.ai.tuwien.ac.at/international
http://www.deutschlernen.at


1.2.5 Data61 (former NICTA)

Local Coordinator
 
Dr. Peter Baumgartner
Email: Peter.Baumgartner@data61.csiro.au
Phone: +61 (2) 6218 3717

Assistant/Secretary
 
Mrs. Maria Eckhardt
Email: maria.eckhardt@data61.csiro.au
Phone: +61 (2) 6218 3771


2 Agreement of Cooperation


2.1 Agreement of Cooperation 2014

This Agreement of Cooperation is valid for students who will enroll in fall 2014 or later.




Agreement of Cooperation
for the European Master's Program in
Computational Logic


This is an Agreement of Cooperation concerning the participation of the Libera Università di Bolzano-Freie Universität Bozen, the Technische Universität Dresden, the Universidade NOVA de Lisboa, the Technische Universität Wien and the National Centre for Information and Communications Technologies Australia in the European Master's Program in Computational Logic.


Within the European Master's Program in Computational Logic, the Free University of Bozen-Bolzano (unibz), the Technische Universität Dresden (TUD; coordinating institution), the Universidade NOVA de Lisboa (NOVA), the Technische Universität Wien (TUW) and the National Centre for Information and Communications Technologies Australia (NICTA) will offer an integrated study program according to the constraints set out in the following paragraphs.

§1 Aims

The European Master's Program in Computational Logic (EMCL) is aiming to provide:

  1. Cooperation in the field of student exchange in order to give students the possibility to obtain a joint master of science degree at unibz, TUD, NOVA and TUW. To this end, the European partner universities will mutually recognize study achievements, examination achievements and the final grade earned in the course of the integrated study program, which is composed of modules, a master thesis and its defense. In addition, the European partner universities will recognize study achievements obtained at NICTA.

  2. Exchange of personnel in order to foster the scientific collaboration, to further develop the curriculum and to share didactic and administrative experience.

  3. Sharing of didactic and administrative resources of the partner institutions within the study program.

§2 Prerequisites for Participation

All students intending to study in EMCL must apply to the TUD. The deadlines for application are decided yearly by the Joint Commission (see §7). The students are selected by the Joint Commission.


§3 Registration

All students in EMCL have to register at TUD. First year students are subsequently registered in addition at unibz for the second semester. Second year students are subsequently registered in addition to the registration at TUD at the host university of their second year (see §4).

The deadlines for the registrations are decided yearly by the Joint Commission.


§4 Form of Study and Conferral of Degrees

All students in EMCL study at TUD in their first semester and at unibz in their second semester. In their second year they select a university out of unibz, TUD, NOVA and TUW. In addition, students may select NICTA for their project work. Students are jointly monitored by tutors, one from each of their host universities.

Each student has to develop a plan of studies in agreement with the integrated curriculum together with his/her tutors.

The master thesis is normally submitted to and defended at the host university in the second year, and it must be defended in front of a joint jury. The master thesis may be jointly supervised, and it can be submitted to and defended at the coordinating university.

Students will receive a joint master of science degree from the group of their host universities. In the context of the program, the EMCL joint master degree is equivalent to the Austrian and German degree ``Master of Science'', the Italian degree ``Laurea magistrale in Informatica'' and the Portuguese degree ``Mestre em Lógica Computacional''.

§5 Joint Curriculum

The joint curriculum is based on basic and advanced modules, a project module, a `presentation and communication skills' module and the master thesis.

Modules may be comprised of several courses. The grade assigned to each module is determined by an examination or is based on the grades of the courses.

Partner institutions recognize study times and study achievements of the master students on the basis of modules, master theses and final grades. Partner institutions can recognize study achievements at course level if the two tutors agree.

A student may assign a course only to one module.

§6 Stay at the Partner Institutions

During their stay at each of the partner institutions students study according to the common study and examination regulations of EMCL.

§7 Joint Commission

The partner universities set up a Joint Commission. The Joint Commission shall consist of two members of each partner university, which are appointed by the appropriate authorities at each partner institution. Every partner university has one (1) vote.

The Joint Commission is responsible for all tasks implied by this Agreement of Cooperation and aiming at running a successful EMCL. Among these, the following tasks are included: marketing EMCL; setting up tuition fees; specification of additional requirements for the acceptance of students; selection and placement of students; putting in place an insurance scheme for students and scholars; selection of guest lecturers (scholars); quality assurance and evaluation; development of the common study and exchange regulations; approval of module descriptions; report to the partner universities; initiation of additional third party funds; administration of joint funds raised by the partner universities for the purpose of EMCL; compensation of fees; ensuring sustainability of the program.

The Joint Commission meets several times a year if necessary, but at least once each year physically.1 Additional meetings can be physical, by email or by video conferencing. The quorum consists of the attendance of at least one commission member from each partner university.

Decisions by the Joint Commission must take into account the relevant regulations of partner universities. Decisions can only be taken by unanimous vote.

§8 Fees

There is a common fee for studying in EMCL. The exact amount is decided yearly by the Joint Commission by taking into account the local fees and the costs of running EMCL.The common fee is collected each semester by the coordinating institution.

Each semester each partner university announces in writing to the coordinating institution its local fee, which includes the expenses related to the EMCL, and the names of the EMCL students who have selected it as their host institution for this semester. The coordinating institution pays the minimum of the common fee and the local fee immediately after it has received the common fee from all the student and the announcement from all the partner universities. Additional compensation rules may apply (see §9).

If a partner university announces in writing to the coordinating institution that it is willing to pay the local fee for an EMCL student who has selected it as his/her host institution for this semester and the local fee is smaller than the common fee, then the announcement will be regarded as partial payment of the common fee, the student is required to pay the difference between the common fee and the local fee, and no fees or compensation are transferred by the coordinating institution to the partner university for this student.

If a partner university, whose local fee is higher than the common fee, announces in writing to the coordinating institution that it is willing to pay the common fee for an EMCL student who has selected it as his/her host university for this semester, then the announcement will be regarded as payment of the common fee and the corresponding amount is not transferred by the coordinating institution to the partner university for this student.

Students have to pay student services fees to the coordinating university and their host university for each semester (if there is any).

§9 Compensation

If the local fee of a partner university is higher than the common fee and the partner university did not abandon the collection, the partner university may receive a fair additional compensation. The Joint Commission shall decide yearly about the allocation of the total amount available for compensations.

§10 Use of Fees

If the coordinating institution receives more common fees than the Joint Commission decides to compensate, then the remaining money shall be spent on all EMCL related activities.The Joint Commission shall decide about the allocation.

§11 Exchange of Students

The exchange of students is agreed upon each year by the Joint Commission.

§12 Student Scholarships

Students selected for a scholarship will sign a contract with the coordinating institution. As part of this contract the coordinating institution will collect the common tuition fee.

§13 Exchange of Lecturers

The partner institutions intend to foster the exchange of lecturers aiming at cross-fertilization in teaching through research.

§14 Financial Obligations

Except for the collection of the common fees and the compensation as expressed in §8 and §9, the financial arrangements for project-related activities are to be decided on a case-to-case basis by agreement between the participating institutions and there are no additional financial obligations arising from this agreement.

§15 Alterations, Additions and Termination

This Agreement of Cooperation takes effect on the date of signing for a term of 2 years. The Agreement of Cooperation shall be repeatedly extended by 2 more years unless it is terminated by giving six months notice by May 31 of any year. Notice of termination shall be given in writing.

In case of gross breach of the Agreement of Cooperation any partner institution shall be entitled to terminate the Agreement of Cooperation with immediate effect and without observing the six months´ period of notice. In case of early termination of the Agreement of Cooperation all obligations which are still to be fulfilled shall be fulfilled in accordance with the Agreement of Cooperation.

This Agreement of Cooperation shall be construed according to the laws of the Federal Republic of Germany. The partner institutions agree that for all controversies or claims the District Court of Dresden shall have jurisdiction.

The partner institutions declare that no side agreements to this Agreement of Cooperation exist. Modifications of and amendments to this Agreement of Cooperation as well as a waiver of the requirement of written form shall be made in writing.

If individual provisions of this Agreement of Cooperation are legally ineffective, this shall not affect the effectiveness of the remaining provisions; in that case the invalid provisions shall be replaced by provisions which come as close as possible to the purpose of the Agreement of Cooperation and which are legally effective.

Bozen-Bolzano,




Prof. Walter Lorenz
Rector Free University of Bozen-Bolzano




Dresden,




Prof. Dr. Susanne Strahringer
Vice-Rector for Academic and International Affairs
Technische Universität Dresden




Lisbon,




Prof. António Manuel Bensabat Rendas
Rector of the Universidade NOVA de Lisboa




Vienna,




O. Univ.-Prof. Dr. Adalbert Prechtl
Vice-Rector for Academic Affairs
Technische Universität Wien




Sydney,




Hugh Durrant-Whyte
(CEO) NICTA

Annex
to the existing Agreement of Cooperation on
EMCL
between UNL and TUD


The TUD and the UNL agree to confer the final degree according to the following principles:

The master certificate and diploma will be conferred as a joint degree.

  1. The master certificate includes the names and signatures of the persons specified by the examination regulations of the degree-awarding universities. In addition to the information required by the regulations applicable to the certificate, it includes a remark to the effect that the master course of study was conducted jointly by both/several universities as well as information indicating the participating universities at which the graduate earned the required study and examination credits.
  2. The master diploma includes the names and signatures of the persons specified by the examination regulations of the degree-awarding universities as well as the seal of the degree-awarding universities. It includes the name of the academic degree, e.g., ``Master of Science (M.Sc.)'', and a remark to the effect that the master course of study was conducted jointly by the participating universities.



Dresden, April 30, 2009

Lisbon, April 14, 2009
Prof. Hermann Kokenge Prof. Antonio Manuel Bensabat Rendas
Rector Rector
Technische Universität Dresden Universidade Nova de Lisboa


2.2 Agreement of Cooperation 2010

This Agreement of Cooperation is valid for students who has enrolled in fall 2010 or later.




Agreement of Cooperation
for the European Master's Program in
Computational Logic


This is an Agreement of Cooperation concerning the participation of the Libera Università di Bolzano-Freie Universität Bozen, the Technische Universität Dresden, the Universidade Nova de Lisboa, the Technische Universität Wien and the National Centre for Information and Communications Technologies Australia in the European Master's Program in Computational Logic.


Within the European Master's Program in Computational Logic, the Libera Università di Bolzano-Freie Universität Bozen (unibz), the Technische Universität Dresden (TUD; coordinating institution), the Universidade Nova de Lisboa (NOVA), the Technische Universität Wien (TUW) and the National Centre for Information and Communications Technologies Australia (NICTA) will offer an integrated study program according to the constraints set out in the following paragraphs.

§1 Aims

The European Master's Program in Computational Logic (EMCL) is aiming to provide:

  1. Cooperation in the field of student exchange in order to open the possibility for students to obtain a joint master of science degree at unibz, TUD, NOVA and TUW. To this end, the European partner universities will mutually recognize study achievements, examination achievements and the final grade earned in the course of the integrated study program, which is composed of modules, a master thesis and its defense. In addition, the European partner universities will recognize study achievements obtained at NICTA.

  2. Exchange of lecturers in order to foster the scientific collaboration, to further develop the curriculum and to share didactic and administrative experience.

§2 Prerequisites for Participation

All students intending to study in EMCL must apply to the TUD. The deadlines for application are decided yearly by the Joint Commission (see §7). The students are selected by the Joint Commission.


§3 Registration

All students in EMCL have to register at TUD. First year students are subsequently registered in addition at unibz for the second semester. Second year students are subsequently registered in addition to the registration at TUD at the host university of their second year (see §4).

The deadlines for the registrations are decided yearly by the Joint Commission.


§4 Form of Study and Conferral of Degrees

All students in EMCL study at TUD in their first semester and at unibz in their second semester. In their second year they select a university out of unibz, TUD, NOVA and TUW. In addition, students may select NICTA for their project work. Students are jointly monitored by tutors, one from each of their host universities.

Each student has to develop a plan of studies in agreement with the integrated curriculum together with his/her tutors.

The master thesis is normally submitted to and defended at the host university in the second year, and it must be defended in front of a joint jury. The master thesis may be jointly supervised, and it can be submitted to and defended at the coordinating university.

Students will receive a joint master of science degree from the group of their host universities. In the context of the program, the EMCL joint master degree is equivalent to the Austrian and German degree ``Master of Science'', the Italian degree ``Laurea magistrale in Informatica'' and the Portuguese degree ``Mestre em Lógica Computacional''.

§5 Joint Curriculum

The joint curriculum is based on basic and advanced modules, a project module. a `presentation and communication skills' module and the master thesis.

Modules may be comprised of several courses. The grade assigned to each module is determined by an examination or is based on the grades of the courses.

Partner institutions accept study times and study achievements of the master students on the basis of modules, master theses and final grades. Partner institutions can accept study achievements at course level if the two tutors agree.

A student may assign a course only to one module.

§6 Stay at the Partner Institutions

During their stay at each of the partner institutions students study according to the common study and examination regulations of EMCL.

§7 Joint Commission

The partner universities set up a Joint Commission. The Joint Commission shall consist of two members of each partner university, which are appointed by the appropriate authorities at each partner institution. Every partner university has one (1) vote.

The Joint Commission is responsible for all tasks implied by this Agreement of Cooperation and aiming at running a successful EMCL. Among these, the following tasks are included: marketing EMCL; setting up tuition fees; specification of additional requirements for the acceptance of students; selection and placement of students; putting in place an insurance scheme for students and scholars; selection of guest lecturers (scholars); quality assurance and evaluation; development of the common study and exchange regulations; approval of module descriptions; report to the partner universities; initiation of additional third party funds; administration of joint funds raised by the partner universities for the purpose of EMCL; compensation of fees; ensuring sustainability of the program.

The Joint Commission meets several times a year if necessary, but at least once each semester physically.2 Additional meetings can be physical, by email or by video conferencing. The quorum consists of the attendance of at least one commission member from each partner university.

Decisions by the Joint Commission must take into account the relevant regulations of partner universities. Decisions can only be taken by unanimous vote.

§8 Fees

There is a common fee for studying in EMCL. The exact amount is decided yearly by the Joint Commission.The common fee is collected each semester by the coordinating institution.

Each semester each partner university announces in writing to the coordinating institution its local fee, which includes the expenses related to the EMCL, and the names of the EMCL students who have selected it as their host institution for this semester. The coordinating institution pays the minimum of the common fee and the local fee immediately after it has received the common fee from all the student and the announcement from all the partner universities. Additional compensation rules may apply (see §9).

If a partner university announces in writing to the coordinating institution that it is willing to pay the local fee for an EMCL student who has selected it as his/her host institution for this semester and the local fee is smaller than the common fee, then the announcement will be regarded as partial payment of the common fee, the student is required to pay the difference between the common fee and the local fee, and no fees or compensation are transferred by the coordinating institution to the partner university for this student.

If a partner university, whose local fee is higher than the common fee, announces in writing to the coordinating institution that it is willing to pay the common fee for an EMCL student who has selected it as his/her host university for this semester, then the announcement will be regarded as payment of the common fee and the corresponding amount is not transferred by the coordinating institution to the partner university for this student.

Students have to pay student services fees to the coordinating university and their host university for each semester (if there is any).

§9 Compensation

If the local fee of a partner university is higher than the common fee and the partner university did not abandon the collection, the partner university may receive a fair additional compensation. The Joint Commission shall decide yearly about the allocation of the total amount available for compensations.

§10 Use of Fees

If the coordinating institution receives more common fees than the Joint Commission decides to compensate, then the remaining money shall be spent on all EMCL related activities.The Joint Commission shall decide about the allocation.

§11 Exchange of Students

The exchange of students is agreed upon each year by the Joint Commission.

§12 Student Scholarships

Students selected for a scholarship will sign a contract with the coordinating institution. As part of this contract the coordinating institution will collect the common tuition fee.

§13 Exchange of Lecturers

The partner institutions intend to foster the exchange of lecturers aiming at cross-fertilization in teaching through research.

§14 Financial Obligations

Except for the collection of the common fees and the compensation as expressed in §8 and §9, the financial arrangements for project-related activities are to be decided on a case-to-case basis by agreement between the participating institutions and there are no additional financial obligations arising from this agreement.

§15 Alterations, Additions and Termination

This Agreement of Cooperation takes effect on the date of signing for a term of 2 years. The Agreement of Cooperation shall be extended up to another 2 years unless it is terminated by giving six months notice by May 31 of any year. Notice of termination shall be given in writing.

In case of gross breach of the Agreement of Cooperation any partner institution shall be entitled to terminate the Agreement of Cooperation with immediate effect and without observing the six months´ period of notice. In case of early termination of the Agreement of Cooperation all obligations which are still to be fulfilled shall be fulfilled in accordance with the Agreement of Cooperation.

This Agreement of Cooperation shall be construed according to the laws of the Federal Republic of Germany. The partner institutions agree that for all controversies or claims the District Court of Dresden shall have jurisdiction.

The partner institutions declare that no side agreements to this Agreement of Cooperation exist. Modifications of and amendments to this Agreement of Cooperation as well as a waiver of the requirement of written form shall be made in writing.

If individual provisions of this Agreement of Cooperation are legally ineffective, this shall not affect the effectiveness of the remaining provisions; in that case the invalid provisions shall be replaced by provisions which come as close as possible to the purpose of the Agreement of Cooperation and which are legally effective.

Bozen-Bolzano, April 29, 2010
Prof. Walter Lorenz
Rector Libera Università di Bolzano-Freie Universität Bozen



Dresden, April 29, 2010
Prof. Hermann Kokenge
Rector Technische Universität Dresden



Lisbon, April 21, 2010
Prof. António Manuel Bensabat Rendas
Rector of the Universidade Nova de Lisboa



Vienna, April 21, 2010
Prof. Dr. Hans Kaiser
Vice-Rector Technische Universität Wien



Sydney, April 28, 2010
David Skellern
(CEO) NICTA


3 Common Study and Examination Regulations


3.1 Scope

This section specifies the common study and examination regulations for EMCL at the unibz, the TUD, the NOVA and the TUW.

They are based on top of the study and examination regulations of the local master programs in Computational Logic at the European partner universities.


3.2 Program Objectives

(1)
Graduates in EMCL are able to thoroughly analyze and effectively solve problems in the area of Computational Logic. They have profound knowledge in the different subareas underlying Computational Logic and are able to apply this knowledge to concrete scenarios. They are familiar with formal methods and techniques, they are able to specify, develop, implement and maintain complex systems by formal means, they are able to analyze complex systems and to prove properties of such systems using formal methods.

(2)
Based on their profound knowledge in the area of Computational Logic graduates will be able to solve diverse and complex tasks in computer science and artificial intelligence.

(3)
The qualifications for professional practice and research obtained in EMCL is determined by the master examination. The examination provides a means to determine whether the candidate has a scientific understanding of the field of Computational Logic, whether he/she has acquired the technical knowledge and skills required for professional practice and whether he/she is capable of applying engineering knowledge and scientific methods on his/her own.


3.3 Study Requirements

(1)
Prerequisites for the enrollment in EMCL are a Bachelor's degree in Computer Science or Mathematics (Bologna first cycle) or an equivalent degree, and objective evidence of extensive knowledge in the areas Foundations of Mathematical Logic, Foundations of Artificial Intelligence, Declarative Programming and Theoretical Computer Science.

(2)
The specific requirements mentioned in Part (1) can be shown by examination records, transcript of records or other forms of written proof.

(3)
As the language of instruction is English, a proof of adequate knowledge of English is required (preferably TOEFL or IELTS).

(4)
Whether a student fulfills the requirements mentioned in Part (1) to (3) is decided by the Joint Commission.


3.4 Application

(1)
All applications for studying in EMCL must be sent in time to the coordinating institution.

(2)
All applicants will be evaluated by the Joint Commission. The decision of the Joint Commission is final.

(3)
All applicants will be informed by the coordinating institution.


3.5 Commencement and Duration of Studies

(1)
EMCL commences in the winter semester.

(2)
The regular period of study is four semester. It consists of course work structured into modules, self studies, and the preparation and defense of the master thesis.


3.6 Tuition Fees and Waivers

(1)
Common tuition fees apply. They are determined by the Joint Commission.
(2)
Tuition fees have to be payed to the coordinating institution.
(3)
The Joint Commission may set up a scholarship and waiver policy.


3.7 Mobility and Placement of Students

(1)
In the first year, all students study at TUD in the first semester and at unibz in the second semester.

(2)
In the second year, students may select any European partner university. The Joint Commission must approve the selection.

(3)
Students may spend up to three months at NICTA for their project work.


3.8 Forms of Instruction

(1)
The curriculum is structured into modules. In each module its subject will be introduced, consolidated and deepened by a suitable combination consisting of lectures, tutorials, seminars or practical sessions.

(2)
The module's subject is introduced in lectures. Tutorials are allocated to these lectures, and serve to consolidate the subject matter. In tutorials, students discuss their solutions to exercises in supervised groups. Seminars serve to develop the student's ability to research a particular field using literature, documentation and other material, and then to present and defend his/her understanding and acquired insights. Practical sessions serve for practical applications and deepening of the taught material as well as for the acquisition of practical skills in potential application areas. Knowledge as well as the competence to speak and communicate in a particular language is acquired in language classes. In projects students analyze simple scientific problems, relate them to the state-of-the-art in the corresponding subfield, solve them, present the problems, the state-of-the-art and the obtained solution in a scientific talk, and defend their findings. Within self-studies students repeat, deepen and widen subjects according to their own plans.


3.9 Curriculum

(1)
The curriculum is modular. The forth semester is reserved for the preparation and defense of the master thesis.

(2)
Teaching is divided into compulsory modules of 54 crs and optional advanced modules (from which students may chose) of 36 crs. The advanced modules allow students to focus on particular topics.

(3)
The goals of the individual modules, their prerequisites and the dependencies between modules are given in the module descriptions (Supplement 1; see 3.34.1).

(4)
A mapping of modules onto semesters such that the study can be completed within the regular period is given in Supplement 2 (see 3.34.2).

(5)
The language of instruction is English.

(6)
Advanced modules may be changed by the Joint Commission. The actual list of advanced modules offered within EMCL is published at the beginning of each academic year on the dedicated EMCL web pages.

(7)
Students are advised to consolidate knowledge, abilities and skills acquired during their studies by means of practical professional work like, for example, by internships.


3.10 Contents

(1)
EMCL is mainly research oriented.

(2)
Within the mandatory modules the following topics are covered:

  • foundations of propositional and first-order logic and basic techniques applied within logic-based systems,
  • foundations of logic and constraint programming,
  • foundations of logic-based systems,
  • foundations and applications of integrated logic systems,
  • selected special topics from logic-based systems.

(3)
The advanced modules cover the topics Knowledge Representation, Modeling and Verification, Theoretical Computer Science and Logic, Natural Language Processing and Automata, Principles of Inference, Principles of Data Management, Semantic Technologies, Principles of Computation, Computational Logic for Information Technology, Logical Foundations, Constraints, Logic and Languages for Software Reliability and Security, and Computer Science Engineering.


3.11 Credit Points

(1)
ECTS-credit points (crs) are used to characterize the workload on average as well as the individual progress of students. One crs corresponds to 27 hours of work. Within an academic year 60 crs, i.e., 30 crs per semester, are foreseen. In total, 120 crs must be earned within EMCL.

(2)
Credit points can only be given for modules. They will be given if the module examination was successfully passed. For each module, the module description (see Supplement 1; see 3.34.1) specifies the number of crs which may be earned as well as the conditions which have to be met.


3.12 Student Advisory Service

(1)
General advice is given by the Service Center for International Students. This includes application, selection, visa, housing, insurance, enrollment, tuition and social fees, registration, graduation, living and studying.

(2)
The local coordinators at partner universities give advice relating to course requirements, examinations, mobility or any other study-related matters.


3.13 Examination Structure and Language

(1)
The master examination consists of module examinations, the master thesis and its defense.
(2)
A module examination completes a module. It may consist of several partial examinations. The form of examination is specified in the module description (see Supplement 1; see 3.34.1). Module examinations will be taken during the course of studies.
(3)
The examination language is English.


3.14 Academic Degrees

(1)
A joint Master of Science (M.Sc.) degree is awarded to a master student by the partner universities which have hosted the student during his/her studies.
(2)
The degree is equivalent to a Master of Science degree in Germany and Austria, to a Laurea Magistrale in Informatica in Italy and to a Mestre em Lógica Computacional in Portugal.


3.15 Periods and Deadlines

(1)
The master examination shall be completed within the regular period of study. A master examination which has not been completed within two years after the regular period of study is failed. Failed master examinations may only be repeated once within one year, thereafter the first repetition is failed. A second repetition must be successfully completed within another six months, otherwise the master examination is finally failed.

(2)
Periods in which a student is in maternity leave or in parental leave do not count.


3.16 General Admission Requirements and Procedures

(1)
A candidate may only be admitted to a master level examination if he/she is enrolled in EMCL at the coordinating institution and his/her host university.
(2)
In order to take examinations the student has to register at the Service Center for International Students and the host university.


3.17 Form of Examination

(1)
Examinations may take the form of an oral examination, a written examination, a seminar paper, a scientific presentation, a project thesis and a language test.

(2)
If a candidate shows inability to take an examination - in whole or in part - according to the normal procedure due to long-term or permanent handicaps or due to supervision of his/her own children up to the age of 14, then this candidate may apply for an alternative procedure. The local coordinator will do its best to achieve the possibility of obtaining the credits using alternative methods. A candidate's application may concern some or all parts of the master examination.


3.18 Oral Examinations

(1)
In oral examinations, the candidate should demonstrate that he/she has an overview of the subject area of the examination. In addition, it should be determined whether the candidate has acquired the necessary fundamental knowledge.

(2)
When the oral examination is taken, one examiner is to be present who is assisted by one competent observer or, alternatively, at least two examiners are present. Oral examinations are taken as individual examinations.

(3)
The oral examination has a minimum of 20 minutes duration and a maximum of 60 minutes duration.

(4)
During the oral examination a protocol is to be taken. The protocol should give the reason for the grade allocation. Immediately following the oral examination the candidate is to be informed of the result.


3.19 Written Examinations

(1)
In written examinations, the candidate should demonstrate his/her ability to tackle a scientific problem using available methods in the field and to find ways of solving the problem in limited time and with limited auxiliary means.

(2)
The written examination has a minimum of 90 minutes duration and a maximum of 180 minutes duration.

(3)
During the written examination a protocol is to be taken. The protocol contains the names of the examiners and observers, an attendance list and the task assignment.

(4)
Written examinations are normally assessed by two examiners.


3.20 Seminar Papers

(1)
In seminar papers, the candidate should demonstrate his/her ability to understand and to discuss specific topics using dedicated literature and other publications.

(2)
Seminar papers are normally assessed by the lecturer responsible for the seminar within which the seminar paper was requested.


3.21 Scientific Presentations

(1)
In scientific presentations, the candidate should demonstrate his/her ability to present and to discuss specific topics.

(2)
Scientific presentations are normally assessed by the lecturer responsible for the course within which the scientific presentation was requested.


3.22 Project Thesis

(1)
With a project thesis, the candidate should demonstrate his/her ability to analyze simple scientific tasks, relate them to the state-of-the-art in the underlying subareas, solve the tasks, and present and discuss the obtained solutions.

(2)
A project thesis are normally assessed by two examiners.


3.23 Language Tests

(1)
In language tests, the candidate should demonstrate his/her ability to communicate in a particular language.

(2)
Language tests are normally assessed by the teacher responsible for the language class.


3.24 Common Grading System

(1)
The grades in the common grading system have the following meaning:
1 = excellent outstanding performance;
2 = good performance above average standard;
3 = satisfactory  performance meets average standard;
4 = adequate performance meets minimal demands in spite of deficits;
5 = inadequate performance fails to meet demands due to severe deficits.

For a refined assessment, intermediate values are used by increasing or reducing the individual grade by 0.3; the particular values 0.7, 4.3, 4.7, and 5.3 may not be used. The grades mentioned above must be used to grade individual exams.

(2)
If the module examination consists of several partial examinations according to the module description, the final grade is calculated by means of some formula - quite often the arithmetic mean - of the grades obtained in exams of courses this module is composed of. Further values not occurring among the grades mentioned in the table above may occur. All decimal places after the first one have to be cancelled (without rounding).

The module grades based on this calculation have the following meaning:
up to 1.5 inclusive = excellent;
1.6 up to 2.5 inclusive =good;
2.6 up to 3.5 inclusive = satisfactory;
3.6 up to 4.0 inclusive =adequate;
above 4.0 =inadequate.


3.25 Evaluation of Examinations

(1)
Examinations are evaluated by the examiners. The marks are given in the grading system of the host university and via the translation table shown in Supplement 3 (see 3.34.3) in the common grading system.

(2)
For the master examination a final grade is determined as the average of the marks for the modules and the mark for the master thesis and its defense, where the modules are weighted by their assigned credit points, the mark for the master thesis and its defense is weighted by 60, and the mark for the master thesis and its defense is calculated as

(mark of defense + 3 * mark of thesis) / 4


3.26 Master Thesis

(1)
The master thesis completes the students academic training. It gives the candidate the opportunity to demonstrate his/her skills and abilities in dealing independently by the use of scientific methods with a posed problem in computational logic or its applications.

(2)
The subject for the master thesis is assigned by a university professor or a qualified senior researcher at one of the partner universities who is also responsible for the student's supervision during the preparation of the thesis. Alternatively, the subject for the master thesis may be assigned by two university professors from two different partner universities who are jointly responsible for supervision during the preparation of the thesis. The candidate is given the opportunity to submit proposals on the subject of the master thesis.

(3)
The master thesis may be prepared by a group if the contribution of each individual group member is clearly distinguishable for separate assessment, e.g., by being based on clearly indicated chapters, page numbers or on other objective criteria.

(4)
The time available to prepare the master thesis is 23 weeks. This period should not be exceeded. When assigning the subject and scope of the master thesis, the supervising professor or professors must ensure that the deadline can be met. The Service Center for International Students (SCIS) at TUD must be informed on the starting date. The time available for the master thesis may be extended by at most 13 weeks if the candidate submits a well-founded application. The SCIS must be informed on this extension by the local supervisor, immediately.

(5)
The supervisor informs the SCIS on the prospective composition of the Joint Master Commission (JMC). It shall consist of at least three members and shall include the supervisor as well as at least one further member from an additional European partner university or from an external organization. The JMC must be confirmed by the Joint Commission.

(6)
The master thesis has to be submitted to the SCIS and to the JMC, otherwise it shall be regarded as inadequate. Upon submission of the master thesis, the candidate has to confirm in writing that he/she has prepared the thesis on his/her own. (In the case of a group effort, this applies only for his/her particular contribution.) He/She must also confirm that he/she used only the references and auxiliary means indicated in the thesis.

(7)
The SCIS checks the candidate's admission requirements and issues the protocol.

(8)
The submitted master thesis is assessed by the JMC. At least two members must write a report and assign marks. The final mark of the submitted thesis is the arithmetic mean of these marks.

(9)
The master thesis is to be defended in front of the JMC. If a member of the JMC cannot be physically present he/she may participate via skype or other electronic means.

(10)
The JMC determines the mark for the defense.

(11)
The final mark for the master thesis and its defense has to be calculated as follows:
$ (\mathsf{mark~of~defense} + 3 * \mathsf{final~mark~of~the~submitted~master~thesis}) / 4 $


3.27 Success and Failure in Examinations, Certification of Examination Results

(1)
Module examinations are passed when they are assessed as at least adequate in the common grading system. In this case, crs are acquired.

(2)
The master examination is passed when the module examinations are passed and the master thesis as well as its defense are evaluated with at least adequate in the common grading system.

(3)
A module examination is failed when it is assessed with inadequate in the common grading system.

(4)
The master examination is failed if a module examination, the master thesis or the defense of the master thesis is assessed with inadequate.

(5)
If a candidate failed a module examination or the master examination then he/she will be informed by the Service Center for International Students whether and to which degree and within which period of time modular examinations or the master thesis and its defense must be repeated.


3.28 Repetition of Module Examinations

(1)
Failed module examinations may be repeated twice. The form of the examination repetition is determined by the examiner. If the examination was passed it cannot be retaken.

(2)
Repetition of module examinations according to Part (1) have to take place within a year after the last examination attempt. If a candidate does not take the examination within this period for reasons he is liable for, the module examination shall be considered as finally failed.


3.29 Recognition of Study Time, Examination Results and Coursework at other Universities

(1)
Study time, examination results and coursework achievements at other universities are acknowledged if they are equivalent in content, scope and requirements to the respective ones of EMCL.

(2)
Courses studied at other universities are to be determined by agreement with a lecturer who is participating in EMCL. This lecturer is to confirm the equivalence of those courses to the teaching content to (parts of) modules of EMCL according to the ECTS-guidelines.


3.30 Examiners and Observers

(1)
Examiners and observers for the module examinations are appointed locally at each partner university.
(2)
Examiners and observers for the master thesis and its defense are appointed by the Joint Commission.


3.31 Issuing of Certificates

(1)
When a candidate has passed the master examination a master certificate of his/her academic performance is issued by the coordinating institution within four weeks, if possible.
(2)
The certificate carries the date on which the final examination was passed.
(3)
A candidate is permitted to take examinations other than those which are compulsory. On request of the candidate, the results of these extra module examinations will be included in the certificate, however, they will not be taken into account when the overall grade is determined.


3.32 Diploma Supplements

Together with the certificate a joint diploma supplement is issued by the coordinating institution.


3.33 The Master Diploma

Together with the certificate a master diploma is issued. It is signed by the rectors of those partner universities, which hosted the student during his/her studies.


3.34 Supplements


3.34.1 Supplement 1: Overview of Modules


3.34.1.1 A. Basic Modules

 

Advanced Logic
Basic Module

Module Number:
EMCL-B-AL

Module Offered by:
unibz

Module Person in Charge:
Dr. Alessandro Artale

Module Contents and Qualification Objectives:
The aim of this module is to introduce basic concepts beyond first-order predicate logics. In Computer Science many different logics and deductive systems exist. Specific families of logics aimed at different application areas are introduced: logics of time and computation (modal logics, temporal Logics), logics for reasoning about knowledge (epistemic logic).

In this module students will develop a deeper understanding of some of the logics beyond first order logic. Students will be introduced to different of Modal Logics and they will be able to apply them to different area of Computer Science. In particular, they will appreciate the use of logics for the specification and verification of hardware systems, and they will learn how to use Model Checking to verify properties of systems.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.

Module Courses:
Formal Methods (36 hours), Non-classical Logics (36 hours)

Module Prerequisites for Participation:
This module relies on the basic concepts of propositional logic and predicate logic, which are taught in the module Foundations. Furthermore, general basic knowledge of computer science is required, especially from the areas of computability theory, complexity theory, formal languages, algorithms and data structures.

Module Usability:
This module provides the qualification for all advanced modules as well as for the module Project.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed successfully. The module examination consists of a written examination of 120 minutes.

Module Credits and Marks:
With this module 8 credits will be acquired. The final mark given for the module results from the arithmetical mean of the marks obtained in each of the course examinations.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Foundations
Basic Module

Module Number:
EMCL-B-F

Module Offered by:
TUD

Module Person in Charge:
Prof. Steffen Hölldobler

Module Contents and Qualification Objectives:
The module offers a comprehensive introduction to Computational Logic covering the main subareas as well as the main methods and techniques. After recalling basic notions from propositional and first order logic, complexity theory and computer algebra, the areas of equational reasoning, deduction, proof theory, abduction and induction, non-monotonic reasoning, logic-based program development, natural language processing and machine learning as well as logic and connectionism are covered.

After completion of the module students shall have fundamental knowledge of propositional and first-order logic and shall master the basic skills of these subjects. Moreover, they shall know the field of Computational Logic and its main subfields as well as the basic techniques and methods applied there.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 120 hours. Additional private study is required.

Module Courses:
The two courses Logic and Science of Computational Logic, each consisting of 30 hours of lectures and 30 hours of tutorials, are both assigned to this module.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
Successful passing provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.

Module Prerequisites for Allocation of Credits:
The respective credits are acquired by successfully passing the module examination. The module examination consists of a written examination and an oral examination.

Module Credits and Marks:
With this module 9 credits will be acquired. The final mark given for the module results from the (unweighted) arithmetical mean of the marks obtained in each of the two examinations.

Module Frequency:
The module is offered every winter semester.

Module Duration:
The module shall be studied within one semester.

Integrated Logic Systems
Basic Module

Module Number:
EMCL-B-ILS

Module Offered by:
unibz

Module Person in Charge:
Dr. Sergio Tessaris

Module Contents and Qualification Objectives:
The module shall meet the demand for more practice-oriented subjects in the curriculum. Although the module has a formal background, it includes strong practical aspects by using automated tools and providing a review of applications. Deduction, proof theory, automated theorem proving for Propositional and First Order Logic will be thoroughly studied. The module will also mention applications of Computational Logic.

The students shall get into contact with real applications of logic-based systems and get a feeling for how to apply the theoretical knowledge obtained in the other modules.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of 72 hours. Additional private study is required.

Module Courses:
Computational Logic

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
This module provides the qualification for all advanced modules as well as for the module Project.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed successfully. The module examination consists of a written examination.

Module Credits and Marks:
With this module 8 credits will be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Logic and Constraint Programming
Basic Module

Module Number:
EMCL-B-LCP

Module Offered by:
TUD

Module Person in Charge:
Prof. Steffen Hölldobler

Module Contents and Qualification Objectives:
This module deals with
  • Foundations of logic programming: unification, procedural semantics, declarative semantics, soundness and completeness of SLD-resolution, negation in logic programs, termination of logic programs;
  • Foundations of constraint programming: complete constraint solvers, local consistency notions, incomplete constraint solvers, constraint propagation, search;
  • Practice of logic programming: the programming language Prolog, recursion, special data structures and libraries, applications of logic programs.
By this module students acquire a detailed understanding of the theoretical foundations of logic and constraint programming. They will gain insight into a logic programming language, and they develop the skills to systematically design logic programs, to develop constraint solvers, and to model problems as constraint programs. They also acquire knowledge of the application areas of logic and constraint programming, and they gain insight into the execution of logic programs.

Module Form of Teaching and Education:
This module consists of lectures, tutorials and practicals of a total extent of 120 hours.

Module Courses:
The courses Foundations of Logic Programming (30 hours of lectures and 15 hours of tutorials), Foundations of Constraint Programming (15 hours of lectures and 15 hours of tutorials) and Logic Programming Engineering (45 hours of practicals) are assigned to this module.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level and comprehensive knowledge of logic and logic programming or equivalent knowledge is required.

Module Usability:
It provides the qualification for the modules Advanced Logic, Integrated Logic Systems and Project as well as for all advanced modules.

Module Prerequisites for Allocation of Credits:
The respective credits are acquired by successfully passing the module examination. The module examination consists of a written examination and of a project work.

Module Credits and Marks:
With this module 9 credits will be acquired. The final mark given for the module results from the weighted arithmetical mean of the marks obtained, where the written examination is weighted with factor 3 and the project work with factor 1.

Module Frequency:
This module is offered every academic year in the winter semester.

Module Duration:
The module shall be studied within one semester.

3.34.1.2 B. Advanced Modules

 

Constraints
Advanced Module

Module Number:
EMCL-A-C

Module Offered by:
NOVA

Module Person in Charge:
Prof. Pedro Barahona

Module Contents and Qualification Objectives:
The module aims to provide the students with theoretical and practical knowledge on Constraint Logic Programming (CLP), obtaining experience on the declarative modelling of several combinatorial problems as well as knowledge on advanced methods to solve them efficiently.

The module addresses the various types of domains that are used in CLP, analyzing their specificities as well as commonalities. The integration of constraint propagation with both complete backtrack search and local search algorithms is studied. The worst case and typical complexity of the underlying algorithms are analyzed. In addition, some extensions of the pure constraint satisfaction paradigm are studied, namely optimization, soft constraints and universally quantified problems.

Module Form of Teaching and Education:
This module contains lectures, laboratory classes, tutorials and seminars of a total extent of at least 100 hours, in addition to the student's private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The successful completion of the mandatory module on Foundations of Logic and Constraint Programming module is strongly recommended.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters, but is typically completed in the winter semester.

Computational Logic for Information Technology
Advanced Module

Module Number:
EMCL-A-CLIT

Module Offered by:
TUW

Module Person in Charge:
Prof. Reinhard Pichler

Module Contents and Qualification Objectives:
This module addresses logical foundations and algorithmic aspects of data management in the broad sense: It ranges from "classical" database topics like storing and querying relational data to other data models (like semistructured data) and access to other forms of data storage (like data on the web).

More specifically, the logical foundations address the analysis of the expressive power of query languages by relating them to appropriate fragments of some logic. Basic concepts and results of finite model theory are introduced to prove negative results on the expressive power (i.e., queries that cannot be expressed in a given query language). On the algorithmic side, methods for efficient query processing are presented and the complexity of several query languages is analyzed. This also comprises methods of multi-user synchronization in a single database systems or in a distributed environment and the trade-off between throughput of query processing and integrity. Advanced topics of this module address several aspects of data on the web. This includes methods for data extraction on the web (like wrapper generation and web data mining) as well as methods of information integration (like schema mappings, transformation of data, and data cleaning).

The main objective is that upon completion of this module, students have a detailed understanding of fundamental tasks and methods of data management. Students will thus have acquired the knowledge and skills needed to further develop and to make effective use of tools and systems for data management. This includes basic skills like taking the impact on query evaluation and optimization into account when formulating database queries in different ways. It also includes more advanced skills like the development of wrappers for web data extraction and solving problems in the context of integrating heterogeneous data sources.

Module Form of Teaching and Education:
This module contains lectures, exercises and seminars of a total extent of at least 120 hours, as well as private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge in logic, complexity theory, formal languages and algorithms are required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Computer Science Engineering
Advanced Module

Module Number:
EMCL-A-CSE

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Dr. Sergio Tessaris (unibz), Prof. Steffen Hölldobler (TUD), Prof. Helmut Veith (TUW), Prof. Pedro Barahona (NOVA)

Module Contents and Qualification Objectives:
This module aims at broadening the knowledge of students beyond computational logic and its technologies, and to allow them to acquire knowledge on computer based systems, their design, development, and applications, in a particular area at a foundational level, and to learn how to model applications. To this end, the module comprises a range of different topics from which students have to choose one, such as (but not limited to) operating systems, human computer interaction, computer engineering, software engineering, computer graphics, real-time systems, operations research, bioinformatics. Topics are offered by the different sites on availability.

The objective is that upon completion of this module, students will have acquired a solid understanding of computer-based systems and technology in a particular area, such that they are familiar with problems and solution approaches in it. Furthermore, it is expected that they are able to sets links to the knowledge and skills acquired on computational logic methods and techniques for possible deployment and application.

Module Form of Teaching and Education:
This module consists of lectures, seminars, tutorials, labs and/or projects of a total extent of at least 108 hours. Additional private study is required.

Module Courses:
All courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Knowledge of computer science on bachelor level.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
The module runs over two semesters.

Knowledge Representation
Advanced Module

Module Number:
EMCL-A-KR

Module Offered by:
TUD, TUW, NOVA

Module Person in Charge:
Prof. Steffen Hölldobler (TUD), Prof. Thomas Eiter (TUW), Prof. José Alferes (NOVA)

Module Contents and Qualification Objectives:
This module addresses aspects of knowledge and data systems, with an emphasis on (but not limited to) logic-related approaches for representing and processing knowledge. It includes foundations, regarding both semantics and computation, representation formalisms and reasoning methods, tools, and application areas.

More specifically, the foundational side addresses predicate logic for knowledge representation, logic for databases, knowledge base design, and specific issues like update and change of knowledge. Important representation formalisms for the agenda are logic programs with negation, ontology languages, action languages, and logic-based agents, which are considered with their mathematical properties. Regarding inference, methods like deduction, common-sense reasoning (abduction, hypothetical reasoning etc), or non-monotonic reasoning in general are addressed. On the practical side, tools and methods for problem solving such as Answer Set Programming or SAT/Quantified Boolean Formula solving are covered. Areas like Multi-Agent Systems, Information Systems or the Web serve to embed the theoretical concepts into applications.

The main objective is that upon completion of this module, students have a detailed understanding of how knowledge is formalized and processed in Artificial Intelligence using logic-related approaches, and of problems and issues that have to be respected. They furthermore will have acquired skills in designing, formally specifying, and realizing techniques of knowledge representation and reasoning.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of logic, complexity and computation, and mathematics.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits will be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Logical Foundations
Advanced Module

Module Number:
EMCL-A-LF

Module Offered by:
TUW

Module Person in Charge:
Prof. Alexander Leitsch

Module Contents and Qualification Objectives:
This module deepens the knowledge of the students in important traditional fields of mathematical logic such as proof theory, model theory, set theory, lambda-calculus (typed and untyped), intuitionistic logic and modal logics. The students get acquainted with respective formalisms and learn fundamental results and techniques in these areas.

After completion of this module, the students have fundamental knowledge about results and techniques in selected topics, and master the subject at a level such that they are able to understand and follow research issues in the area, and that they are able to formulate and investigate research tasks appropriate for a master thesis.

Module Form of Teaching and Education:
This module contains lectures, laboratory classes, tutorials and seminars of a total extent of at least 100 hours, in addition to the student's private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic and basic knowledge of algebra and set theory are required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Logics and Languages for Software Reliability and Security
Advanced Module

Module Number:
EMCL-A-LLSRS

Module Offered by:
NOVA

Module Person in Charge:
Prof. Luís Caires

Module Contents and Qualification Objectives:
The production of software for complex applications, in particular those involving concurrency and security, in which programming errors have serious consequences, has seen some success in the application of formal verification techniques based on model reasoning to establish the correctness of the software.

The purpose of the course is to give an introduction to those techniques. This module is composed by two courses, one focusing on Languages and Models for Concurrency and Security, and other on Logics for Specification and Verification. The first course focuses presents some fundamental models of concurrent and secure systems, based on process algebras, and associated analysis techniques. The second course focuses on the use of logic as a language for both specification and verification, with some emphasis on temporal logics. Both modules will cover the use of by tools to support the analysis of specifications and the of verification of concrete systems.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of at least 120 hours. Additional private study is required.

Module Courses:
Languages and Models for Concurrency and Security (60 hours), Logics for Specification and Verification (60 hours).

Module Prerequisites for Participation:
Sucessful passing of the basic modules.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters

Modeling and Verification
Advanced Module

Module Number:
EMCL-A-MV

Module Offered by:
TUD, TUW

Module Person in Charge:
Prof. Christel Baier (TUD), Prof. Helmut Veith (TUW)

Module Contents and Qualification Objectives:
The module addresses modeling techniques for complex systems, temporal and other program logics for specifying functional and quantitative requirements, and corresponding verification techniques.

The students learn the theoretical foundations of formal verification (model checking, interactive theorem proving) and get a deep understanding of the design, implementation and application of verification tools.

Module Form of Teaching and Education:
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Amongst basic knowledge of computer science and mathematics comprehensive knowledge of logic is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered every academic year.

Module Duration:
This module may be studied during 2 semesters.

Natural Language Processing and Automata
Advanced Module

Module Number:
EMCL-A-NLPA

Module Offered by:
TUD

Module Person in Charge:
Prof. Heiko Vogler

Module Contents and Qualification Objectives:
This module covers the spectrum from natural language processing to automata theory. The main focus is on syntax-based statistical methods of machine translation, which are increasingly incorporated into well-known commercial systems such as Google Translate. It is investigated how these methods profit (and might profit) from the theory of tree automata and from equivalent formalisms.

Students who pass this module will be proficient in the foundations of syntax-based statistical machine translation and will be able to apply and evaluate formal models of automata theory in that area.

Module Form of Teaching and Education:
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of automata, formal languages and computability on computer science bachelor level is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The module examination consists of an oral examination.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the oral examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Ontology and Database Systems
Advanced Module

Module Number:
EMCL-A-ODS

Module Offered by:
unibz

Module Person in Charge:
Prof. Enrico Franconi

Module Contents and Qualification Objectives:
Research on ontologies is focussed on logic-based formalisms providing powerful deduction services with expressive conceptual languages and with high computational complexity. In contrast, database research deals with efficient storage and retrieval of large amounts of documents with simple languages. The module introduces current logic-based approaches trying to merge the two disciplines: formalisms and technologies related to problems concerning Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Database Theory, Information Integration, Peer to Peer Information Systems.

The main objective is that upon completion of this module, students have a detailed understanding of how knowledge is formalized and processed in ontology research using description logics, and of problems and issues that have to be respected. They furthermore will have acquired skills in designing, formally specifying, and realizing techniques of conceptual design, database access and integration.

Module Form of Teaching and Education:
This module contains lectures, tutorials, and seminars of a total extent of at least 108 hours depending on the student's choice as well as the private studies.

Module Courses:
Knowledge Representation and Ontologies (72 hours), Information Integration (36 hours).

Module Prerequisites for Participation:
Basic knowledge of logic, complexity, databases, and mathematics on a computer science bachelor level is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The respective credits are acquired by successfully passing the course examinations.

Module Credits and Marks:
With this module 12 credits will be acquired. The final mark given for the module results from the arithmetical mean of the marks obtained in each of the course examinations.

Module Frequency:
This module is offered every academic year in the summer semester.

Module Duration:
The module shall be studied within one semester.

Principles of Computation
Advanced Module

Module Number:
EMCL-A-PC

Module Offered by:
unibz, TUW

Module Person in Charge:
Prof. Diego Calvanese (unibz), Prof. Thomas Eiter (TUW)

Module Contents and Qualification Objectives:

This module deals with the theoretical foundations of computation. It aims at getting acquaintance with abstract, mathematical models of computation, and the use of such models for assessing the ability to solve computational problems, by identifying both the intrinsic limitations of computing devices, and the practical limitations due to limited availability of resources.

To this end the module covers in its core theory of computability including models of computation, computable functions, recursion theory, limits of solvability, as well as computational complexity theory, including complexity measures, complexity classes, problem reduction and completeness. Topical aspects (e.g., emerging models of computation, applications in computational logic, or advanced algorithmic techniques) allow to gain additional knowledge and skills.

The main objective is that after completing this module, the students have a deep understanding of the theoretical foundations and the limits of computation. They also have a solid knowledge of complexity theory, which they can apply to establish complexity bounds and characterizations of computational problems in applications, and to develop algorithms for the solution of such problems. A further objective is that the students are able to reason and prove properties about computations in a precise, formal, abstract way.

Module Form of Teaching and Education:
This module contains lectures, tutorials, and seminars of a total extent of at least 108 hours depending on the student's choice as well as the private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge of automata, formal languages, mathematics, and analysis of algorithms at computer science bachelor level is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination on the dedicated EMCL web pages.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Principles of Data Management
Advanced Module

Module Number:
EMCL-A-PDM

Module Offered by:
unibz

Module Person in Charge:
Prof. Enrico Franconi

Module Contents and Qualification Objectives:
This module aims to provide students with a detailed theoretical and practical knowledge of intelligent access and management of data. The module present advanced topics on database systems management as conceptual modeling and advanced data models.

After the completion of the module students will have a deeper understanding of the use of advanced formalisms which underpin the development and use of databases. In particular, they'll learn how to additional conceptual modelling methodologies beside the standard UML and ER design. In addition they will be able to leverage advanced data models which go beyond the standard relational model.

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.

Module Courses:
Conceptual Modeling for Information Systems (36 hours), XML Data Management (36 hours), Temporal and Spatial Databases (36 hours)

Module Prerequisites for Participation:
The respective credits are acquired by successfully passing the course examinations.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark of the examination.

Module Frequency:
This module is offered in the winter term of every academic year.

Module Duration:
This module is offered every academic year beginning in the winter semester.

Principles of Inference
Advanced Module

Module Number:
EMCL-A-PI

Module Offered by:
TUD, TUW

Module Person in Charge:
Prof. Steffen Hölldobler (TUD), Prof. Alexander Leitsch (TUW)

Module Contents and Qualification Objectives:
The module contains selected principles of inference applied in automatic or semi-automatic proof and inference systems ranging from logic and calculus over data structures, strategies and heuristics to implementations and applications. These principles are term rewriting, unification and resolution for classical logic, calculi for higher-order and intuitionistic logic, probabilistic reasoning and automated deduction in nonclassical logics.

After completion of the module students have an in depth understanding of the development, implementation and application of inference techniques.

Module Form of Teaching and Education:
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic and formal languages is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The form of examination is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Semantic Technologies
Advanced Module

Module Number:
EMCL-A-ST

Module Offered by:
unibz, NOVA

Module Person in Charge:
Dr. Giuseppe Pirrò (unibz), Prof. Carlos Viegas Damásio (NOVA)

Module Contents and Qualification Objectives:
The aim of the module is to make the students familiar with the use of semantic based technologies for building information systems. In particular the module is focused on the so called Semantic Web; by presenting technologies and applications centred on Semantic Web technologies. The module will focus on the theoretical background of various languages on the Semantic Web such as RDF, SPARQL, OWL, and F-Logic (Programming), and the practical use of these languages on the Semantic Web. In addition, the course will focus on important application areas for Semantic Web technology, namely Web Services and Life Sciences.

After the completion of this course, students will be familiar with technologies and formalisms which underpins the Semantic Web. Moreover, they will able to apply them in order to build semantically rich applications. In addition, students will have the possibility to complement their knowledge of Semantic Web by studying semantic based approaches to closely related research areas (e.g. Computational Linguistics).

Module Form of Teaching and Education:
This module consists of lectures and tutorials of a total extent of at least 108 hours. Additional private study is required.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The successful completion of the basic modules

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are acquired by successfully passing the course and practical work examinations. The exact form of assessment is announced at the beginning of each semester on the dedicated EMCL web pages.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Theoretical Computer Science and Logic
Advanced Module

Module Number:
EMCL-A-TCSL

Module Offered by:
TUD

Module Person in Charge:
Prof. Franz Baader

Module Contents and Qualification Objectives:
The content of this module comprises selected techniques of Theoretical Computer Science (like automata, decidability and complexity results, term rewriting techniques) as well as their application for the analysis of formal properties (like axiomatizations, proof-theoretic properties, design of inference algorithms and analysis of their properties) of logics (like temporal logics, description logics, monadic second-order logic).

After completion of the module the students have a deep and practically applicable knowledge of the methods from Theoretical Computer Science that are relevant for application in logic, as well as a good understanding of formal properties of various logics.

Module Form of Teaching and Education:
This module contains lectures, tutorials, seminars or practicals of a total extent of at least 120 hours in dependence of the student's choice as well as the private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Comprehensive knowledge of logic as well as basic knowledge in the areas of automata theory, computability and complexity is required.

Module Usability:
This is one of the advanced modules of which three are obligatory.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The module examination consists of an oral examination.

Module Credits and Marks:
With this module 12 credits can be acquired. The mark of the module is the mark obtained in the oral examination.

Module Frequency:
This module is offered every academic year beginning in the winter semester.

Module Duration:
This module may be studied during 2 semesters.

Project
Project Module

Module Number:
EMCL-P

Module Offered by:
unibz, TUD, TUW, NOVA, NICTA

Module Person in Charge:
Head of the study course at each partner institution

Module Contents and Qualification Objectives:
The module requires the solution of a simple scientific problem from the field of Computational Logic including an oral and written presentation of the problem, the state of the art in the underlying sub-field and the proposed solution as well as its defense.

After completion of the module students are able to analyze a simple scientific problem, to relate the problem to the state of the art in the underlying sub-field, to solve the problem, to present the problem, the state of the art as well as the solution in written form as well as in an oral presentation, and to defend their claims.

Module Form of Teaching and Education:
54 hours of practicals, private studies.

Module Courses:
The courses assigned to this module are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
The knowledge from the basic modules is required.

Module Usability:
The module provides qualification for the master thesis.

Module Prerequisites for Allocation of Credits:
The credits are given, if the module examination has been passed. The module examination consists of doing a project work and its defense. The defense consists of a presentation followed by a discussion of the presentation.

Module Credits and Marks:
With this module 16 credits can be acquired. The mark of the module arises from the arithmetical mean of the marks of each examination with usage of the following weight: project work with factor 6, presentation and discussion with factor 1 each.

Module Frequency:
This module is offered in every semester.

Module Duration:
This module shall be studied within one semester.

Presentation and Communication Skills
Seminar Module

Module Number:
EMCL-PCS

Module Offered by:
unibz, TUD, TUW, NOVA

Module Person in Charge:
Head of the study course at each partner institution.

Module Contents and Qualification Objectives:
The seminar requires students to read, understand, present and discuss scientific papers, articles and books in selected areas of Computational Logic.

After completion of the module students are able to present and to discuss scientific achievements.

The language course shall teach basics of the language of the country of the host university and the students shall acquire enough skills for coping with simple everyday challenges of communication in the language of their host country.

Module Form of Teaching and Education:
A seminar, and either a language course or an English academic writing course or a second seminar as well as private studies.

Module Courses:
The seminars and language courses are announced at the beginning of each semester on the dedicated EMCL web pages.

Module Prerequisites for Participation:
Basic knowledge in Computational Logic as for example taught in the basic modules is required.

Module Usability:
This module provides qualification for the project module and the defense of the master thesis.

Module Prerequisites for Allocation of Credits:
The credits are given if the module examination has been passed. The module examination consists of a seminar examination consisting of the presentation of scientific articles followed by a discussion of the presentation and a language examination or an academic writing examination or a second seminar examination corresponding to the language course or the academic writing course or the selected second seminar.

Module Credits and Marks:
With this module 4 credits can be acquired. The mark of the module is the mark of the seminar examination or results from the arithmetical mean of the marks obtained in two seminar examinations. Up to 2 credits obtained at one partner university will be accepted by another partner university.

Module Frequency:
This module is offered every semester.

Module Duration:
This module shall be studied within one year.


3.34.2 Supplement 2: Mapping of Modules onto Semesters




Module Key

Module Name / Master Thesis 1. Sem. 2. Sem. 3. Sem. 4. Sem. ETCS

MCL-F

Foundations X 9
MCL-LCP Logic and Constraint Programming X 9
MCL-AL Advanced Logics X 8
MCL-ILS Integrated Logic Systems X 8
MCL-PCS Presentation and Communication Skills X X 4
MCL-P Project X 16
Advanced Module 1 X 12
Advanced Module 2 X 12
Advanced Module 3 X 12
Master Thesis (M.T.) M.T. 30
ETCS 30 30 30 30 120



The Advanced Modules 1-3 must be selected from the list given in Supplement 1 (see 3.34.1) w.r.t. the partner university where a student is studying in the respective term



3.34.3 Supplement 3: Conversions of Gradings




Conversion of local grades of unibz, TUW and NOVA into TUD's grading system which shall serve as common grading system for EMCL.



unibz TUW NOVA TUD
30-31 1 19-20 $ \rightarrow$1.0
29 18 $ \rightarrow$1.3
28 17 $ \rightarrow$1.7
27 2 16 $ \rightarrow$2.0
26 15 $ \rightarrow$2.3
25 14 $ \rightarrow$2.7
24 3 13 $ \rightarrow$3.0
22-23 12 $ \rightarrow$3.3
20-21 11 $ \rightarrow$3.7
18-19 4 10 $ \rightarrow$ 4
1-17 5 1-9 $ \rightarrow$5


4 Decisions by the Joint Commission
(is to be updated in the course of the study program)


4.1 Updates of past decisions

The original version is placed in Section 5.11

1.2014 First Semester and Second Semester Waivers [*]

2.2014 Module Description (additional section) [*]

3.2014 Places available in 2014 4.9.2

5.2014 (by email) JMC Acknowledgement (additional section) 4.10.2

6.2014 (by email) Placement of Second Year Students 4.9.2

7.2014 (changed by the CL secretary) Tuition fee waiver
To reduce the administrative burden students need not to apply for a tuition fee waiver if he/she completes the EMCL studies within the grace period (update in August 2014)
Registration 4.7
Graduation within the grace period [*]
Master thesis procedure 4.10.1

8.2014 (by email) Earlier JMC approval 4.10.1, changed initiation 4.10.2, and new rules for reports for the Master defence 4.10.1

1.2015 Places available in 2015 4.9.2

2.2015 (application by Sergio Tessaris) Tuition fee waiver
Third, Forth Semester and Beyond, paragraf 4 [*]

3.2015 (application by Sergio Tessaris) Summer School support
Appplication for support, paragraf 4 4.14.1

4.2015 Date of application for NICTA project 4.9.3

5.2015 Distribution of the lump sum between the partners (1st installment, SGA 2015) 4.16

1.2016 Placement of 2nd year students 4.9.2

3.2016/3.1.2016 Distribution of the lump sum between the partners (2nd installment, SGA 2015) 4.16

4.2016 2nd year places available in 2016 4.9.2

5.2016 Transcript of records for unibz (additional decision)
Every PU should send a list of all passed module exams to the SCIS (TUD) until 15th November each year. The SCIS forwards the updated transcript of records to unibz until December.

6.2016 Small grants for students of batch 20164.17

7.2016 Decisions on tuition fee waivers, first year [*], second year and beyond [*]

1.2017 Tuition fee for all students who register for the Winter term 2017/18 or later: 450 EUR. The fee is collected by unibz each semester.

2.2017 The Joint Curriculum will be changed for students who start the program in Winter term 2017/18.

3.2017 The Joint Commission provides two scholarships each amounting to 4800 EUR for students of the batch 2017. The remaining funds originally collected for the batch 2016 are going to be used.


4.2 Local Master Programs

The European Master's Program is based on the following local master programs:

unibz European Masters Program in Computational Logic
TUD International MSc. Program in Computational Logic
TUW European Masters Program in Computational Logic
NOVA Mestrado em Lógica Computacional


4.3 Requirements in English

We accept students meeting the following requirements or anything equivalent to it:

IELTS $ \geq$ 6
TOEFL $ \geq$ IBT (Institutional Testing Program): 550 or iBT (internet-based): 79


4.4 Application and Evaluation


4.4.1 Application Form

All applicants must submit the application form (see Section 5.1) together with the requested documents. Detailed information on the application procedure is available from this web page:
http://www.emcl-study.eu/application.html


4.4.2 Application Deadlines

There are two deadlines:
Applications for the EMCL program and the Erasmus Mundus Scholarship program: 31 January
Applications for the EMCL program without scholarship: 31 May.


4.4.3 Evaluation

last update on 14 January acc. to the JC decision by email on 12 June 2013

Students are selected on the basis of the following rules:

  1. For each student his/her achievements with respect to the criteria ``undergraduate education'', ``logic'', ``theoretical computer science'' , ``artificial intelligence'' and ``declarative programming'' are evaluated using the labels ``++'', ``+'', ``0'' and ``-'' with the ordering $ ++ \succ + \succ 0 \succ -$.

  2. Applicants are ranked with respect to the above mentioned ordering, where the achievements in their undergraduate education are stronger rated than the achievements in logic, which are stronger rated than the achievements in theoretical computer science, which are stronger rated than the achievements in artificial intelligence, which are stronger rated than the achievements in declarative programming.

  3. If two applicants are equal, then they are ranked according to their proficiency in English.

  4. Applicants with ``0'' or less in their undergraduate education and in logic are rejected.


4.5 Start Dates

The start dates are as follows:

First semester TUD October 1
Second semester unibz March 1
Third semester unibz October 1
TUD October 1
NOVA 3rd week of September
TUW October 1
Fourth semester unibz last week of February
TUD April 1
NOVA 3rd week of February
TUW March 1

Within the semesters, lecturing and examination periods are defined each year by the local authorities.


4.6 Fees

All registered students: 450 EUR per semester (JC-decision: 1/2017)
EU-students: 500 EUR per semester (until Summer semester 2017)
Non-EU-students: 1500 EUR per semester (until Summer semester 2017)


4.7 Registration

To be registered to the EMCL-program students must transfer the tuition fee to unibz (see Section 4.6) and the respective social fee (see Section 5.8.2) to TUD each semester. In addition, students must register at the partner university where they are currently studying.
New students must additionally transfer the unibz social fee amount to unibz for the first semester.


4.8 Performance and Ranking of Enrolled Students


4.8.1 Ranking of Students

Enrolled students are ranked by the number of completed modules and the marks obtained as follows:

(with $ \mathcal{M}$ the set of completed modules):

$\displaystyle \frac{{\strut} \sum_{m\in\mathcal{M}} (\mathit{credits} (m) * \mathit{mark} (m)) }{ \sum_{m\in\mathcal{M}} \mathit{credits} (m) }$


4.8.2 Underperforming Students

A student is considered to be underperforming if he/she has obtained less than

  • 12 crs after the first semester,
  • 34 crs after the second semester,
  • 56 crs after the third semester,
  • 78 crs after the forth semester.


4.9 Placement


4.9.1 Placement of First Year Students

  1. All students study their first semester at TUD.
  2. All students study their second semester at unibz.


4.9.2 Placement of Second Year Students

JC decision: 1.2016 (valid from the batch 2016 onwards)

  1. The Joint Commission determines for each partner university a certain number of free places.

  2. Each student applies to the CL secretary with his/her first and second choice concerning the 2nd year university until 10 March. Before, he/she should make sure that the SCIS received all data related the exams passed in the first semester. Erasmus Mundus grant holders who received his/her latest university degree in Germany or Italy cannot study at TUD or unibz during the second year.

  3. The ranking for the placement for the 2nd year university is obtained by averaging the results of the mandatory basic modules. In case two students are equally ranked, additional marks of advanced modules will be taken into consideration.

  4. Students are placed in the order of the above mentioned ranking preferring the first over the second choice until all free places are given away.

  5. If a partner university does not obtain at least 3 students this way, then it may decide not to open the 2nd year and the students having opted for this partner university must go back to step 2.

JC decision: 4.2016
In 2016 there are 3 places at TUD, 5 places at NOVA, 3 places at unibz and 5 places at TUW.


4.9.3 Projects at Data61

Students can do their project work at Data61 between the first and second year of the course. The stay at Data61 should be finished BY THE END OF October.

  1. Interested students must find a local supervisor at Data61 AND a supervisor at the second year university who jointly supervise the project topic.
  2. Information on project topics, contacts and visa application is provided by Data61 on request 1.2.5.
  3. Students must inform the EMCL secretary by email on the period of the stay, the subject of the project work and the names of both supervisors UNTIL 31 MARCH.
  4. Students must apply for the visa on time. Data61 staff may support this procedure. For further contact information see section 1.2.5.
  5. The project work must be defended at the second year university. After successful defence students will get 16 ECTS credits.
  6. Additional financial support may be granted to students from European countries without the Erasmus+ grant, only.
  7. Students must conclude a related health insurance contract (see section 5.7.1)
European students who do not receive an Erasmus+ Erasmus Mundus grant
may apply for a financial support amounting to 3000 EUR to the EMCL secretary until 31 March. The application must contain the transcript of records issued by the SCIS, the planned period of the stay, the names of both supervisors as well as subject and abstract of the project work.
The JC will decide about the application based on the applicant's study performance, the quality of the proposed project work and the availability of sufficient funds.


4.10 Master Thesis Procedure


4.10.1 Master thesis procedure

The agreed rules are explained in detail in the section Master Thesis (see 3.26).

  • $ X=$Start of the thesis project
    The supervisor or the local administration informs the Service Center for International Students (SCIS) on the date of beginning, the preliminary subject of the thesis and the name of the student by email.

  • $ X+10$weeks(within): Approval of the JMC
    The approval of the JMC is initiated upon request of a local coordinator.

  • $ Y=X+23$weeks(within): Submission of the master thesis
    The student submits to SCIS (if not indicated otherwise)
    • an electronic copy of his/her thesis to the Joint Master Commission (JMC) and SCIS,
    • his/her thesis in printed form to the PU where he/she is defending,
    • a signed declaration that he/she has written their thesis on his/her own,
    • a signed declaration that he/she used only the references and auxiliary means indicated in the thesis,
    • up-to-date transript of records,
    • prospective composition of the JMC as agreed upon with his/her supervisor (see Section 3.26, (5)).
    • Alternatively, the student applies for an extension.

  • $ Y+1$week(approx): SCIS checks admission requirements
    SCIS informs the student and the supervisor about missing documents.

  • $ Y+2$weeks(approx): Confirmation by the JC and local authorities
    The supervisor applies the composition of the JMC to the JC and the coordinator informs SCIS on the JC's decision by email.

  • $ Y+4$weeks(approx): Evaluation of the master thesis
    • At least two members of the JMC send reports including marks to the supervisor (see Section 3.26). The reports must be signed and printed on a letter showing the official letterhead. It should also be stated explicitly somewhere in the letterhead that the writer of the report is a professor or a lecturer.
    • The supervisor informs SCIS and the student on acceptance/rejection and calculates the final mark for the submitted thesis (see Section 3.26,(8)).
    • The student sends missing documents to SCIS.

  • $ Y+5$weeks(approx): Defense of the master thesis
    The admission to the defense of the thesis is possible after official registration at TUD, only!
    1. If the student is not able to defend his/her thesis by 30 March/30 September at the latest he/she must register at TUD for the upcoming semester again and pay the TUD semester social fee. After payment, he/she is allowed to complete the studies within a grace period until 15 April/ 15 October. The tuition fee will be waived if the student follows the instructions (see: Section [*]).

    2. If the student submits his/her thesis by 15 September/15 March and the JMC is not able to graduate him/her by 15 October/15 April the tuition fee for the upcoming semester will be waived provided the delay is not the student's fault and the student follows the instructions (see Section [*]). However, the student must register at TUD for the upcoming semester again and pay the TUD semester social fee.

    • The supervisor informs SCIS on the date of defense.
    • SCIS sends the protocol to the supervisor.
    • Defense of the thesis.
    • The mark for the defense is determined.
    • The supervisor calculates the final mark for the master thesis (see Section 3.26, (11)), informs the student and sends the completed protocol to SCIS by mail.

  • $ Y+2$weeks(approx): Extension of the thesis work
    Requests for extensions are decided locally at the PU where the student studies.
    • The extension period must be less than or equal 13 weeks.
    • The supervisor informs SCIS on acceptance/rejection of the request.
    • If accepted, then $ Ynew:=X+23weeks+extension(within)$.


4.10.2 JMC acknowledgement

JC decision: 5.2014 (by email)

If a JMC is proposed by the coordinator and no member of the JC objects against the proposal within five working days, the proposal is accepted.
JC decision: 8.2014 (by email)

The JMC is initiated by the coordinator upon request by a local coordinator.


4.11 Monitoring of Students

  1. The EMCL secretary collects the number of earned crs from all students at the end of each semester.

  2. Monitoring of students is done by the local coordinators.
    1. They report underperforming students to the coordinator by the end of March/September each year.
    2. The coordinator informs the Joint Commission.
    3. The Joint Commission decides whether underperforming students shall be allowed to continue.


4.12 Evaluation and Quality Assurance

  1. Local evaluation of the local master program according to the local rules and regulations (open house, questionnaires, teaching reports).
  2. Accreditation of the local master programs according to the local rules and regulations.
  3. Evaluation of the integrated European Master's Program in Computational Logic by questionnaires (handed out to graduates) and discussion within the Joint Commission (including invited representatives of the students).
  4. External evaluation of the European Master's Program in Computational Logic by the advisory board.


4.13 Advisory Board

  1. Dr. Stefanus Lim Yohanes (University of Indonesia at Jakarta)

  2. Dr. Mats Carlsson (Swedish Institute of Computer Science)

  3. Professor Alex Borgida (Rutgers University, USA)

  4. Professor Frédéric Benhamou (University of Nantes, France)


4.14 Financial Support


4.14.1 Support of Summer Schools

  1. The Joint Commission will earmark a certain amount of money to support students attending selected summer schools with a sum up to max 500 EUR.

  2. A list of selected summer schools will be published on the course web sides. (see Subsection 5.5)

  3. Students are eligible for support if they are in their first or second year and are not underperforming (see Section 4.8).

  4. Students must apply for this support by email to the EMCL secretary until 10 March and send a dated and signed self-declaration confirming

    • the name of the requested summer school
    • a list of modules which were successfully completed including the final marks AND the credit points received, and
    • a list of courses (including marks and either credit points or hours per week) which were successfully completed so far and which are not yet assigned to modules.

  5. Support will be given to the best ranked students (see Section 4.8) once during the whole study period. If the application has been accepted, the expenses can be reimbursed up to a max. sum of 500 EUR according to the receipts. This does not concern expenses for food etc. and social events. The following documents must be sent to the EMCL secretary:
    • overview of the expenses
    • receipts related to travel, accommodation and registration
    • proof of attendance
    • completed bank data form.

  6. NOTE: The amount will be reduced if the student returns before the official end of the summer school.


4.14.2 Support of the EMCL students' workshop

The Joint Commission supports students attending EMCL students' workshops with a lump sum of 200 EUR twice during the period of study. The lump sum covers partially the travel and accommodation costs. The amount will be reimbursed after the official confirmation of the students' attendance by the local organizer.

Students who study at the organizing university cannot apply for the lump sum.


4.14.3 Support of the participation in conferences

  1. The Joint Commission pays a lump sum to students presenting a paper at a conference.
  2. Students must apply for the support to the EMCL secretary providing the following information/documents:
    • the draft of the paper (pdf.file), the paper must contain the remark: "The author was supported by the European Master's Program in Computational Logic (EMCL)" (in the context of the acknowledgments or as footnote),
    • the link of the conference homepage,
    • cost calculation (students' social fee, accommodation costs, travel costs etc.)
    • financial support (amount in EUR) from other sources available.
  3. If the application has been accepted, the following documents must be sent to the EMCL secretary. Note: students will get max. 60 % of the cost calculation:
    • certification of acceptance of the paper,
    • student's official statement that he/she presented the paper at the conference,
    • travel tickets, accommodation bill, receipt of payment of the registration fee etc,
    • student's confirmation that he/she gives the Joint Commission the right to announce the paper or a corresponding link on the EMCL web pages.


4.15 Erasmus+ scholarship for the study at the partner university

A limited number of Erasmus+ scholarships of about 220 EUR per month is available for each partner university related to the second year of study. Students can apply for this scholarship to unibz or to TUD after the first semester considering the follwoing deadlines:
unibz: 15 March
https://www.unibz.it/en/applicants/exchange-programmes/erasmus-student-mobility-for-studies/
TUD: 31 March
see Section 5.4


4.16 Distribution of Lump Sum

JC decision: 3.2016 and 3.1.2016 (by email on 17 March 2016)
After scholars'nomination, the Joint Commission decided on the distribution of the remaining lump sum (SGA 2015) as follows:

  • The JC will finance 12 scholars' weeks (12.000 EUR).
  • Each PU will receive 3.200 EUR.

JC decision: 5.2015
From the Special EACEA Agreement (SGA) 2015 the lump sum amounting to 50.000 EUR will be used/distributed as follows:

  • TUD as coordinating institution will receive 10.000 EUR in the first year.
  • Each consortium university including NICTA will receive 3.000 EUR in the first year.
  • Incoming and Outgoing scholars/guest lecturers will receive 1.000 EUR per week. As minimum 4 different scholars must be paid for at least 8 weeks in total.
  • The Agency will reduce the amount of the lump sum by 1950 EUR for each scholar week not duly carried out and/or reported!

Distribution of the lump sum until SGA 2014
Lump sum of 30.000 EUR as follows: 14.000 EUR will be given to the coordinating institution and 16.000 EUR will be divided evenly among the other four partner institutions, i.e., each of them will receive 4.000 EUR.


4.17 Scholarship Scheme

  • Small grants
    for the best candidates applied for the program starting in October 2017 (JC decision 3.2017):
    There will be a limited number of small grants (24 x 200) for a period of two years available.

  • Several scholarships from 1.840 EUR to 2.840 EUR are available, depending on the choice of the second year specialisation. Applications will be submitted by students once they have been assigned their second year stay.

  • The Free University of Bozen-Bolzano offers additional grants:
    Students may get a scholarship to do their second year project and/or their thesis at the nearby universities Leopold-Franzens Universität Innsbruck, Austria, and Universita degli Studi di Trento, Italy.
    Citizens from the European Union, or non-EU citizens with residence in the province of Bozen-Bolzano for at least one year, can apply for a scholarship up to 5.400 EUR granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife.
    Applications must be submitted to unibz!

  • Erasmus+: Erasmus Mundus scholarship
    for students starting in October 2015:
    There was a limited number of Erasmus+: Erasmus Mundus grants available (see Section 5.3.1) for students of the batch 2015.


5 Appendix
(is to be updated in the course of the study program)


5.1 Application Form


5.1.1 Application Form

This is the form to be used by students who have been already placed to the Erasmus+ grant main or reserve list. Available as PDF Document: pdf/EMCL-WITH-GRANT.pdf

This is the form to be used by students without Erasmus+ grant offer. Available as PDF Document: pdf/MCL-EMCL-NO-GRANT.pdf


5.2 Residence Place Form

This form has to be completed by applicants already placed on the main / reserve Erasmus+ scholarship lists, ONLY! Available as PDF Document: pdf/form_residence_place.pdf


5.3 Erasmus+: Erasmus Mundus Scholarship Program


5.3.1 Students

A limited number of Erasmus+: Erasmus Mundus grants for students from Programme countries and Partner countries provided by the European Commission was available in 2015.
Scholarships for students from Programme Countries
Candidates who come from the member states of the European Union or from Iceland, Liechtenstein, Norway, Switzerland, Turkey, the Former Yugoslav, Republic of Macedonia will be considered as candidates from PROGRAMME Countries.

Grant information:

  1. Participation Costs (see Section 5.8): up to 4500 EUR per year
  2. Travel Costs: 1000 EUR per year (depending on the residence place at the moment of application)
  3. Monthly allowance: 1000 EUR per month (max. 24000 EUR in total)

Scholarships for students from Partner Countries
Candidates whose nationality is NOT one of the Programme Countries AND who are not residents nor have carried out their main activity (studies, training or work) for more than a total of 12 months over the last five years (deadline is 31 January 2015) in a Programme Country will be considered as candidates from PARTNER Countries.

Grant information:

  1. Participation Costs (see Section 5.8): up to 9000 EUR per year
  2. Travel Costs: between 2000 and 3000 EUR per year (depending on the residence place at the moment of application)
  3. Installation costs: 1000 EUR (depending on the residence place at the moment of application)
  4. Monthly allowance: 1000 EUR per month (max. 24000 EUR in total)

The contribution to the travel costs and installation costs depends on the applicant's residence place at the moment of application.
More information on the scholarship program is provided by the Erasmus+ Programme Guide, especially pages 24 - 25 (information on Programme countries and Partner countriese) and pages 101 - 102 (Eligibility and Scholarship calculation)
http://ec.europa.eu/programmes/erasmus-plus/discover/guide/index_en.htm

Applicants must apply via the online application system in the period from 15 November 2014 to 31 January 2015.


5.3.2 Scholars

Scholars' mobility is possible in the following cases:

  • mobility between the partners of the consortium (including to/from Data61),
  • mobility from outside the consortium, in case such mobility is clearly linked to EMCL.

JC decision: 3.2015: Updated Rules:

  1. The Joint Commission selects and engages at least 4 different scholars/guest lecturers for a minimum of 8 weeks in total per intake (special EACEA agreement (SGA)).
  2. A ''week'' is defined as minimum 4 out of 7 consecutive calendar days. It is not possible to consider 8 consecutive days as 2 weeks!
  3. All stays must be clearly linked to the EMCL program and the scholars/guest lecturers must bring concrete added value to the delivery of the European Master's Program (teaching, research, promotion activities...) at the hosting university.
  4. Scholars/Guest lecturers paid by another EU funding scheme are not eligible nor can be reported as EMCL scholar.
  5. Scholars/Guest lecturers must sign a contract (see section 5.9.3) and send an activity report (explaining the EMCL related activities) to the CL secretary within three weeks after the end of the stay.
  6. The Joint Commission decided to pay 1000 EUR per week to the scholar/guest lecturer as contribution to the travel and installation costs.
  7. The payment of the installments will start after receipt of a copy of the tickets and the signed contract but at the earliest one week before the beginning of the stay.

General information valid until SGA 2014:

  1. Scholars must stay between (min) two weeks and can stay (max) three months. The grant for two weeks is 2400 EUR, the max grant is 14400 EUR (12 weeks).
  2. Scholars must bring concrete added value to the delivery of the European Master's Program (teaching, research, promotion activities...) at the hosting university.
  3. Third country scholars must be currently enrolled in a third country Higher Education Insitution and must be selected by the Joint Commission.
  4. European scholars must be enrolled in one of the participating partner universities and can only travel to NICTA if EMCL students of the related batch do their project work there.
  5. Scholars must sign a contract (see section 5.9.2) and send a report to the CL secretary within three weeks after the end of the stay.
  6. The payment of monthly installments will start after receipt of a copy of the tickets and the signed contract but at the earliest one week before the beginning of the stay.
  7. The number of scholarships available is fixed in the special European Commission (EC) agreement and always concerns a period of two years. The first period will end on 30 September 2013, the last one on 30 September 2017.
must bring concrete added value to the delivery of the European Master's Program (teaching, research, promotion activities...) at the hosting university

Selection rules valid until SGA 2014:

  1. The scholarships for European candidates are ONLY provided if Category B scholarship holders do their project work at NICTA. This concerns the period of the related special EACEA agreement.

  2. The partner universities must sent their proposals related to scholar's invitations to TUD on request in November.

  3. Applications for stays at NICTA must be sent to the TUD on request in September / October.


5.4 Application to TUD for Erasmus+ scholarships for the second year of study

EMCL students can apply for the Erasmus+ scholarship for the second year of EMCL-study to Technische Universität Dresden until 31 MARCH, if they

  1. have not applied to Free University of Bozen-Bolzano,
  2. will not study at Technische Universität Dresden during the second year,
  3. have not received this grant before.
Contact person at TUD is Dr. Holger Heidrich (erasmus-informatik@mailbox.tu-dresden.de).
All information on the Erasmus+ grant procedure is available from this web page:
https://tu-dresden.de/ing/informatik/studium/internationales/outgoing/bewerbung.
The following completed and signed documents are required:
  • Online Application Form.
  • Learning Agreement (the form will be provided by the CL-secretary on request).
  • Latest transcript of records (available from the SCIS).
  • After Acceptance: The online form 'Declaration of Acceptance'.


5.5 List of Supported Summer Schools

The JC supports students who attend one of the following Summer Schools in 2017 (final update on 2 March 2017), according to the JC-decisions on 20 February 2017:

  1. ICCL Summer School 2017
    https://iccl.inf.tu-dresden.de/web/SummerSchool2017

  2. ESSLLI
    https://www.irit.fr/esslli2017/

  3. Utrecht Summer School
    http://www.utrechtsummerschool.nl/

  4. Interdisciplinary College 2017
    http://www.interdisciplinary-college.de/

  5. 7th Lisbon Machine Learning School
    http://lxmls.it.pt/2017/

  6. The Machine Learning Summer School
    http://mlss.tuebingen.mpg.de/2017/

  7. Summer School on Law and Logic 2017
    http://lawandlogic.org/

  8. Scandinavian Logic Society Summer School in Logic
    http://scandinavianlogic.org/

  9. Summer School in Logic and Formal Epistemology
    http://www.cmu.edu/dietrich/philosophy/undergraduate/summer-school/

  10. Hilbert-Bernays Summer School on Logic and Computation 2017
    https://www.uni-goettingen.de/en/538662.html

  11. Reasoning Web Summer School
    http://2017.ruleml-rr.org/13th-reasoning-web-summer-school-rw-2017/

  12. Nordic Spring School in Logic
    http://scandinavianlogic.org/

In the past years we also funded participation at the following Summer Schools, and would continue to do so. However, we don't know whether they will have an instance in 2017.

  1. International Spring School in Formal Languages and Applications

  2. International ALP/GULP Spring School on Computational Logic (ISCL)

  3. MOVEP

  4. Nordic Spring School in Logic

  5. ACAI Summer School

  6. IEEE Summer School

  7. ACP Summer School

  8. IEEE International Conference on Semantic Computing

  9. LSS: The Logic Summer School at the Australian National

  10. ESWC Summer School

  11. SAT/SMT Summer School

  12. Interdisciplinary School on Applied Ontology

  13. ACP Constraint Programming Summer School

  14. Semantic Web Summer School

  15. Second Summer School on Argumentation: Computational and Linguistic Perspectives

If a student wants to go to another Summer School, then the student should talk to the local coordinator. If the local coordinator approves the choice, then the Summer School will be added to the list.


5.6 Joint Diploma Supplement.

Available as PDF Document: pdf/DiplSuppl_NEU.pdf


5.7 Insurance Scheme


5.7.1 Insurance for Erasmus Mundus scholarship holders

The European Commission requires the consortium to assure the minimum insurance coverage of the scholarship holders. For this reason the consortium takes out an insurance coverage via a statutory health insurance and a combined Health, Accident and Private Personal Liability insurance policy with the 'Dr. Walter insurance company'.
http://www.dr-walter.com/en/index.html
Information on the minimum insurance coverage is provided on this web page:
http://eacea.ec.europa.eu/erasmus_mundus/funding/2010/documents/minimuminsurance_en.pdf
The insurance conditions, the insurance guide and the different claim forms are provided on this web page: http://www.erasmus-mundus-insurance.com/
Pre-existing conditions are excluded.
This insurance contract covers the stay at Data61 (Australia), too.
As soon as students have informed the CL secretary on their departure date a personalised insurance certificate will be issued. It is usually valid until the end of the scholarship period.

Non-European Students up to an age of 30 years must be additionally insured with a German public health insurance company (e. g. the company 'AOK') after their arrival in Dresden. This health insurance contract does not exclude pre-existing conditions.

European students are requested to inform the CL secretary on time whether they will still remain insured via their home country's insurance that will issue the European Health Insurance Card (EHIC) on request.

The insurance period is in accordance with the corresponding scholarship period but max. until 30 November of the 2nd year.
The monthly costs related to both insurance contracts (about 110 EUR ) will be paid by the consortia / reimbursed to the students.

If students cannot finish their studies within the scholarship period they must extend one health insurance contract (Dr. Walter or German public health insurance company) on time. Payment of the monthly installments must be effected by the students.


5.7.2 Use of the EHIC card in the participating countries

All doctors or dentists who are bound by the statutory rates ("Kassenarzt") must recognize the EHIC-card. This regulation does not apply to private doctors! We recommend students to ask the local hosting institution for more information related to the doctors in the hosting city before any medical treatment.

The EHIC card covers the medical services legally established in the related country, only. Consequently, it may happen that e. g. the 'AOK' does not cover the full amount for the medical treatment. In such a case, the scholarship holder must pay the remaining amount by him/herself and may apply for reimbursement to the Dr. Walter GmbH, afterwards. Information and forms related to the Dr. Walter GmbH are provided here:
http://www.erasmus-mundus-insurance.com/

Students are recommended to use the AOK service phone number in case of emergency and further questions: in Germany, 0 800 24 710 01.

Non-Erasmus Mundus grant holders who will travel to Data61, Australia, may contract an additional private health insurance.


5.7.3 Insurance for Students without Erasmus Mundus grant

Information for EU-students
Social Security Agreements have been signed with some countries (including the member states of the EU and the EEA). In such cases, you may, under certain circumstances, remain insured via the health insurance in your country of origin. To do this, you have to present a number of documents in Germany. In most cases, EU nationals have to present a European Health Insurance Card or form E 128 /E 111. Before departing for Germany, please make sure that you find out which papers you have to present. Please also check in advance with your home insurer what benefits it will pay in Germany. Foreign insurance funds or companies do not always cover all the costs that occur here. If this is the case, you may end up having to pay any additional costs yourself https://tu-dresden.de/studium/im-studium/studienorganisation/krankenversicherung

Information for Non-EU-students
Non-EU-students up to an age of 30 years are obliged to take out health insurance with any German public health insurance company (e. g. 'AOK'). It will cost about 80 EUR per month. Before you leave Germany for the second participating country, you must apply for the ''European Health Insurance Card" to this company.
You should discuss any benefits the card provides you with, its validity etc. with the respective agent. Please consider that some chronic diseases etc may not be covered by this card. The respective health insurance company will assist you in finding respective solutions.
https://tu-dresden.de/studium/im-studium/studienorganisation/krankenversicherung

Students elder than 30 years must contract a private health insurance in Germany. It is strongly recommended that students seek advice from any German public insurance agency (for example from the AOK) and compare their offer with a private company, before! This is to be sure that the 'Ausländerbehörde' will accept this insurance. The student must make sure that he/she has chosen a recognized 'unlimited health insurance plan for students' ('Krankenvollversicherung').


5.8 Participation Costs


5.8.1 Tuition Fees

The tuition fee is 450 EUR for all students from Winter semester 2017 (see Section 4.6).


5.8.2 Social Fees

unibz about 145 Euro per year for the Provincial Tax.

TUD

about 260 EUR per semester if TUD is the host university;
about 80 EUR per semester otherwise

NOVA

None

TUW

Student union fee about 27.00 EUR per semester

These amounts may vary each semester.


5.8.3 Insurance Costs

Students will find more information on the insurance costs here: Section 5.7


5.9 Contracts


5.9.1 Student Scholarship Contract

Available as PDF Document: pdf/StudentContract_2013.pdf

Available as PDF Document: pdf/StudentContract_2014.pdf


5.9.2 Scholar Scholarship Contract

Available as PDF Document: pdf/scholar_contract.pdf


5.9.3 Scholar Scholarship Contract 2015

Available as PDF Document: pdf/scholar_contract_2015.pdf


5.10 Visa and Entrance

First year students get the EMCL admission letter from TUD in June /July. Scholarship holders will be provided with an additional scholarship confirmation letter. Students must apply for the German student visa in their home countries. The mentioned letters, the passport and a proof that he/she can finance the period of study are needed for the visa application. Students are not allowed to enter Germany with a tourist visa: The conversion into a visa for study purposes is not possible after entry!

Students are strongly advised to apply at an early stage and to consider that the issue of visa can take more than three months.
http://www.auswaertiges-amt.de/EN/EinreiseUndAufenthalt/Visabestimmungen_node.html

After entering Germany students must register with the Resident's Registration Office (Bürgerbüro). The registration of residence must be completed within 7 days after acquiring a flat or student dormitory room. This also concerns students from European countries.

Students must apply for the extension of the resident's permit (Aufenthaltsbewilligung) to the Foreign Nationals Office (Ausländerbehörde) within 3 months after entering the Federal Republic of Germany.
https://tu-dresden.de/studium/vor-dem-studium/internationales/informationen-von-a-z/ - Register with the Resident's Registration Office

Move to unibz after the first semester:
In order to carry out the enrollment at unibz students must provide a declaration of equivalent value (see: http://www.study-in-italy.it/studying/info-07.html). This document must be applied for in the countries where he/she has received the bachelor degree and submitted to unibz after arrival in February.

After the first semester of study students travel to Bozen-Bolzano with the valid German residence permit and a letter issued by TUD confirming the participation in the EMCL program. Students must apply for the residence permit (permesso di soggiorno) for STUDY purposes in Bozen-Bolzano within the first 8 days after entering Italy. The unibz-International Relations Office supports students regarding this procedure.

Continuation of the study at unibz after the second semester:
If the student continues his/her EMCL studies at unibz in the third/fourth semester he/she has to apply for the Italian residence permit in Bozen-Bolzano on time.

Move to TUD after the second semester:
If the student continues his/her EMCL studies at TUD in the third/fourth semester he/she can enter Germany with the Italian residence permit issued for STUDY purposes if it is still valid. After arrival in Dresden the student must register with the Resident's Registration Office (Einwohnermeldeamt), immediately. The German residence permit must be applied for to the Foreign Nationals Office (Ausländerbehörde) BEFORE the expiry of the Italian residence permit and within 3 months after entering Germany.

Move to TUW or NOVA after the second semester:
Students who study at TUW or NOVA during the third semester must contact respective staff (see Section 1.2) at the partner university in May.


5.11 History of previous decisions by the Joint Commission

Additional decisions are not explained!

1.2014 -- First Year Waivers
First Year
  1. In order to attract students, the Joint Commission will earmark a certain amount of money for waivers for first year students.

  2. All selected students which do not receive a grant from the EU or a comparable grant from other sources are eligible.

  3. Waivers will be given to the eligible students which rank highest with respect to the evaluation.

3.2014 -- Placement of Second Year Students
no record

4.2014 -- Underperforming Students
A student is considered to be underperforming if he/she has obtained less than

  • 12 crs after the first semester,
  • 34 crs after the second semester,
  • 56 crs after the third semester,
  • 78 crs after the forth semester.

6.2014 -- Placement of Second Year Students
The following rules were updated by this decision:

  1. The Joint Commission determines for each partner university a certain number of free places.

  2. Each student applies to TUD - the local coordinator - with his/her choice concerning the 2nd university until 10 March. Before, he/she should make sure that the SCIS received all data related the exams passed in the first semester. Erasmus Mundus grant holders who received his/her latest university degree in Germany or Italy cannot study at TUD or unibz during the second year.

  3. If the local coordinator supports the student's choice, then the student goes to step 4. If the local coordinator does not support the student's wish, then the student forwards his/her wish to the Joint Commission; at the same time, the local coordinator suggests a partner university to which - from his point of view - the student should be sent and states the reasons for his suggestion; it is then up to the Joint Commission to decide.

  4. The student - with the support of TUD - applies to the 2nd university. The university accepts applications based on the above mentioned ranking until all free places are given away. If the university rejects the application, then the student must go back to step 1.

  5. If a partner university does not obtain at least 3 students this way, then it may decide not to open the 2nd year and the students having opted for this partner university must go back to step 2.

1. and 2. 2015 -- Application for Summer School support and Waiver (for second / third year)
The submission of a self-declaration is requested from March 2015. It replaces the SCIS transcript of records.

3.2015 -- Distribution of the lump sum
The Joint Commission decided on the use/distribution of the lump sum amounting to 50.000 EUR from the SGA 2015. It replaces the decision valid until SGA 2014: 14.000 EUR for TUD and 4.000 EUR for each partner university.
This decision was updated by the decision 3.2016.

1.2016 -- Placement of 2nd year students
The JC decided to change the rules for the 2nd year placement. The following rules were valid until the year 2015 (see decision 6.2014):

  1. The Joint Commission determines for each partner university a certain number of free places.
  2. Each student applies to TUD - the local coordinator - with his/her first and second choice concerning the 2nd year university until 10 March. Before, he/she should make sure that the SCIS received all data related the exams passed in the first semester. Erasmus Mundus grant holders who received his/her latest university degree in Germany or Italy cannot study at TUD or unibz during the second year. Students are ranked according to section 4.8.1.
  3. If the local coordinator supports the student's choice, then the student goes to step 4. If the local coordinator does not support the student's wish, then the student forwards his/her wish to the Joint Commission; at the same time, the local coordinator suggests a partner university to which - from his point of view - the student should be sent and states the reasons for his suggestion; it is then up to the Joint Commission to decide.
  4. Students are placed in the order of the above mentioned ranking preferring the first over the second choice until all free places are given away. If not all students can be placed in this way, then the procedure is iterated by going back to step 1 for all students which are ranked after the last student which was placed.
  5. If a partner university does not obtain at least 3 students this way, then it may decide not to open the 2nd year and the students having opted for this partner university must go back to step 2.

3.2016 / 3.1.2016 -- update of the Distribution of the Lump Sum
The Joint Commission decided on the rules related to the SGA 2015.

4.2016 -- Update of the 2nd year slots (batch 2015)

6.2016 -- Update: small grants for students (batch 2016)

7.2016 -- Tuition fee waiver
The following rules (valid until Winter semester 2016/17) were updated by this decision: Tuition fee waivers can only be granted if the overall costs for the consortium are neutral. The Joint Commission decides on full waivers.


5.12 Local enrollment procedures


5.12.1 Libera Università di Bolzano-Freie Universität Bozen

A Welcome and Orientation Session is organized at the beginning of the academic year, where European Master students receive all information necessary for studying and living in Bolzano. They officially enroll as European Master student at the Student Secretariat and must pay the respective unibz social fee (see Section 5.8.2) each semester.
For general information on the registration to the EMCL program see Section 4.7

A detailed guide is available on the web pages of the International Relations Office:
http://www.unibz.it/en/students/exchange/Incoming/ErasmusMundus.html

Other useful information can be found on the web pages of the Student Secretariat:
http://www.unibz.it/en/students/studycareer/default.html


5.12.2 Technische Universität Dresden

General
All accepted students will get an admission letter from the International Office where the enrollment procedure is in detailed explained. International students must register at the International Office (Akademisches Auslandsamt) and German students at the Immatrikulationsamt of the Technische Universität Dresden. On enrollment students must present the original Bachelor / Master degree certificate including the reports on university examinations (transcripts) and the original University Entrance Qualification certificate (school leaving certificate). In addition, students must pay the respective TUD social fee (see Section 5.8.2) each semester.
For general information on the registration to the EMCL program see Section 4.7.

Housing
Students should conclude the tenancy agreements until the end of February, only!

Change to the partner university
All students who have already studied one or more semester(s) at TUD and move to another consortium partner university must transfer the reduced TUD social fee amount (see Section 5.8.2) each semester. In addition they must inform ONLINE the International Office on the current correspondence address using this online portal:
https://tu-dresden.de/studium/im-studium/studienorganisation/selbstbedienungsfunktion


5.12.3 Universidade Nova de Lisboa

International students must register at the Lodging and Mobility Office of the Academic Division. For enrollment they need to present: passport, 2 photos and a letter of the local EMCL Coordinator (Prof. Pedro Barahona) listing the courses in which they must be enrolled.
For general information on the registration to the EMCL program see Section 4.7


5.12.4 Technische Universität Wien

Students must register within the registration period for the corresponding semester, i. e. before 31 October for the Winter semester and 31 March for the Summer semester. In special cases students can enroll during the extraordinary registration period, which finishes on 30 November and on 30 April. It is NOT possible to register after these dates. Students must register at the International Office. The whole procedure is in detail explained on this web page:
http://www.logic.at/compulog/registration.html
For general information on the registration to the EMCL program see Section 4.7


5.13 Services


5.13.1 Libera Università di Bolzano-Freie Universität Bozen

Student Support
Students will be supported by the International Relations Office. Its staff will give important information, will help with the enrollment procedure, applying for a residence permit and accommodation. The office is supported by some student helpers who act as tutors for students and show them around the university.
http://www.unibz.it/en/students/exchange/Incoming/ErasmusMundus.html
The university organises different advising services for students on study programmes, careers and psychological counseling. More details are available at
http://www.unibz.it/en/students/life/counselling/default.html

Accommodation
unibz accommodates exchange students in the facilities for University students, managed by the Autonomous Province of South Tyrol; each year unibz reserves a number of rooms only for exchange students. Accommodation in Student Houses is available on a first-come, first-served basis. The cost is 180.00 EUR (April 2009) per month for a shared room (payable in 4 installments), and 240.00 EUR (April 2009) per month for a single room (payable in 4 installments).

Canteens
The new Student Houses have a common kitchen. A complete meal - lunch or dinner - at the University Canteen costs to students from 2.07 to 3.10 EUR (April 2009)

Library and Computer Labs
Library and computer laboratories are available for all the students and all the university buildings are equipped with WLAN.

Special Needs
The Advisory Service supports students with different abilities. They provide information about the opportunities that exist and how to access these and other benefits, such as various degrees of assistance that the university provides.

The unibz has no architectural barriers in any of its buildings (Bozen / Bolzano, Brixen / Bressanone, Bruneck / Brunico).

Disabled access is also guaranteed for most of the student residences and canteens.

If students have a disability of more than 66%, they are eligible for complete exemption from university fees (except for the provincial study tax): the disability certificate, issued by the health authorities, should be presented at the beginning of the academic year.

Further, in addition to the normal assistance (grants, etc), the University and School Office of the Autonomous Province of South Tyrol has other special assistance available. According to the type of disability, this assistance could consist of financial aid for a home help, travel expenses or other help with transport.

According to your income, there is also financial help available for expenses incurred. Income assessment is based on criteria that are fixed every year by the provincial government.
http://www.unibz.it/en/prospective/info/accessibility/default.html

Equal Opportunities
unibz has an Equal Opportunities Committee which is a consultative committee of the University and aims to promote and monitor effective equality for all members of the University community, irrespective of their sex, ethnicity, religion, nationality or any other condition that could give rise to discrimination against them.
http://www.unibz.it/en/organisation/organisation/bodies/Chanchengleichheit.html

The responsibilities of the Equal Opportunities Committee are:

  • to formulate plans of positive actions in order to allow real equality for all members of the University community,
  • detect all forms of discrimination, whether direct or indirect, that impede the full realization of equality or equal opportunities for all members of the University community,
  • to make sure that situations possibly leading to discrimination will not arise.

Families
Currently, the Equal Opportunities Committee is promoting the Family friendly university initiative directed to enhance the quality of life of students and staff with families. Practically, some common spaces in the University have been organized in a children friendly way and the organization of a kindergarten is under way. Students giving birth can suspend their studies without paying the full taxes and there are additional grants from the Province of Bolzano-Bozen for special cases evaluated on individual basis.

Language Learning
The Language Centre of the unibz is part of the most important service sector of the university. Its aim is to co-ordinate the learning of all the various languages used in the university. This means, for instance, creating the best conditions for language learning.

The Language Centre courses are available for all students enrolled at the university, for those taking part in international exchange programmes, as well as for those working for the university and for guests. One of the services provided by the Language Centre is an advisory service for all students to help them in the various aspects of language learning. The language centre also tests language levels before students begin their university career and during their studies as well.

The Language Centre is particularly important for those studying in their second and third languages. A thorough knowledge of the three official teaching languages in the university: Italian, German and English is absolutely essential for those who wish to participate completely and succsessfully in the activities offered by the university (lectures, seminars etc.) as well as conferences or other academic events.

The language centre also offers optional language courses and self access materials for English, German, and Italian, as well as for a whole range of other languages, such as French, Spanish, Russian, Ladin, Chinese, Arabic.
http://www.unibz.it/en/students/languagecentre/

Sports
There are two different student associations: Kikero organizes social events, student parties, trips and other activities; S.C.U.B Sports Club University Bolzano organizes sports activities, particularly alpine sports like free-climbing, trekking, skiing.
Kikero:
http://www.unibz.it/en/students/life/associations/kikero.html
Sports Club University Bolzano (SCUB):
http://www.unibz.it/en/students/life/associations/scub.html

Students Networking
Kikero organises the Rookie day (the welcome day for new first-year students) as well as parties and other events. The association publishes the "Flyer" student magazine and an annual book that charts the lives of the students and the university. The University organises a Student Advisors service by coordinating a group of unibz students who provide information and advice about the University. There are student representatives in all the main governing bodies of the University who can answer questions and give advice and are open to proposals and ideas for contributing to the improvement of educational and other university services. More information and contact details are available at
http://www.unibz.it/en/students/representatives/default.html.


5.13.2 Technische Universität Dresden

Student Support
Students will be supported by the International Office in relation to enrollment, visa procedure and integration in the study and social life.
https://tu-dresden.de/studium/vor-dem-studium/internationales
Its staff offers each semester a broad program of social activities, from guided tours through the city of Dresden to trips in the region, to cities of interest in Germany or in neighbouring countries. Furthermore, the Erasmus Initiative TU Dresden commonly organises events where international students can meet other international as well as German students.
https://tu-dresden.de/studium/termine

Accommodation
Accommodation for students is available in our student house Studentenwerk. At low rental costs, you get good accommodation and internet access.
http://www.studentenwerk-dresden.de/english/wohnen/
Additionally, there are many other alternatives to find and rent a private accommodation.
https://tu-dresden.de/studium/vor-dem-studium/internationales/informationen-von-a-z/

Canteens
Meals for students are being subsidized by the German state. In order to benefit, you need to ask at dedicated dining halls for students and staff at the university, referred to as Mensa. The majority of the dining halls is located at the main campus.
http://www.studentenwerk-dresden.de/mensen/mensen_cafeterien.html

Libraries
Students of the TUD have free access to the Sächsische Landes- Staats- und Universitätsbibliothek (SLUB). This library includes the libraries of TUD's faculties, including the Faculty of Computer Science. It provides over 4 million books and can be reached in about 15 minutes by foot from the Faculty of Computer Science building.
http://www.slub-dresden.de/en/

Computer Labs
The computer laboratories of the university are available for all students. The university and library buildings are equipped with WLAN for the students.

Special Needs
The buildings, lecture halls, laboratories and libraries are well-adapted to handicapped people and accessible for students in wheelchairs. The Studentenwerk provides special accommodation. The TUD offers particular services which depend on the disabled students' needs and the respective capacity of the faculty where the students want to do research or study. A special assisstance is e.g. offered to visually handicapped students of the Computer Science Program. The university's representative for students with disabilities and chronic diseases handles counseling, disadvantage compensation and supports the integration into the study life.
http://tu-dresden.de/die_tu_dresden/gremien_und_beauftragte/beauftragte/bfsb

Equal Opportunities
TUD has equal opportunity commissioners, two of them for the computer science department. Their aim is the support in case of unequal treatment with applications or during studies etc.

Families
The university's efforts to assist young families in their daily and study life were honoured by the Family Oriented University audit certificate in 2007. Students can e.g. refer to the office Studying with children which offers different kinds of support in relation to this topic.
http://www.kinder.studentenwerk-dresden.de/
The Studentenwerk is running a nursery/kindergarten which is located near by the campus and provides 60 places for students' children.
http://www.studentenwerk-dresden.de/soziales/kita.html
There are specific preparatory classes offered in Dresden for elder children who do not speak German. They are taught German as a Second Language and a teacher accompanies them on their way toward scholastic and social integration.

Language Learning
http://sprachausbildung.tu-dresden.de

Sports
TUD offers a large number of sport facilities at a very low price. It covers mountain, health and individual sports as well as games, dancing and many more.
http://www.tu-dresden.de/sport

Students Networking
The Buddy Program supports students who organize their travel and stay to/at TUD. It is aimed at helping you to integrate at the university and refers you to a student who will assist you with any questions or problems you might face. If you are interested, please contact this program before you start your study in Dresden.
https://www.aegee-dresden.org/buddy/
A good service offers the Studentenwerk running a project called Students4Students where students already living in Dresden assisst newcomers after their arrival. Students can use the following email address for first contacts: tutoren@study-dresden.com.
Members of the Fachschaftsrat (Students Representative Committee) of the Faculty of Computer Science will assist you in case of problems concerning your studies.

Psychosocial Helpdesk
The Studentenwerk offers psychological counselling to students.
http://www.studentenwerk-dresden.de/english/soziales/psychosoziale-beratung.html.


5.13.3 Universidade Nova de Lisboa

Student Support
The Social Welfare Services of the NOVA (SASNOVA) provides students with direct social support; scholarships and emergency support and indirect support; food services, accommodation and health services, as well as support for sports and cultural activities.
In addition to SASNOVA, the Faculty of Science and Technology (FCT/NOVA) offers services in relation to the integration of students in the Faculty including coaching and assisstance to arriving foreign students in finding accommodation (including outside the University's residences) and providing vocational and psychological counseling.

Accommodation
SASNOVA is currently three Halls of Residence for students of the University, with in total of 452 beds. SASNOVA's Halls of Residence have their own regulations. These include acceptance conditions, use of equipment, internal discipline, and student participation in managing, conserving and cleaning the Halls. Priority is given to Portuguese scholarship students and foreign students on exchange programs. The Halls of Residence are Fraústo da Silva Halls (208 beds), Alfredo de Sousa Halls (176 beds), and Lumiar Halls (68 beds), the first being located in the Campus of the FCT at Caparica. More information on it at
http://sas.unl.pt/alojamento/rfs/frausto-da-silva-halls-of-residence.

Canteens
The Social Services of Universidade Nova de Lisboa (SASNOVA) is running three canteens, with the respective snack bars and cafeterias, located at the university campuses. Nova students have access to all these catering units, as well as those in other higher education institutions in Lisbon such as Universidade Técnica de Lisboa, Universidade de Lisboa and Instituto Politécnico de Lisboa.

Libraries
Universidade Nova de Lisboa provides several Libraries and Documentation Centres scattered through the different academic units. In the FCT Campus, the Library building has: around 6500 m2 on 5 floors; 6 reading rooms with open access documentation; 40 individual study rooms; 8 group study rooms, informal reading room; coffee shop; exhibition hall; auditorium with 72 seats; 3 deposits for documentation, 550 reading places, wireless; 40 available computers; pests controlling system for documentation; equipment for disabled persons. The Documentation and Library Centre gives on-line access to a vast group of information resources thus supporting the teaching and learning success of the scientific activities developed at Caparica's Campus. In addition to these, Lisbon offers a wide number of libraries where you can find books and other educational material in several languages. You can find a complete list of Lisbon's libraries at
http://www.unl.pt/erasmus/estudantes-recebidos/guia-erasmus-2009-2010.

Computer Labs
The Department of Computers Science has 10 labs, each with 30 seats and equipped with 15 desktop computers, connected in a network to a department server that maintains general purpose software used in the classes, as well as students individual areas. In addition, there are open rooms for M.Sc. and Ph.D. students with individual lockers.

Special Needs
SASNOVA is committed to helping disabled students, so as to promote their independence and inclusion into this academic context. Alfredo de Sousa Halls and Fraústo da Silva Halls each have two single rooms with a private bathroom that are equipped for disabled students. All buildings, lecture halls, laboratories and libraries at the FCT are accessible for students in wheelchairs.

Equal Opportunities
In case of unequal treatment during studies, students may present their complaints or requests for clarification to NOVA Student Ombudsperson. More details available at
http://www.unl.pt/estudante/student-ombudsman

Families
Both students' residences of the NOVA have a limited number of small apartments that can be rented by students with family.

There exists a kindergarten in the campus of FCT, that can be used by children of students.

Language Learning
The Faculdade de Ciências Sociais e Humanas of Universidade Nova de Lisboa organizes Portuguese Language and Culture Courses aimed at students that wish to learn and enhance their knowledge of the Portuguese language and culture. The courses are also intended for Socrates/Erasmus and Erasmus Mundus students. The courses are organized in six learning levels, according to the Common European Framework of Reference for Languages, and can be half-yearly, summer or intensive. For further information please visit the courses website at
http://www.fcsh.unl.pt/clcp/.

Sports
SASNOVA have sporting facilities at Caparica Campus, namely for Handball, Basketball, Futsal, Tennis, Volleyball and also a training circuit. At
http://sas.unl.pt/desporto/sport
more information is available.

Students Networking
The six academic units of NOVA, that award first cycle degrees, have student unions (AE). In addition to these, there is an Academic Federation, (FANOVA).
http://ae.fct.unl.pt/.
Each academic unit is responsible for the activities sponsored, which are organized by each of the student unions. The University has several Tunas (traditional Portuguese student singing groups) two of them at the FCT (Antunia and Tuna Maria), several student theatre groups, of which the NNT (Núcleo Novo Teatro) is at the FCT, and a choir made up of university students, teaching and administrative staff.
There is a study centre for students in Lisbon, Ágora, located in Rua da Cintura do Porto de Lisboa, near the Tagus river and not far from de Cais do Sodré railway station. This centre is open 24 hours a day and has study rooms, graphic design services, computers and a bar.
http://www.unl.pt/erasmus/estudantes-recebidos/guia-erasmus-2009-2010.


5.13.4 Technische Universität Wien

Student Support

General Support The international office provides several orientation and support programs, including:

  • Welcome letter and welcome guide

  • Orientation session before the semester starts, where detailed information and tips about studying at Vienna UT are provided

  • SoS-Orientation Programm
    http://www.ai.tuwien.ac.at/international/

Financial support
  • There is a scholarship database of the OeAD, some of them can apply to our students:
    http://www.oead.ac.at

  • The Kurt Gödel Society can provide financial support to students for special activities, courses, attending summer schools, etc.
    http://kgs.logic.at

Accommodation
The students can apply for different student accommodation alternatives via the OeAD Housing Office
http://www.housing.oead.ac.at/index_e.asp
The welcome letter that is sent to all incoming students by the International Office contains instructions for sending the housing application, as well as links and tips to other possible accommodation alternatives.
There is a wide choice of student accommodations in Vienna, and links to student housing alternatives can be found on the webpages of the International Office
http://www.ai.tuwien.ac.at/international,
of the Austrian Students' Union
http://www.oeh.ac.at/en,
and the local Students Union
http://www.htu.at/.

Canteens
Students have access to discounted meals in the student canteens (called Mensa)
http://www.mensen.at

Libraries
Students of the TUW have free access to the University Library, reachable in a few minutes by foot from all the University buildings. The centralized index of the main library also includes the local libraries of the different institutes, to which the students can request access.
http://www.ub.tuwien.ac.at/eng/index.html

Computer Labs
The students have access to several internet rooms and computer laboratories through the Central Informatics Service (Zentral Informatikdienst, ZID) , which also provides them other services such as wireless internet in all university buildings, email and web accounts, and commercial software at reduced prices.
http://www.zid.tuwien.ac.at/student/

Special Needs
TUW has strict regulations to ensure that all spaces are accessible to disabled students. There is an institute to provide support and orientation to students with special needs, and to ensure that they have suitable access to studies and study facilities. The students can contact this institute through its webpage:
http://www.tuwien.ac.at/barrierefrei/

The Austrian Student association also provides support to students with special needs. They have an orientation booklet that provides all relevant information, including rights to government benefits, mobility and suitable facilities, special services, etc. The booklet is in German, but students can turn to the special office for foreign students if necessary.
http://www.oeh.ac.at/#/studieren-leben/studieren/barrierefrei-studieren/

Equal Opportunity

The university office for supporting women can be reached via the following Web page:
http://www.tuwien.ac.at/dienstleister/service/koordinationsstelle_fuer_frauenfoerderung_und_gender_studies/

Families
Spouses and children of the students are also covered by the health insurance, provided that their official residence is in Austria. Starting from fall 2009, nurseries and kindergarten are for free in the city of Vienna. The university has its own kindergarten:
http://www.tu-kindergarten.at

There is a coordination office for supporting women at TUW which, among others, provides orientation for students with children - including child care possibilities:
http://www.tuwien.ac.at/dienstleister/service/koordinationsstelle_fuer_frauenfoerderung_und_gender_studies/.

The Austrian Student association also provides support to students with children, and they have an orientation booklet that provides them all relevant information, including special rights, government benefits, etc. The booklet is in German, but they can refer to the special office for foreign students if needed.
http://www.oeh.ac.at/#/studieren-leben/studieren/studieren-mit-kind/

Language Learning
The TUW offers an intensive course and a free semester course of advanced German (students that already have good knowledge of German) The international office organizes a Tandem program:
http://deutschkurse.univie.ac.at/content/site/dk/en/home/index.html

The sibling University of Vienna has an excellent and fully functioning language institute.
http://www.campus-austria.at/en/institutes/vienna

Sports
Students at TUW have access to the sport facilities of the Vienna University, where they can enroll for (cheap) courses and activities.
http://www.univie.ac.at/USI-Wien/index2.htm

Students Networking
The Buddy Network is indeed a very useful service that our students do use. They assign the students a ''buddy'', a local student that helps them finding their way when they arrive. They organize social activities, parties, trips, etc. They also provide many other useful services (help them to open a bank account, give them a cell phone SIM card, etc.)
http://www.buddynetwork.at/ and https://www.facebook.com/buddynetworktuwien



Footnotes

... physically.1
Members from NICTA may participate by email of by video conferencing at physical meetings.
... physically.2
Members from NICTA may participate by email of by video conferencing at physical meetings.