* PLEASE DISTRIBUTE * ------------------------------------------------------------------------------------------------------------------------------------------
*** EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC *** http://ssdi.di.fct.unl.pt/masters/mcl/ The Department of Computer Science at Universidade Nova de Lisboa, Portugal, is offering the European Masters Program in Computational Logic as part of its Bologna 2nd cycle offer. It is an international distributed Master of Science course (MSc.), in cooperation with the computer science departments in the following universities: * Universidade Nova de Lisboa, Portugal * Free University of Bozen-Bolzano, Italy * Technische Universitaet Dresden, Germany * Technische Universitaet Wien, Austria * Universidad Politecnica de Madrid, Spain This program, entirely in English, involves studying one year at the Universidade Nova de Lisboa, 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 Mestrado em Lógica Computacional degree from the Universidade Nova de Lisboa, with legal value in Portugal, and the respective Master of Science degree from the visited university, with legal value in its country. APPLICATION DEADLINES: - *** 10 FEBRUARY 2009* ** : first deadline for all European and non-European students, and final deadline for non-European students requesting an Erasmus Mundus scholarship (notification of acceptance: 10 March 2009) - 31 May 2009: deadline for all European and non-European students (notification of acceptance: 15 June 2009) - 01 September 2009: last deadline only for European students starting at the Universidade Nova de Lisboa, Portugal (notification of acceptance: 5 September 2009) SCHOLARSHIPS & MONEY SUPPORT: In 2009 the European Union will offer several new Erasmus Mundus scholarships for non-European citizens (in 2004, 2005, 2006, 2007, 2008 more than 90 Erasmus Mundus scholarships were given). Each scholarship for each student amounts to 21,000 EUR per academic year; this includes 10 monthly grants of 1,600 EUR and a fixed amount of 5,000 EUR for fees, travel expenses, relocation costs, etc. The 10th of February 2009 is the final deadline for requesting an Erasmus Mundus scholarship for non-European students. Several scholarships are available for students not holding an Erasmus Mundus scholarship, to waive the tuition fee of 3.000 for students without a scholarship, on the basis of their academic merit. Every year 10 EMCL students with European citizenship can visit Australia (Canberra, Sydney, Melbourne or Brisbane) up to 3 months to work on a research project, sponsored by the European Master. The study period in Australia is part of the study programme and it is fully recognised by the European Master's Program in Computational Logic. The guaranteed scholarship is of 3,100 and it covers the travel and living expenses in Australia. APPLICATION: Check this web page for detailed info on applications: http://ssdi.di.fct.unl.pt/masters/mcl/content/prospective/how_to_apply.html 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, 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. Applicants should have a Bachelor degree (Bologna 1st cycle or equivalent) in Computer Science, Computer Engineering, Logic, or other relevant disciplines; special cases will be considered. The programme is part of the Master in Computational Logic (Mestrado em Lógica Computacional) and it has various strengths that make it unique amongst Portuguese 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. * 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 one of the few European Masters awarded by the European Union's Erasmus Mundus programme from its first year of existence in 2004. The Erasmus Mundus programme is a co-operation and mobility programme in the field of higher education which promotes the European Union as a centre of excellence in learning around the world. It supports European top-quality Masters Courses and enhances the visibility and attractiveness of European higher education in third-countries. It also provides EU-funded scholarships for third-country nationals participating in these Masters Courses, as well as scholarships for EU-nationals studying in third-countries. 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). FURTHER INFORMATION: Prof. José Júlio Alferes, at [email protected] Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2829-516 Caparica Portugal Phone: +351 21 294 8536 (Secretary) Fax: +351 21 294 8541 European MSc in Computational Logic site: http://ssdi.di.fct.unl.pt/masters/mcl/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
