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
http://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ósgraduaçã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.
36)
Figurino
do
6)
Programa
Advanced Modules UNL
ECTS Credit Points
Knowledge, Reasoning, and Agents
12
Knowledge Representation 4
Computational Reasoning 4
Agents
4
Constraints
12
Topics in Finite Domains
3
Constraints over Sets and Optimisation 3
Constraints on Continuous Domains
Fuzzy Constraints
Logic and Computability
Computability Theory
Complements of Modal Logic
3
3
12
6
6
Semantic Web
XML Technology
Reasoning in the Semantic Web
12
6
6
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.tudresden.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 [email protected] or Professor Steffen Hoelldobler
[email protected], for details. The ALBAN scholarships are good for both situations