Logic List Mailing Archive

European Masters Programme in Computational Logic

*** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***
http://www.computational-logic.eu

The Faculty of Computer Science at the Free University of Bozen- Bolzano
(FUB), in Italy (at the heart of the Dolomites mountains in South-Tyrol),
is offering the European Masters Program in Computational Logic as part of
its Master in Computer Science offer (Laurea Specialistica). The European
Masters Program in Computational Logic is an international distributed
Master of Science course, in cooperation with the computer science
departments in the following universities:

* Free University of Bozen-Bolzano, Italy
* Technische Universitaet Dresden, Germany
* Universidade Nova de Lisboa, Portugal
* Technische Universitaet Wien, Austria
* Universidad Politecnica de Madrid, Spain

This program, completely in English, involves studying one year at the
Free University of Bozen-Bolzano, and possibly completing the second year
with a stay in one of the partner universities. After this, the student
will obtain, together with the European degree, two Master of Science
degrees: the Laurea Specialistica degree from the Free University of
Bozen-Bolzano, with legal value in Italy, and the respective Master of
Science degree from the visited university, with legal value in its
country.

APPLICATION DEADLINES:
- 30 JUNE 2006: deadline for all students;
earlier applications are appreciated
(notification of acceptance: 30 July 2006)
- 25 AUGUST 2006: last deadline for European students
starting at the Free Univ. of Bozen-Bolzano, Italy
(notification of acceptance: 11 September 2006)

SCHOLARSHIPS & MONEY SUPPORT:

EU citizens or non-EU citizens with residence in Italy can apply to
scholarships which are granted purely on the basis of the yearly income of
the applicant and of her/his parents or husband/wife. Scholarships amount
up to 6,283 EUR per academic year, including facilities on the
accommodation and total reimbursement of the enrolment fees.

The Free University of Bozen-Bolzano has a tuition-waiver budget for
reimbursing the total tuition/enrolment fees to all the applicants
studying in Bozen-Bolzano and who do not have already a scholarship; so,
applicants studying in Bozen-Bolzano will pay no tuition/enrolment fees.

In 2006 the European Masters Program in Computational Logic offers 13 new
Erasmus Mundus scholarships for non European citizens (in 2004 and 2005
almost 50 Erasmus Mundus scholarships were offered). Each scholarship for
each student amounts to 21,000 EUR per academic year; this includes 10
monthly grants of 1,600 EUR and a fixed amount of 5,000 EUR for fees,
travel expenses, relocation costs, etc. The 10th February 2006 was the
final deadline for requesting Erasmus Mundus scholarships for non-European
students.

Check the web page for detailed info on applications and scholarships:
http://www.inf.unibz.it/mcs/emcl/

THE STUDY PROGRAMME:

The European Masters Program in Computational Logic is designed to meet
the demands of industry and research in this rapidly growing area. 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.

Applicants should have a Bachelor degree (Laurea triennale) in Computer
Science, Computer Engineering, or other relevant disciplines; special
cases will be considered. The programme is part of the Master in Computer
Science (Laurea Specialistica in Informatica) and it has various strengths
that make it unique amongst Italian and European universities:

* Curriculum taught entirely in English: The programme is open to the
world and prepares the students to move on the international scene.
* Possibility of a strongly research-oriented curriculum.
* Possibility for project-based routes to obtain the degree and
extensive lab facilities.
* Other specialisations with streams in the hottest Computer Science
areas, such as Web Technologies, Information and Knowledge
Management, Databases and Software Engineering.
* International student community.
* Direct interaction with the local and international industry and
research centres, with the possibility of practical and research
internships that can lead to future employment.
* Excellent scholarship opportunities and student accommodations.

The European Masters Program in Computational Logic is one of the few
European Masters awarded by the European Union's Erasmus Mundus programme
from its first year of existence in 2004. The Erasmus Mundus programme is
a co-operation and mobility programme in the field of higher education
which promotes the European Union as a centre of excellence in learning
around the world. It supports European top-quality Masters Courses and
enhances the visibility and attractiveness of European higher education in
third-countries. It also provides EU-funded scholarships for third-country
nationals participating in these Masters Courses, as well as scholarships
for EU-nationals studying in third-countries.

The European Masters Program in Computational Logic is sponsored
scientifically by the European Network of Excellence on Computational
Logic (CoLogNET), the European Association of Logic, Language and
Information (FoLLI), the European Coordinating Committee for Artificial
Intelligence (ECCAI), the Italian Association for Artificial Intelligence
(AI*IA), the Italian Association for Informatics (AICA, member of the
Council of European Professional Informatics Societies), the Italian
Association for Logic and its Applications (AILA), and the Portuguese
Association for Artificial Intelligence (APPIA).

FURTHER INFORMATION:

Prof. Enrico Franconi at franconi@inf.unibz.it
European Masters Program in Computational Logic
part of the MSc in Computer Science (Laurea Specialistica).
Faculty of Computer Science
Free University of Bozen-Bolzano
Piazza Domenicani, 3
I-39100 Bozen-Bolzano BZ, Italy
Phone: +39 0471 016 000
Fax: +39 0471 016 009
Web site: http://www.computational-logic.eu