ELSNET-list archive

Category:   E-SSchool
From:   Enrico Franconi
Email:   franconi_(on)_inf.unibz.it
Date received:   01 Jul 2004
Deadline:   27 Aug 2004

- We apologise if you receive this more than once. You're receiving - - this message since you are a subscriber of a relevant mailing list - *** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** 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 deadline: 27th August 2004 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. 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. Applications at the Free University of Bozen-Bolzano The European Masters Program in Computational Logic is part of the Master of Science in Computer Science (Laurea specialistica in Informatica) of the Free University of Bolzano-Bozen. The Master comprises 120 CTS credits and has a duration of two years (including the thesis). Each year's course is divided into two semesters. The courses start at the end of September. Students enrolling at the Free University of Bozen-Bolzano for the European Master are required to have a year of stay at one of the partner universities. The continuation of studies toward the PhD doctoral degree is possible. Applicants should have a Bachelor degree (Laurea) in Computer Science, Computer Engineering, or other relevant disciplines; special cases will be considered. Applicants are expected to pre-enrol using the application form available at the course web site. The application form must be given in by the 27th August 2004, at the Student Secretariat of Bozen-Bolzano or it may be sent by surface mail. Please refer to the course web site for detailed instructions. University and province offer grants for supporting the studies, the work on dissertations, post-graduate studies, housing, canteens, and special initiatives for the disabled. Students will be supported by the University Advisory Service. Its staff will give important information, will help with the enrolment procedure, with the application for a residence permit (for foreign students, if necessary) and with accommodation. The office is supported by student helpers who act as tutors for students and show them around the university. Special support is given to foreign students by the International Relations Office. The Language Centre provides language courses for students enrolled at the University and for those on international exchange programmes, and it runs an advisory service for autonomous language learning, which takes place in its fully-equipped, flexibly run language laboratory. There are two different student associations: "Kikero" organises social events, student parties, trips and other activities; S.C.U.B "Sports Club University Bolzano" organises sports activities, particularly alpine sports like free-climbing, trekking, skiing. 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. South Tyrol, 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. For further information please contact: Enrico Franconi at franconi_(on)_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_(on)_unibz.it Web site: http://www.inf.unibz.it/mcs/emcl/ _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_mailman.elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET