Logic List Mailing Archive

European Master in Computational Logic, Bolzano, Dresden, Lisboa, Wien, Madrid; Deadline: 22 August 2008

European Master in Computational Logic - scholarships for European
students - last deadline

http://www.computational-logic.eu
(DEADLINE: 22:08:2008)
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 i
n
South-Tyrol), � is � offering � the � European� Masters � Progr
am � in
Computational� Logic as� part of� its� Master of� Science in� C
omputer
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 th
e
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 completing the second year with
a stay� in one� of the partner� universities. After this,� the stud
ent
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 it
s
country.

APPLICATION DEADLINE:

- 22 August 2008: last deadline only for European students
�starting at the Free University of Bozen-Bolzano, Italy
�(notification of acceptance: 5 September 2008)

SCHOLARSHIPS & MONEY SUPPORT:

European citizens� can apply to scholarships which� are granted purely
on the� basis of� the yearly� income of the� applicant and� of he
r/his
parents� or husband/wife.� This scholarship� is only� for the� ye
ar of
study at FUB and it may amount� up to more than 6,000 EUR per academic
year, plus support on the accommodation and reimbursement of the local
enrolment fees.� These scholarships are also available to non-European
citizens with� residence in Italy.� European students will also� get 
a
LLP Socrates Erasmus scholarship for� the second year of study abroad,
which is 330 EUR per month.

� NEW! Several tuition fee waivers are granted by the European Master
� to students with� good qualifications on a first� come first served
� basis. All applicants will be considered for tuition fee waivers.

� NEW!� Every year 10� students with� European citizenship� can v
isit
� Australia (Canberra, Sidney, Melbourne� or Brisbane) up to 3 months
� to work� on a research� project, sponsored by the� European Maste
r.
� The study period in Australia is part of the study programme and it
� is � fully� recognised � by� the � European� Master's � P
rogram� in
� Computational Logic. The guaranteed scholarship is of 3,100 EUR and
� it covers� the travel� and living expenses� in Australia.

� The KRDB Research Centre offers� the annual "IBM & KRDB" awards for
� the best� thesis on a� Computational Logic related topic,� which 
is
� generously sponsored� by the IBM Center for� Advanced Studies; each
� winner� will receive� a laptop� computer from� IBM. In� addit
ion to
� that,� the Italian� site in� Rome of� the IBM� Center� for 
Advanced
� Studies� supports scholarships� of up� to 2,400� EUR to� work
� on a
� research project or on the thesis at their labs in Rome.
Check the web page for� detailed info on other available scholarships:
http://www.computational-logic.eu

THE STUDY PROGRAMME:

The� European Masters Program� in Computational� Logic is� designed
 to
meet� the demands� of industry� and research� in this� rapidly gr
owing
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 o
f
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. Thi
s
basic� knowledge is� then� applied� to areas� like� logic and
� natural
language� processing,� logic� and� the semantic� web,� bioinfor
matics,
information� systems and� database technology,� software� and hardw
are
verification.� Students� will acquire� practical� experience and�
 will
become� familiar in� the use� of tools� within these� application
s. In
addition, students will� be prepared for a future� PhD, they will come
in� contact with� the� international research� community� and wil
l� be
integrated � into� ongoing� research � projects.� They � will
� develop
competence� in� foreign� languages� and� international� relatio
nships,
thereby improving their social skills.

Applicants� should� have� a� Bachelor� degree� (Laurea� trien
nale)� 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 Europ
ean
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� degr
ee� 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 resear
ch
� internships that can lead to future employment.
* Excellent scholarship opportunities and student accommodations.

The� European� Masters Program� in� Computational� Logic is� sp
onsored
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� Profess
ional
Informatics� Societies), the� Italian� Association for� Logic and
� its
Applications� (AILA), and� the Portuguese� Association� for Artific
ial
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 � enviro
nment� 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 fro
m
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 throu
gh� the
student's educational career.

Bozen-Bolzano, due to its enviable geographical position in the centre
of � the� Dolomites,� also � offers� our � students� a � mu
ltitude� of
opportunities� for� spending� their� free-time. The� city� unit
es� 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� sma
ll� 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 programm
es,
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 yo
u
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� archaeo
logical
museum.

Bozen-Bolzano and its surroundings are an El Dorado for sports lovers:
jogging� on the� grass alongside� the River� Talfer-Talvera,� wal
ks to
Jenesien-S.Genesio � and� on � the� nearby � Schlern-Sciliar� p
lateau,
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:

Sergio Tessaris (director) or Enrico Franconi
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