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 emhttp://centria.di.fct.unl.pt/~lmp/mestrado/

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ó 10-15

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 UNL ECTS Credit Points

Knowledge, Reasoning, and AgentsKnowledge Representation 4Computational Reasoning 4Agents 4

 12

ConstraintsTopics in Finite Domains 3

Constraints over Sets and Optimisation 3

Constraints on Continuous Domains 3Fuzzy Constraints 3

 12

Logic and ComputabilityComputability Theory 6

Complements of Modal Logic 6

 12

Semantic WebXML Technology 6Reasoning in the Semantic Web 6

 12

All Modules UNL Responsibility

Foundations L. M. Pereira

Logic and Constraint Programming P. Barahona

Advanced Logics R. Kahle

Integrated Logic Systems J. 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 email 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 http://europa.eu.int/comm/europeaid/projects/alban.

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 http://www.cl.inf.tu-dresden.de/compulog/. The draft summary structure of the new degree is attached. 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 http://europa.eu.int/comm/education/programmes/mundus/index_en.html. 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 lmp@di.fct.unl.pt or Professor Steffen Hoelldobler sh@inf.tu-dresden.de, for details. The ALBAN scholarships are good for both situations