European Master in Computational Logic - application deadline approaching

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 of  Science in  Computer
Science offer  (Laurea Magistrale).   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:

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

Within this  program, completely in  English, students will  spend the
first  semester  of the  first  year  at  the Technische  Universitaet
Dresden (TUD), the second semester of  the first year at the Free Uni-
versity of  Bozen-Bolzano (FUB), and the  second year in one  of the 4
partner universities chosen by the student.  It is possible to spend 3
summer months at the National ICT Australia (NICTA) Research Centre of
Excellence  in Australia,  which gives  the possibility  to work  on a
project at one  of the world's leading research  centers.  After this,
the student will obtain a joint European Master of Science degree.

APPLICATION DEADLINE:

31 May 2010   deadline for European and non-European students

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,   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 Magistrale 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  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:

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.

FURTHER INFORMATION:

Prof. Enrico Franconi or Dr. Sergio Tessaris
at info@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 0471 016 009
Email: info@fub.computational-logic.eu
Web site: http://www.computational-logic.eu

Received on Thursday, 19 May 2011 09:36:19 UTC