[DL] European Masters Program in Computational Logic at the Free University of Bozen-Bolzano, Italy

[Enrico Franconi]

- We apologise if you receive this more than once.  You're receiving -
- this message since you are a subscriber of a relevant mailing list -


     *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***

The Faculty of Computer Science at the Free University of
Bozen-Bolzano, Italy, is offering the European Masters Program in
Computational Logic as part of its Master in Computer Science (Laurea
Specialistica in Informatica). 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 involves studying one year at the Free University of
Bozen-Bolzano, and 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 in Informatica 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 deadline: 27th August 2004


The study programme at the Free University of Bozen-Bolzano

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.

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.


Applications at the Free University of Bozen-Bolzano

The European Masters Program in Computational Logic is part of the
Master of Science in Computer Science (Laurea specialistica in
Informatica) of the Free University of Bolzano-Bozen. The Master
comprises 120 CTS credits and has a duration of two years (including
the thesis). Each year's course is divided into two semesters. The
courses start at the end of September. Students enrolling at the Free
University of Bozen-Bolzano for the European Master are required to
have a year of stay at one of the partner universities. The
continuation of studies toward the PhD doctoral degree is
possible. Applicants should have a Bachelor degree (Laurea) in
Computer Science, Computer Engineering, or other relevant disciplines;
special cases will be considered. Applicants are expected to pre-enrol
using the application form available at the course web site. The
application form must be given in by the 27th August 2004, at the
Student Secretariat of Bozen-Bolzano or it may be sent by surface
mail. Please refer to the course web site for detailed instructions.

University and province offer grants for supporting the studies, the
work on dissertations, post-graduate studies, housing, canteens, and
special initiatives for the disabled. Students will be supported by
the University Advisory Service. Its staff will give important
information, will help with the enrolment procedure, with the
application for a residence permit (for foreign students, if
necessary) and with accommodation. The office is supported by student
helpers who act as tutors for students and show them around the
university. Special support is given to foreign students by the
International Relations Office. The Language Centre provides language
courses for students enrolled at the University and for those on
international exchange programmes, and it runs an advisory service for
autonomous language learning, which takes place in its fully-equipped,
flexibly run language laboratory. There are two different student
associations: "Kikero" organises social events, student parties, trips
and other activities; S.C.U.B "Sports Club University Bolzano"
organises sports activities, particularly alpine sports like
free-climbing, trekking, skiing.


Free University of Bozen-Bolzano

The Free University of Bozen-Bolzano, founded in 1997, boasts modern
premises in the centre of Bozen-Bolzano.  The environment is
multilingual, South Tyrol being a region where three languages are
spoken: German, Italian and Ladin.  Studying in a multilingual area
has shown that our students acquire the cutting edge needed in the
international business world.  Many of our teaching staff hails from
abroad.  Normal lectures are complemented with seminars, work
placements and laboratory work, which give our students a vocational
as well as theoretical training, preparing them for their subsequent
professional careers.  Studying at the Free University of
Bozen-Bolzano means, first and foremost, being guided all the way
through the student's educational career.  South Tyrol, due to its
enviable geographical position in the centre of the Dolomites, also
offers our students a multitude of opportunities for spending their
free-time.

For further information please contact:
Enrico Franconi at franconi at 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
Email: computer.science at unibz.it
Web site: http://www.inf.unibz.it/mcs/emcl/