Mestrado em Lógica Computacional -- MSc in Computational Logic Ponto da situação, 18 Março 04 Departamento de Informática FCT/UNL Documentação adicional pode ser encontrada em

Enquadramento europeu Em Nov 03 a UE aprovou o novo programa Erasmus Mundus para financiamento de mestrados europeus distribuídos com o rótulo de qualidade exclusivo European Master. A primeira chamada abre em Mar 04, e serão aprovados só mestrados para início em 04. O financiamento envolve bolsas para estudantes (1.500 /mês), troca de professores, administração, publicidade, ensino de línguas. Cada estudante deverá frequentar duas universidades, e obtem dois diplomas com o rótulo referido, um de cada. É condição para um consórcio concorrer ao programa ter já estabelecido acordos bilaterais de double masters entre as universidades concorrentes. São necessários 3 ou mais parceiros.

Antecedentes - 1 A Lógica Computacional é uma área que a UE incentiva desde sempre. Em 96 a UNL tem a iniciativa, na rede europeia NoE Compulog, de uma reunião para criar um mestrado europeu em Computational Logic. O nó T.U. Dresden cria em 97 o International MSc in Computational Logic. Na nova rede NoE CoLogNet, UNL e T.U.Dresden são co-responsáveis pela actividade Education & Training, para criação de um double master entre eles, extensível a outros, com vista ao Erasmus Mundus. Em 03 UNL-Dresden obtêm financiamento de 100 k do DAAD alemão, a 3 anos, para estabelecimento de um double master conjunto em CL. São reconhecidas equivalências entre cadeiras do MIAA e MSc CL, ensaia-se o tele-teaching, e desenha-se o programa do double master.

Antecedentes - 2 Fim de Nov 03, reunião conjunta com a T.U. Madrid e a T.U. Vienna, para extensão a estas do acordo anterior UNL-Dresden, com vista a candidatura ao Erasmus Mundus. Resultou daí: –um acordo sobre o figurino do MSc CL distribuído ; –um Bilateral Memorandum of Understanding, genérico, a adoptar para todos os acordos bilaterais entre os quatro. Fev 04, reunião em Lisboa preparatória do figurino que inclui as, UNL, UPM Madrid, U Bolzano, TU Vienna, TU Dresden. Abril 04, reunião em Londres para preparação da candidatura ao Erasmus Mundus. Independentemente dessa candidatura, UNL-Dresden prosseguem com: –o estabelecimento de um double master em CL ; –a experimentação tele-teaching ; –troca de docentes ; –candidatura ao DAAD, Março 04, de um programa de PhD complementar ao MSc ; –apresentam candidatura ao programa ASIA-Link para captação de estudantes ; –preparam marketing e captação de estudantes pelo programa Alßan.

Antecedentes - 3 O DI-UNL tem promovido muito a Lógica Computacional: em projectos, redes, centros de investigação, licenciatura, mestrados, doutoramentos. O DI-UNL é reconhecido internacionalmente por tal. 14 dos seus doutores doutoraram-se na área ou trabalham nela: am, ap, cd, fa, gpl, jcruz, jcc, jja, jleite, jmp, jna, lm, lmp, mm, pb. As suas iniciativas e momentum criaram uma atempada oportunidade de afirmação no novo contexto do ensino distribuído europeu de pós- graduação, muito apoiado politicamente. Os passos já realizados para o Mestrado em LC têm sido acompanhados na FCT/UNL, e a sua criação aprovada em Plenário do Conselho Científico de 18 Fev 04.

Saliências do figurino do mestrado Mestrado de 2 anos e 120 ECTS, com tese de 30 ECTS no 4º semestre, compatível com a legislação portuguesa. Inserível no esquema 3+2 ou 4+2 (4+1.5 para alunos LEI é possível). Totalmente em Inglês para uma audiência internacional. Estruturado por módulos de 9-15 ECTS, que são agrupamentos de cadeiras. Inserção num mestrado europeu distribuído com double degree, módulos de base comuns a todos, e módulos avançados específicos. Tem bridging courses (realizáveis com equivalências), para captação de uma diversidade de origens de alunos. Contem uma cadeira de Projecto no 3º semestre de 12, ou de 24 ECTS, caso este que será compatível com a LEI.

Figurino do Programa 36) 6)

Advanced Modules UNLECTS Credit Points Knowledge, Reasoning, and Agents Knowledge Representation 4 Computational Reasoning 4 Agents 4 12 Constraints Topics in Finite Domains 3 Constraints over Sets and Optimisation 3 Constraints on Continuous Domains 3 Fuzzy Constraints 3 12 Logic and Computability Computability Theory 6 Complements of Modal Logic 6 12 Semantic Web XML Technology 6 Reasoning in the Semantic Web 6 12

All Modules UNLResponsibility FoundationsL. M. Pereira Logic and Constraint ProgrammingP. Barahona Advanced LogicsR. Kahle Integrated Logic SystemsJ. J. Alferes Knowledge, Reasoning, and Agents L. M. Pereira Constraints P. Barahona Logic and Computability A. Sernadas Semantic Web C. Damásio Other UNL lecturers: J. Aparício, F. Azevedo, M. Calejo, J. Cruz, N. Garcia, J. Leite, J. Moura Pires, C. Sernadas, G. Wheeler

Próximos passos Aprovação no Senado UNL (aprovado já no Plenário do CC da FCT/UNL). Redacção do regulamento comum. Fixação mais pormenorizada dos módulos específicos. Assinatura de protocolos inter-institucionais. Candidatura ao Erasmus Mundus - Abril 04. Reunião preparatória: Londres, 24 Abril 04. Promoção e procura de financiamentos nacionais. Marketing. Abertura de candidaturas e selecção de alunos – Junho/Julho 04. Início em Setembro 04.

ALBAN and ERASMUS MUNDUS master in CL announcement Next January 22 is the deadline for applying by to the european union ALBAN programme scholarships (about 1,500 euro/month) to study in europe for a master degree. ALBAN is targeted specifically for Latin America. See The Universidade Nova de Lisboa, Portugal, and T.U. Dresden, Germany, are setting up a new dual degree master programme in Computational Logic, beginning academic year 2004/05, on the basis of the existing one. See dresden.de/compulog/. The draft summary structure of the new degree is attached. dresden.de/compulog/ Students may apply for the dual degree (two diplomas are given), which involves staying at both universities (one year in each), or apply to a single university. Additionally, T.U. Dresden and Universidade Nova de Lisboa, jointly with U.P Madrid and T.U.Vienna, will apply in March 04 to the new european union ERASMUS MUNDUS programme, for funding a distributed European Master degree in Computational Logic, according to the same attached summary. This programme will provide similar scholarships to those of ALBAN, but targeting the whole world outside europe. See However, if our proposal is approved, applications will only be possible near June 04, to start in academic year 2004/05. Please contact Professor Luís Moniz Pereira or Professor Steffen Hoelldobler for details. The ALBAN scholarships are good for both