EMCL:
European Masters Program in
Computational Logic
Study Program
Based on a solid foundation in mathematical logic, theoretical computer science, artificial intelligence and declarative programming students will acquire in-depth knowledge necessary to specify, implement and run complex systems as well as to prove properties of these systems. In particular, the focus of instruction will be in deduction systems, knowledge representation and reasoning, artificial intelligence, formal specification and verification, syntax directed semantics, logic and automata theory, logic and computability. This basic knowledge is then applied to areas like logic and natural language processing, logic and the semantic web, bioinformatics, information systems and database technology, software and hardware verification. Students will acquire practical experience and will become familiar in the use of tools within these applications. In addition, students will be prepared for a future PhD, they will come in contact with the international research community and will be integrated into ongoing research projects. They will develop competence in foreign languages and international relationships, thereby improving their social skills.
When an exchange takes place, each student will be jointly supervised (monitored) by two lecturers (tutors): one from Bolzano, and the other from the partner institution in which the studies will be completed. The individual study plan will be jointly developed by the student with his/her tutors, and approved by a joint commission.
The first year is composed of "foundation" modules, which are held at Technische Universität Dresden (first term) and Free University of Bozen-Bolzano (second term), plus 20 credits from "advanced" modules. The second year is composed of 18 credits of "advanced" modules, a 12 credits project and the master thesis. This second year may be completed in any of the partner universities (including the Free University of Bozen-Bolzano). The chosen partner university will provide students with access to libraries, laboratories, accommodation facilities, health and liability insurance, and all the other services in the same conditions as all other students enrolled on courses at the partner university.
A detailed description of the study organisation, the modules, and the courses offered by the participating universities is in the centralised official web page of the EMCL.
| DETAILED MODULES AND COURSES LISTINGS: |
| Courses at the Free University of Bozen-Bolzano |