Inscrições no "European Master in Computational Logic"

 
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 possibly 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.
 
NEXT APPLICATION DEADLINES:
 
- 31 May 2008: deadline for all European and non-European students
   (notification of acceptance: 15 July 2008)
 
- 01 September 2008: last deadline only for European students
   starting at the Universidade Nova de Lisboa, Portugal
   (notification of acceptance: 10 September 2008)
 
SCHOLARSHIPS & MONEY SUPPORT:
 
There will be 12 consortium scholarships 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. Luis Moniz Pereira, at lmp@di.fct.unl.pt
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/