20.406 MSc in Computational Logic at Bozen-Bolzano (Italy)

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Wed, 24 Jan 2007 06:49:13 +0000

               Humanist Discussion Group, Vol. 20, No. 406.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist_at_princeton.edu

         Date: Wed, 24 Jan 2007 06:43:22 +0000
         From: Enrico Franconi <franconi_at_inf.unibz.it>
         Subject: European MSc in Computational Logic - scholarships available


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 of Science 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.


- * 10 FEBRUARY 2007 *: deadline for non-European students requesting
    an Erasmus Mundus scholarship
    (notification of acceptance: 10 March 2007)
- 15 June 2007: deadline for all European and non-European students
    (notification of acceptance: 15 July 2007)
- 24 August 2007: last deadline only for European students
    starting at the Free University of Bozen-Bolzano, Italy
    (notification of acceptance: 10 September 2007)

** NOTE **: 10 FEBRUARY 2007 is the final deadline for requesting an
Erasmus Mundus scholarship for non-European students!


In 2007 the European Masters Program in Computational Logic will offer
24 new Erasmus Mundus scholarships for non-European citizens (in 2004,
2005 and 2006 more than 50 Erasmus Mundus scholarships were given).
Special scholarships are offered to students from India, China,
Bosnia-Herzegovina, Serbia, Montenegro, Kosovo, Albania, and the
African, Caribbean, Pacific ACP Group of States. 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 of February 2007 is
the final deadline for requesting an Erasmus Mundus scholarship for
non-European students.

European citizens or non-European 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 more than 6,000 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 are entitled not to pay any
tuition/enrolment fees.

Check the web page for detailed info on applications and scholarships:


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

* 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).


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.
Bozen-Bolzano, 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. The city unites the
traditional with the modern. Young people and fashionable shops throng
the city centre where ancient mercantile buildings are an attractive
backdrop to a city that is in continual growth. To the south there is
the industrial and manufacturing area with prosperous small and
medium-sized businesses active in every economic sector. Back in the
17th century Bozen-Bolzano was already a flourishing mercantile city
that, thanks to its particular geographic position, functioned as a
kind of bridge between northern and southern Europe. As a multilingual
town and a cultural centre Bozen-Bolzano still has a lot to offer
today. Its plethora of theatres, concerts with special programmes,
cinemas and museums, combined with a series of trendy night spots that
create local colour make Bozen-Bolzano a city that is beginning to
cater for its increasingly demanding student population. And if you
fancy a very special experience, go and visit the city's favourite and
most famous resident - "Oetzi", the Ice Man of Similaun, housed in his
very own refrigerated room in the recently opened archaeological
Bozen-Bolzano and its surroundings are an El Dorado for sports lovers:
jogging on the grass alongside the River Talfer-Talvera, walks to
Jenesien-S.Genesio and on the nearby Schlern-Sciliar plateau,
excursions and mountain climbing in the Dolomites, swimming in the
numerous nearby lakes and, last but not least, skiing and snowboarding
in the surrounding ski areas.


Prof. Enrico Franconi at info_at_fub.computational-logic.eu

European Masters Program in Computational Logic
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 0461 173 9006
Email: info_at_fub.computational-logic.eu
Web site: http://www.computational-logic.eu
Received on Wed Jan 24 2007 - 02:06:08 EST

This archive was generated by hypermail 2.2.0 : Wed Jan 24 2007 - 02:06:09 EST