- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Wed, 27 Jan 2010 20:59:03 +0100
- To: petrinet@informatik.uni-hamburg.de, STI International <members@sti2.org>, institut@informatik.uibk.ac.at, irstseminar@dit.unitn.it, LOA ricercatori <loa@loa-cnr.it>, cg@conceptualgraphs.org
- Message-Id: <3FD9A7BA-BCF3-4278-9A5F-E349BB66E56D@inf.unibz.it>
*** 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: * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * 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 University of Bozen-Bolzano (FUB), and the second year in one of the 4 partner universities chosen by the student. After this, the student will obtain a joint European Master of Science degree. APPLICATION DEADLINE: - *** 15 May 2010 *** deadline for European and non-European students (notification of acceptance: 15 June 2008) SCHOLARSHIPS & MONEY SUPPORT: Several scholarships (all including a tuition/enrolment fee waiver) are offered by the EMCL to the best students for the duration of the master program: a FULL scholarship of 750 EUR per month; a SMALL scholarship of 200 EUR per month; and a SIMPLE tuition/enrolment fee waiver. European students will get a LLP Socrates Erasmus scholarship for the second year of study, corresponding to 330 EUR per month. European citizens can apply to scholarships which are granted purely on the basis of the yearly income of the applicant and of her/his parents or husband/wife. This scholarship is only for the year of study at FUB and it may amount up to more than 6,000 EUR per academic year, plus support on the accommodation and a tuition/enrolment fee waiver. These scholarships are also available to non-European citizens with residence in Italy. 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 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 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. 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 Wednesday, 27 January 2010 20:02:43 UTC