1. Tuyển Mod quản lý diễn đàn. Các thành viên xem chi tiết tại đây

European masters program in computational logic

Chủ đề trong 'Italy' bởi computerherd74, 19/05/2011.

  1. 1 người đang xem box này (Thành viên: 0, Khách: 1)
  1. computerherd74

    computerherd74 Thành viên mới

    Tham gia ngày:
    Bài viết:
    Đã được thích:

    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.


    31 May 2010 deadline for European and non-European students


    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 ad***ion, 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

    * 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, 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
    tra***ional 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 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

Chia sẻ trang này