All About EMCL

All About EMCL
European Master's Program in Computational Logic


Date: April 30, 2011


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

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



1 Coordination


1.1 Coordinator and Coordinating Institution

1.1.1 Coordinating Institution

Technische Universität Dresden

Coordinator
 
Prof. Dr. rer. nat. habil. Steffen Hölldobler
Email: [email protected]
Phone: +49 (351) 463 38340

EMCL secretary
 
Mrs. Sylvia Wünsch
Email: [email protected]
Phone: +49 (351) 463 38341

Secretary
 
Ms. Julia Koppenhagen
Email: [email protected]
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 (FUB)

Local Coordinator
 
Dr. Sergio Tessaris
Email: [email protected]
Phone: +39 0471 016125

Assistant/Secretary
 
Mrs. Federica Cumer
Email: [email protected]
Phone: +39 0471 016005

International Office
 
Mrs. Sonia Melis
Email: [email protected]
Phone: +39 0471 012500

Housing
 
Mrs. Sonia Melis
Email: [email protected]
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: [email protected]
Phone: +49 (351) 46 33 83 40

Secretary
 
Mrs. Sylvia Wünsch
Email: [email protected]
Phone: +49 (351) 46 33 83 41

International Office
 
Mrs. Monika Diecke
Email: [email protected]
Phone: +49 (351) 463-32327

Housing
 
Studentenwerk Dresden
Email: [email protected]
Phone: +49 (351) 4697-615

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


1.2.3 Universidade Nova de Lisboa (UNL)

Local Coordinator
 
Prof. Dr. José Júlio Alferes
Email: [email protected]
Phone: +351 212 948 533

Secretary
 
Mrs. Sandra Rainha
Email: [email protected]
Phone: +351 212 948 536

International Office
 
Gabinete de Acolhimento e Mobilidade
Email: [email protected]
Phone: +351 212 947 820

Housing
 
Residência Fraústo da Silva
Email: [email protected]
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: [email protected]
Phone: ++43 1 58801 185 41

Secretary
 
Mag. Franziska Gusel
Email: [email protected]
Phone: +43 1 58801 185 03

International Office
 
Mag. Simone Souczek
Website: http://www.tuwien.ac.at/international
Email: [email protected]
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 National ICT Australia Limited (NICTA)

Local Coordinator
 
Dr. Peter Baumgartner
Email: [email protected]
Phone: +61 (2) 6267 6217

Assistant/Secretary
 
Mrs. Genevieve Carey
Email: [email protected]
Phone: +61 (2) 6267 6271

International Office
 
Mr. Steve Marlor
Email: [email protected]
Phone: +61 (2) 6267 6274

Housing
 
Mr. Fenner Hall
Email: [email protected]
Phone: +61 (2) 6125 9101

English Language Courses
 
Website:
http://www.anucollege.com.au/Programs/ELICOS.shtml


2 Agreement of Cooperation

This Agreement of Cooperation is valid for students who will enroll 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 (FUB), the Technische Universität Dresden (TUD; coordinating institution), the Universidade Nova de Lisboa (UNL), 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 FUB, TUD, UNL 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 FUB 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 FUB in their second semester. In their second year they select a university out of FUB, TUD, UNL 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.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. 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 FUB, the TUD, the UNL 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 FUB 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:
FUB

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:
FUB

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:
UNL

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:
FUB, TUD, TUW, UNL

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

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, UNL

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

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:
UNL

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:
FUB

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:
FUB, TUW

Module Person in Charge:
Prof. Diego Calvanese (FUB), 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:
FUB

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:
FUB, UNL

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

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:
FUB, TUD, TUW, UNL, 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:
FUB, TUD, TUW, UNL

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 FUB, TUW and UNL into TUD's grading system which shall serve as common grading system for EMCL.



FUB TUW UNL 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 Local Master Programs

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

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


4.2 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.3 Application and Evaluation


4.3.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://emcl-study.eu/application.html


4.3.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.3.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.4 Start Dates

The start dates are as follows:

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

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


4.5 Fees

EU-students: 500 EUR per semester
non-EU-students: 1500 EUR per semester


4.6 Registration

To be registered to the EMCL-program students must transfer the tuition fee (see Section 4.5) and the respective social fee (see Section 5.7.2) to TUD each semester. In addition students must register at the partner university where they are currently studying. This concerns all students without the Erasmus Mundus scholarship and all students who have studied longer than two years and will not finish until 15 April / 15 October. The registration deadline and the bank data will be announced by email on time.

Erasmus Mundus scholarship holders will be registered according to the rules stipulated by the scholarship contract (see Section 5.8.1)


4.7 Performance and Ranking of Enrolled Students


4.7.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.7.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.8 Waivers


4.8.1 First Year

  1. Officially admitted students may apply for a tuition fee waiver amounting to 500 EUR/1500 EUR for the first semester to TUD. He/she must send an official letter containing the student's address and signature. This letter must be addressed to Fakultät Informatik, ICCL, Prof. Hölldobler and submitted until 31 August. The student must explain the financial situation and credibly claim that he/she cannot start the study if he/she must pay the tuition fee.

  2. Students may apply for a tuition fee waiver for the second semester. The official letter must be sent to FUB to 15 March and contain the reason why he/she cannot continue the EMCL studies if he/she must pay the fee. In addition, the current transcript degree must be attached. Students who are 'underperforming' (see Section 4.7.2) are not eligibile.

  3. Students with a grant from the EU or a similar grant from other sources are not eligible.


4.8.2 Second Year and Beyond

  1. The Joint Commission will earmark a certain amount of money for tuition fee waivers for second and third year students.

  2. Students shall not be eligible for a waiver beyond their fifth semester of studies unless special circumstances apply.

  3. Students with a grant from the EU or a similar grant from other sources will not be eligible for a waiver in the second and third year.

  4. Apart from the restrictions just mentioned students are eligible if they are not underperforming (see Section 4.7.2).

  5. (valid from Summer term 2013) The tuition fee will be waived for the upcoming semester if the student submits his/her thesis by 15 September / 15 March and the JC is not able to graduate him/her by 15 October / 15 April, provided the delay is not the student's fault. The local supervisor must apply for this waiver to the EMCL secretary. The student must register at TUD and pay the TUD social fee in any case.

  6. Application procedure:
    Students must send an application by email to the SCIS office at TUD until 30 September/31 March.

  7. The SCIS checks if the applicant is not underperforming. Applicants will be informed on the decision by the EMCL secretary until 10 October/10 April.

  8. Students will be only registered at TUD after the approval of the waiver.

  9. Late applications cannot be considered!


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 FUB.


4.9.2 Placement of Second Year Students

  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 FUB 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.

In 2014 there are 5 free places at TUW and UNL and four free places at FUB and TUD.


4.9.3 Projects at NICTA

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

  1. Interested students must find a local supervisor at NICTA AND a supervisor at the second year university who jointly supervise the project topic. Application deadline is 15 April.

  2. Information on project topics, contacts and visa application is provided by NICTA .
    http://users.cecs.anu.edu.au/~baumgart/emcl.html

  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 15 April.

  4. Students must apply for the visa on time. NICTA staff will 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.

Financial support:
Erasmus Mundus scholarship holders (category B) will get a financial support amounting to 3000 EUR - as part of the grant - for their project work at NICTA.
There is no requirement related to the period of the stay at NICTA But, Erasmus Mundus scholarship holders are obliged to defend the project work successfully and get 16 ECTS credits, finally.
They must apply for the payment to the EMCL secretary and send

  1. a copy of the flight ticket (including the return flight)
  2. information on the planned project (period of the stay, subject ...)
  3. names and email addresses of the supervisor at NICTA and at the second year university
  4. completed bank data form.
The first installment amounting to 1000 EUR will be paid after receipt of the requested information. The remaining amount will be transfered as soon as the local supervisor confirmed the arrival at NICTA.
The 'Dr. Walter' health insurance contract covers the stay at NICTA (see section 5.6.1)

European students who do not receive an Erasmus Mundus grant may apply for a financial support amounting to 3000 EUR to the EMCL secretary until 15 April. 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 valid until 30 June 2013

To students who started the thesis work before 1 January 2013 and/or will defend the master thesis before 30 June 2013 the local regulations - as in the past - will apply. Upon successful defense of the thesis, the local supervisor must issue a document that certifies

- the date of the defense,
- a mark for the thesis,
- a mark for the oral defense,
- the final mark for the thesis calculated according to the section Master Thesis (11)(see 3.26).

This document must be sent along with the final transcript degree to the Service Center for International Students (SCIS) by mail.
Students who defend the master thesis at FUB must apply for it to the SCIS on time.


4.10.2 Master thesis procedure valid from 1 January 2013

The new rules have to be applied to all students who start the master thesis procedure on 1.1.2013 or later / who defend the thesis after 30 June 2013.
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.

  • $ 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 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
    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 (see Section 4.8.2
    • 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.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.4)

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

  4. Students must apply for this support by email to the EMCL secretary until 10 March and send
    • 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.
      NOTE: Students from UNL,TUW or FUB must additionally ask the local supervisor to confirm the study results.

  5. Support will be given to the best ranked students (see Section 4.7) 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.).
  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 - who are not Erasmus Mundus grant holder - can apply for this scholarship to FUB or to TUD after the first semester considering the follwoing deadlines:
FUB: 15 March
TUD: 31 March.

FUB information is available from http://www.unibz.it/en/students/exchange/Outgoing/default.html

TUD information see Section 5.3


4.16 Distribution of Lump Sum

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

There will be a limited number of Erasmus Mundus grants available from 2011 (see Section 5.2.1).
Students can apply by means of the EMCL Application Form. The Joint Commission will evaluate and rank the applicants. The scholarships will be granted to the best students (see Section 4.3.3).

The Joint Commission offers the following grant to the best ranked candidates who apply until 31 May 2014 (see Section 4.3.3).

  • Full Scholarship
    period: 24 months
    amount: 750 EUR per month
    tuition fee waiver is included

  • Small Scholarship
    period: 24 months
    amount: 200 EUR per month
    tuition fee waiver is included

  • Waiver
    period: 24 months tuition fees are waived

EMCL students may apply for the Erasmus scholarship which is available for the second year of study. (see Section 4.15)


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 want to apply to the EMCL-program. Available as PDF Document: pdf/Application_Form_EMCL_2013.pdf


5.2 Erasmus Mundus Scholarship Program


5.2.1 Students

A limited number of Erasmus Mundus grants for a study period of 24 months provided by the European Commission will be available from 2011. Application deadline is 31 January.
http://emcl-study.eu/application.html.

CATEGORY A scholarships
Candidates
-who do NOT come from the following countries:
  • the 28 EU Member States (Belgium, Bulgaria, Czech Republic, Denmark, Germany, Estonia, Ireland, Greece, Spain, France, Croatia, Italy, Cyprus, Latvia, Lithuania, Luxembourg, Hungary, Malta, the Netherlands, Austria, Poland, Portugal, Romania, Slovenia, Slovakia, Finland, Sweden and the United Kingdom);
  • the EEA-EFTA states (Iceland, Liechtenstein and Norway);
  • Turkey, the Former Yugoslav Republic of Macedonia or Switzerland
-and have not carried out their main activity (job, study...) in one of these countries for more than 12 months (in total) over the last 5 years (deadline is 28 February of the year when the program starts)
can apply for the the scholarship category A which covers
  1. Fixed amount for travel, installation and others: in total 8000 EUR,
  2. Participation costs to be paid to the universities/consortia: up to a max. sum of 2700 EUR per semester (it concerns tuition fee, semester social fee, health insurance...),
  3. Monthly allowance amounting to: 1000 EUR, in total 24000 EUR.

CATEGORY B scholarships
Candidates who come from the above mentioned countries or who do not fulfill the category A requirements (''12-months rule...) can apply for the scholarship category B, only, which covers

  1. Fixed amount for travel, installation and others: in total 3000 EUR (this concerns the project work at NICTA, Australia),
  2. Participation costs to be paid to the universities/consortia: up to a max. sum of 1700 EUR per semester (it concerns tuition fee, semester social fee, health insurance)...,
  3. Monthly allowance amounting to: 500 EUR, in total 12000 EUR.

Additional scholarships
In 2014, there are additional Erasmus Mundus grants available for

  • Students from the Western Balkans (Albania, Bosnia-Herzegovina, Montenegro, Serbia and Kosovo under UNSC Resolution 1244/99) - Category A,
  • Students from Syria - Category A,
  • Students from the former Yugoslav Republic of Macedonia and Turkey - Category B.

More information on the program is provided by the European Commission.
http://eacea.ec.europa.eu/erasmus_mundus/funding/scholarships_students_academics_en.php


5.2.2 Scholars

There are Erasmus Mundus grants available for scholars enrolled at any Third-Country Higher Education Institutions (including NICTA) and for scholars from the European partner universities (for stays at NICTA, only).

General information:

  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.8.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 2016.

Selection rules:

  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.3 Application to TUD for Erasmus scholarships for the second year of study

EMCL students (non-scholarship holders, only) 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.
The following completed and signed documents are required
  • Student Application Form
  • Learning agreement
  • Latest transcript of records (available from the SCIS)
  • Declaration of acceptance (online form, available in German language, only) http://tu-dresden.de/internationales/stud_abroad/scholar_sponsorships/tudprogramme/studieren_in_europa_mit_erasmus/document_view?set_language=en
    (click ''Start Bewerbungsformular'')

The completed and signed forms must be sent as pdf package by email to [email protected]

Available as PDF Document: pdf/FES_applic.pdf Available as PDF Document: pdf/FES_LA.pdf


5.4 List of Supported Summer Schools

The JC supports students who attend one of the following Summer Schools in 2014:

  1. ESSLLI
    http://www.esslli2014.info

  2. IEEE International Conference on Semantic Computing
    http://ieee-icsc.org/icsc2014/

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

  4. ESWC Summer School
    http://2014.eswc-conferences.org/about-eswc-2014

  5. Reasoning Web 2014 Summer School
    http://rw2014.di.uoa.gr/

  6. Interdisciplinary College 2014
    http://www.interdisciplinary-college.de/

  7. SAT/SMT Summer School
    http://satsmt2014.forsyte.at/

  8. The Machine Learning Summer School
    http://mlss2014.hiit.fi/

  9. Summer School on Law and Logic 2014
    http://lawandlogic.org/

  10. 2014 ACP Summer School on Practical Constraint Programming
    http://school.a4cp.org/summer2014/

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 2014.

  1. 2012 International Spring School in Formal Languages and Applications

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

  3. MOVEP 2012

  4. Nordic Spring School in Logic

  5. ACAI Summer School 2013

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.5 Joint Diploma Supplement.

Available as PDF Document: pdf/DiplSuppl_NEU.pdf


5.6 Insurance Scheme

It is obligatory for each (Non-EU) student in Germany to sign up with a local health insurance company. Further information is provided on this website:
http://www.internationale-studierende.de/en/during_your_studies/health_insurance/

General information for ALL students is provided here:
https://www.aokplus-online.de/tarife-leistungen/serviceangebote/gut-versichert-im-studium/information-for-international-students.html


5.6.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/
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://tu-dresden.de/internationales/multic/scholarship_holders/insurance_travel
Pre-existing conditions are excluded.
This insurance contract covers the stay at NICTA (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.

Students up to an age of 30 years must be additionally insured with a German public health insurance company after their arrival in Dresden. This health insurance contract does not exclude pre-existing conditions.
As part of a welcome session organized by the TU Dresden International Office, the whole procedure in relation to this additional contract will be explained in detail.

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.6.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 the AOK does not cover the full amount for the medical treatment. In such a case, the student must pay the remaining amount by him/herself and may apply for reimbursement to the Dr. Walter GmbH, afterward. Information and forms related to the Dr. Walter GmbH are provided here:
http://tu-dresden.de/internationales/multic/scholarship_holders/insurance_travel

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


5.6.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.

Information for Non-EU-students
We would recommend to Non-EU-students to take out health insurance with the company "AOK", address: Sternplatz 7, 01069 Dresden. It will cost about 70 EUR per month. The advantage is that you will be insured with the AOK during the whole time of studies at all European partner universities (Italy, Portugal and Austria). Before you leave Germany, you must apply for the ''European Health Insurance Card" to AOK.
You should discuss any benefits the card provides you with, its validity etc. with the AOK-agent. Please consider that some chronic diseases etc may not be covered by this card. The AOK will assist you in finding respective solutions.


5.7 Participation Costs


5.7.1 Tuition Fees

The tuition fee are 500 EUR / 1500 EUR per semester (see Section 4.5).


5.7.2 Social Fees

FUB about 140 Euro per year for the Provincial Tax.

TUD

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

UNL

None

TUW

Student union fee about 20.00 EUR per semester

These amounts may vary each semester.


5.7.3 Insurance Costs

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


5.8 Contracts


5.8.1 Student Scholarship Contract

Available as PDF Document: pdf/students_agreement_2011.pdf


5.8.2 Scholar Scholarship Contract

Available as PDF Document: pdf/scholar_contract.pdf


5.9 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 strongly advised to apply at an early stage and to consider that the issue of visa can take some months.
https://secure-redaktion.tu-dresden.de/internationales/int_stud/abschluss/applic_degree/visa_requirements_and_entry_permits

After entering Germany students must register with the Resident's Registration Office (Einwohnermeldeamt). 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 a resident's permit (Aufenthaltsbewilligung) to the Foreign Resident's Office (Ausländerbehörde) within 3 months after entering the Federal Republic of Germany.
http://tu-dresden.de/internationales/int_stud/planning_your_course_of_studies/anmeld/document_view?set_language=en

Move to FUB after the first semester:
In order to carry out the enrollment at FUB 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 FUB 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) in Bozen-Bolzano within the first 8 days after entering Italy. The FUB-International Relations Office supports students regarding this procedure.

Continuation of the study at FUB after the second semester:
If the student continues his/her EMCL studies at FUB 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 if it is still valid. After arrival in Dresden the student must register with the Resident's Registration Office (Einwohnermeldeamt), immediately. The German resident's permit must be applied for to the Foreign Resident's Office (Ausländerbehörde) within 3 months after entering the Federal Republic of Germany.
.

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


5.10 Local enrollment procedures


5.10.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 FUB social fee (see Section 5.7.2) each semester.
For general information on the registration to the EMCL program see Section 4.6

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.10.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.7.2) each semester.
For general information on the registration to the EMCL program see Section 4.6.

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.7.2) each semester. In addition they must inform ONLINE the International Office on the current correspondence address.

http://tu-dresden.de/studium/organisation/selbstfkt


5.10.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.6


5.10.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.6


5.11 Services


5.11.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
FUB accommodates exchange students in the facilities for University students, managed by the Autonomous Province of South Tyrol; each year FUB 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 FUB 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/disabled/default.html

Equal Opportunities
FUB 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 FUB 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 FUB 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.11.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.
http://tu-dresden.de/internationales/int_stud/abschluss/degree
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.
http://tu-dresden.de/internationales/kultur

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.
http://tu-dresden.de/internationales/int_stud/abschluss/degree

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 Linkpartnerprogramm 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.
http://www.linkpartnerprogramm.de
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: [email protected]
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. Contact address for English speaking students is: [email protected]
http://www.studentenwerk-dresden.de/soziales/psychosoziale-beratung.html.


5.11.3 Universidade Nova de Lisboa

Student Support
The Social Welfare Services of the UNL (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/UNL) 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 (SASUNL) 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 UNL Student Ombudsperson. More details available at
http://www.unl.pt/estudante/student-ombudsman

Families
Both students' residences of the UNL 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
SASUNL 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 UNL, that award first cycle degrees, have student unions (AE). In addition to these, there is an Academic Federation, (FAUNL).
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.11.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.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/

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.is.tuwien.ac.at/en/support/support.html

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/barrierefrei_studieren

Also the Buddy Network TU Wien provides assistance.
http://buddynet.htu.tuwien.ac.at/index_html

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/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://www.ai.tuwien.ac.at/international

The sibling University of Vienna has an excellent and fully functioning language institute.

The students are provided with links to several German institutes:
http://buddynet.htu.tuwien.ac.at/Wiki/en/LanguageCourses

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://buddynet.htu.tuwien.ac.at/index_html



Footnotes

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