The objective of the program is to impart to the students the profound theoretical and practical knowledge required for professional practice in the field, to give them a survey of the individual disciplines of Computational Logic and to develop their ability to work according to scientific methods. In addition, the students are given the opportunity to plan their studies to fit a particular practical application. To acquire practice-oriented knowledge they may choose appropriate combinations of modules. By means of visits abroad and English as the language of instruction, the students are to be prepared for the increasing internationalism of science, commerce and industry.

CONSORTIUM

The European Master's Program in Computational Logic is offered by the following five partner institutions:

• Free University of Bozen-Bolzano (FUB), Italy
• Technische Universität Dresden (TUD, coordinating institution), Germany
• Technische Universität Wien (TUW), Austria
• Universidade Nova de Lisboa (UNL), Portugal
• Universidad Politécnica de Madrid (UPM), Spain

STUDY REQUIREMENTS

• Applicants for the European Master's Program in Computational Logic must satisfy the following study requirements:
  • Proof of a minimum knowledge of English such as a TOEFL (> written: 550/computer based: 213/internet based: 79) or an IELTS (> 6.0) certificate or equivalent
  • Bachelor's degree in Computer Science or equivalent
  • Proof of extensive knowledge in the areas foundations of mathematical logic, foundations of artificial intelligence, and declarative programming is required with a grade equivalent of "good" or "very good". They need to be demonstrated by certificates, examination records or other written academic performance records.
• The fulfillment of the requirements mentioned in Paragraph 1 is decided by the Examination Board.
• Students are registered in accordance with the regulations of the participating universities.

FUNDING POSSIBILITIES

European Master in Computational Logic are receiving grants from the Erasmus Mundus Program of the European Union.

Students are only allowed to apply to three Erasmus Mundus Masters Courses according to the latest Call for Proposals (EACEA/07/07). In the eventual case that a student applies to more than three EM Courses he/she will be excluded from the selection for an Erasmus Mundus Scholarship.

MORE INFORMATION

For more detail information about application procedure, admission criteria and others related to this program http://european.computational-logic.org/