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