[DL] European Master in Computational Logic - Grants for non European citizens

Enrico Franconi franconi at inf.unibz.it
Tue Feb 8 00:30:11 CET 2005


     *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC ***
               http://www.inf.unibz.it/mcs/emcl/

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 DEADLINES:

Non European citizens scholarships:  ***17 FEBRUARY 2005***
Non European citizens pre-enrolment: June 2005
European citizens pre-enrolment:     July 2005

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


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.

Applicants should have a Bachelor degree (Laurea) 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 19
European Masters awarded by  the Erasmus Mundus programme. 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.

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.
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
museum.
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.

For further information please contact:
Prof. 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/



More information about the dl mailing list