Departamento de Matemática PRESIDÊNCIA COMISSÃO EXECUTIVA

Transcrição

1 Departamento de Matemática PRESIDÊNCIA COMISSÃO EXECUTIVA Relatório de Actividades 2006

2 Este relatório apresenta um resumo das actividades desenvolvidas pela presidência e pela comissão executiva do Departamento de Matemática em Estas actividades podem dividir-se em dois grupos de assuntos: (i) Assuntos ordinários (que apresentam periodicidade e previsibilidade) (ii) Assuntos extraordinários (resultantes de iniciativas internas ou externas) O relatório incide essencialmente nos assuntos extraordinários envolvendo o departamento com participação, não exclusiva, da comissão executiva. Carlos J. S. Alves Francisco Miguel Dionísio João Branco Ana Bela Cruzeiro Carlos Florentino Nuno Martins

3 RELATÓRIO de ACTIVIDADES 2006 Assunto 1. Processo de Bolonha votação e candidaturas - Adequação da LMAC - Adequação/Criação do MMA Assunto 2. Aprovação das Áreas Científicas do DM. Assunto 3. Adesão do IST à A.M.S. enquanto membro institucional. Assunto 4. Regulamento da Biblioteca de Revistas do DM. Assunto 5. Contratação do funcionário José Cheng. Assunto 6. Contratação de Professores Convidados a 0%. Assunto 7. Provas de Agregação dos Professores: José Sousa Ramos, Jorge Buescu Assunto 8. Processos de Provimentos Definitivos dos Professores: Ana Cannas da Silva, Maria João Borges, Sílvia Anjos, Jorge Silva, José Luís Fachada, Rui Saramago, António Marques Fernandes, Giovani Silva, Nuno Martins, Manuel Morais Assunto 9. Processo de Bolonha - Proposta: 2º ciclo em Estatística e Aplicações - Proposta: 2º ciclo em Ciência da Computação Aplicada Assunto 10. Programa de Doutoramento em Matemática - Adequação/Criação do DEA em Matemática Assunto 11. Programa de Doutoramento em Estatística e Processos Estocásticos (EPE) - Criação do Prog. Dout. e do DEA em EPE Assunto 12. Regulamento dos Programas de Doutoramento Assunto 13. Créditos lectivos para disciplinas de Mestrado Assunto 14. Plano de Transição LMAC-MMA no quadro de Bolonha Programa PHP para inscrição dos alunos Assunto 15. Concursos para Professor Associado e Catedrático Assunto 16. Criação do Centro de Análise Funcional e Aplicações Assunto 17. Regulamento do Serviço de Exames alteração ao 4-6 Assunto 18. Overheads dos Projectos investigadores principais Assunto 19. Pedido ao CD relativos à qualidade no local de trabalho: (i) análises de ar, (ii) mudança das aulas laboratoriais Assunto 20. (a) Atribuição da Sala 2.17 ao DM: (b) Posterior concessão da Sala P13-aulas laboratoriais Assunto 21. Implementação do Plano de Recuperação em Matemática Assunto 22. Regularização dos créditos docentes anteriores a 2006/07 Assunto 23. Serviço de requisição de artigos via British Library. Assunto 24. Reequipamento: (impressoras, mobiliário). Assunto 25. Documento do DM (pelo Prof. F. Romeiras), no âmbito dos 25 anos do DM e 20 anos da LMAC. Anexo C1 Anexo C2 Anexo C3 Anexo D1 Anexo C4 Anexo C5 Anexo C6 Anexo C7 Anexo C8 Anexo C9 Anexo D2 Anexo D3 Anexo D4 Anexo D5

4 ANEXO C1 Assuntos Científicos C1. Áreas Científicas do Departamento de Matemática (Aviso DR 6274/2006) (lista ilustrativa com disciplinas actuais a ser actualizada posteriormente) (A0) Matemáticas Gerais Álgebra Linear Análise Matemática I Análise Matemática II Análise Matemática III Análise Matemática IV Matemática I Matemática II [A1] Lógica e Computação (03, 68) Programação Teoria Processos Concorrentes [#68Q10] Elementos de Programação Elementos de Criptografia [#68P25] Teoria da Computação Lógica Matemática - 4º ano [#03] Matemática Discreta Novos Paradigmas Comput. [#68Q05] Lógica e Teoria da Computação [#03] Elementos de Programação [#68W] Computab. e Complexidade I [#03D] Programação Funcional [#03B40] Computab. e Complexidade II [#68Q15] Estrut. de Dados e Algoritmos [#68Q25] Lógica Computacional [ #68T15, #03] Teoria da Computabilidade [#03] Fund. Algéb. Eng. Prog. [#68Q65] Complementos de Lógica Modal (D) Esp. Verif. de Sist. Reactivos [#68Q60] Comput., Informação e Lógica Quânticas (D) [A2] Álgebra e Topologia (05-22, 54, 55, 57) Introdução à Álgebra - [#15, #16] Álgebra - [#15, #16] Combinatória e T. de Códigos - [#05] Álgebra Comutativa (M) - [#13] Topologia Algébrica (M) - [#55] Top. Geral Intr. An. Func. - [#54] Programação Matemática [#05, #90] Teoria das Categorias (M) - 5º ano [#18] Teoria da Homotopia (D) [A3] Equações Diferenciais e Sistemas Dinâmicos (34 39, 49) Equações Diferenciais Ordinárias [#34] T. Ergódica Dinâm. Hiperb. (M)[ #37D25] Mecânica Geométrica (M) [#37J] T. Bifurcação Eq. Diferenciais [#58E07] Fund. de Eq. Dif. Parciais [#35] Análise Harmónica (M) [#35 #43] Sistemas Dinâmicos Discretos (D) Cálculo de Variações e Equações Diferenciais Parciais (M) [A3b: #49] Sistemas Dinâmicos de Dimensão Infinita (D) Equações Diferenciais Parciais de Evolução (D)

5 ANEXO C1 (cont.) [A4] Análise Real e Análise Funcional (26-33, 40-47) Medida e Integração - [#28] Análise Complexa - [#30] Transformações Integrais e Distribuições [#46] Análise Funcional (M) - 4º ano [#46] Álgebras de Operadores (M) [#47] Introd. à K-Teoria para Álgebras de Operadores(M) Operadores Pseudodiferenciais (D) Tópicos de Operadores Integrais Singulares (M) Análise Real (M) [A5] Geometria (14, 51, 52, 53, 57, 58) Geometria I [#51] Geometria Riemanniana [#58] Geometria Diferencial (M) [#53] Grupos de Lie e Álg. de Lie (M) - [#53 #22, #17] Superfícies de Riemann (M) Geometria Algébrica (D) Geometria Simplética (D) [A6] Probabilidades e Estatística (60, 62) Probabilidades e Estatística Processos Estocásticos Aplicados [#60K] Probabilidades e Estatística I [#60, #62] Estatística Computacional (M) [#62F] Probabilidades e Estatística II [#60, #62] Estatística Biomédica (M) [#62N05] Fiabilidade e Contr. de Qualidade [#62N05] Estat. Industr. Amb. (M) [#62N05, #62M30] Inferência e Decisão I, II [#62C; #62F] Inferência Estatística (ME) Análise Multivariada [#62H] Probabilidades (ME) Processos Estocásticos [#60J-K] Processos Estocásticos e Aplicações (ME) Análise de Dados Categorizados [#62H] Análise de Dados Multivariados [A7] Análise Numérica e Análise Aplicada (35, 65, 70-80) Métodos Numéricos, Análise Numérica Análise e Simulação Numérica Matemática Computacional Matemática Experimental [#65; #68] Análise Numérica I [#65] Análise Numérica II [#65] Diferenças Finitas e Aplicações [#65M06] Mét. Num. Probl. Elípticos [#65, #35A35] Mét. Num. Eq. de Evolução [#65M] Elem. de Fronteira e Aplic. (M) [#65N38] An. Numérica de Eq. Integrais (M)[ #65R20] Mét. Num. Eq. Dif. Ordinárias (M) [#65L] Teoria Matemática das Ondas (M) [#76B15] Probl. Inversos EDPs (D) [#35R30] Mét. Mat. Num. Mec. Fluidos I e II (D) Mét. Matem. em Hemodinâmica (D) [A8] Física-Matemática (81-83) Integração Funcional e Aplicações à Mecânica Quântica (M) [#60; #81] Teoria Quântica do Campo e Cordas para Matemáticos (M) Monopólos e Curvas Algébricas (M) (Aprovação em Conselho de Departamento, 10 de Fevereiro de 2006)

6 ANEXO C2 Assuntos Científicos C2. Adequação da LMAC e MMA ao Processo de Bolonha (Apresentação no Senado do IST) Licenciatura em Matemática Aplicada e Computação Opções 3º ano Mercado de Trabalho Outros Mestrados Outras Licenciaturas em Matemática (PT ou UE) Outras Licenciaturas em Engenharia ou Ciência Programa de Transição Mestrado em Matemática e Aplicações Perfil de Matemática Pura Perfil de Matemática Aplicada

7 C2. Adequação da LMAC Tronco Comum : 1º e 2º Ano ANEXO C2 (cont.)

8 ANEXO C2 (cont.) C2. Adequação da LMAC Tronco Comum : 3º Ano Distribuição ECTS por Áreas Científicas

9 ANEXO C3 Assuntos Científicos C3. Adequação/Criação do MMA - Processo de Bolonha Perfil em Matemática e Aplicações Fundamentais (quadro orientador do plano curricular) 1º Semestre ECTS Área Cientifica Fundamentos de Álgebra * 7.5 Álgebra e Complementos de Álgebra 6 Topologia Fundamentos de Topologia e Análise Real 7.5 Análise Funcional 6 Análise Real e Análise Funcional Complementos de Análise Complexa 6 Geometria Riemanniana 6 6 Geometria Geometria Diferencial Equações Diferenciais Ordinárias 6 Eq. Diferenciais e Sist. Dinâmicos Opção >4.5 Seminário de Investigação e Relatório 3-6 Total 30 2º Semestre ECTS Área Cientifica Topologia Algébrica 6 Álgebra e Álgebra Comutativa 6 Topologia Complementos de Análise Real 6 Análise Real e Álgebras de Operadores 6 Análise Funcional Opção em Geometria 6 Geometria Equações Diferenciais Parciais 6 Eq. Diferenciais e Sist. Dinâmicos Opção 6 Seminário de Investigação e Projecto 6 Total 30 3º e 4º Semestre ECTS Área Cientifica 3 Opções Dissertação de Mestrado I e II Total 60 * Álgebra Geral, no caso de alunos que tenham completado Introdução à Álgebra.

10 ANEXO C3 (cont.) Assuntos Científicos C3. Adequação/Criação do MMA - Processo de Bolonha Perfil em Matemática Aplicada e Computação (quadro orientador do plano curricular) 1º Semestre ECTS Área Cientifica Fundam. de Lógica e Teoria da Computação 7.5 Lógica e Computabilidade e Complexidade 6 Computação Fundamentos de Topologia e Análise Real 7.5 Análise Funcional 6 Análise Real e Análise Funcional Complementos de Análise Complexa 6 Fundamentos de Probabilidade e Estatística * Teoria da Probabilidade Análise Numérica 7.5 Análise Numérica Funcional e Optimização 6 Opção >4.5 Seminário de Investigação e Relatório 3-6 Total Probabilidades e Estatística Análise Numérica e Análise Aplicada 2º Semestre ECTS Área Cientifica Lógica Funcional e Teoria da Demonstração 6 Lógica e Fundamentos Algébricos da Computação 6 Computação Equações Diferenciais Parciais 6 Eq. Diferenciais e Sist. Dinâmicos Estatística Matemática 6 Probabilidades e Processos Estocásticos e Aplicações 6 Estatística Análise Numérica de EDPs 6 Análise Numérica e Análise Aplicada Opção 6 Seminário de Investigação e Projecto 6 Total 30 3º e 4º Semestre ECTS Área Cientifica 3 Opções Dissertação de Mestrado I e II Total 60 * Alternativamente, Introdução aos Processos Estocásticos ou Inferência Estatística, caso estas disciplinas não tinham sido efectuadas no 1º ciclo.

11 ANEXO C4 Assuntos Científicos C4. Eventual contratação de professores auxiliares convidados (PXC a 0%) (a) Anúncio O Departamento de Matemática do IST considera a possibilidade de contar com a colaboração activa de bolseiros post-doc na sua componente lectiva. Essa possibilidade pode ser formalizada através de um contrato como Professor Auxiliar Convidado a 0%, com uma participação semelhante à de um Professor Auxiliar (em particular, 6h lectivas por semana). O contrato a 0% não prevê qualquer remuneração pela tarefa lectiva, sendo por isso dirigido a bolseiros post-doc que já têm uma remuneração assegurada na investigação e que pretendem completar o seu curriculum com esta componente pedagógica. Os interessados neste tipo de contrato para o ano lectivo de 2006/07, devem enviar o seu CV, em ficheiro PDF, para rbrito@math.ist.utl.pt até ao final do mês de Abril de Faz-se ainda notar que para além da selecção inicial, que será feita por um júri, o contrato requer a aprovação dos membros do Conselho Científico do Departamento e da Coordenação Científica do IST. Será dada preferência a bolseiros post-doc em Matemática que tenham contactos científicos com professores do Departamento, e que sejam fluentes na língua portuguesa. O Departamento pode ainda considerar contratações superiores a 0% quando tal se justificar. (b) Candidaturas Houve 5 concorrentes, post-docs do CAMGSD. A ordenação dos candidatos foi pedida aos professores catedráticos do DM, tendo sido também recebido um parecer do Prof. Carlos Rocha, enquanto presidente do CAMGSD. Esse parecer foi comunicado aos candidatos, e apenas o candidato classificado unanimemente em 1º lugar (Doutora Claudia Valls Anglés) manteve a sua candidatura. (c) Contratação A Doutora Claudia Valls Anglés foi proposta como Professora Auxiliar Convidada na Secção 81, com percentagem de 30% (percentagem possível pela existência 0.3 ETIs diponíveis na quota de monitores dessa Secção). A contratação como PXC a 30% foi aprovada pela CCCC do IST em reunião de 12 Julho de 2006.

12 ANEXOS C5, C6 Assuntos Científicos C5. Proposta de Criação de 2º Ciclos : - Mestrado em Ciência da Computação Aplicada - Mestrado em Estatística e Aplicações As propostas foram apresentadas na CCCC do IST em 5 e 12 Julho de Por decisão do Conselho Directivo, das 6 propostas de criação de novos 2º ciclos, apenas foi decidido avançar com a proposta de um novo 2º ciclo em Bioengenharia e Nanossistemas, no TagusPark. C6. Adequação/Criação de 3º Ciclos & Programas de Doutoramento : - Programa de Doutoramento em Matemática - Programa de Doutoramento em Estatística e Proc. Estocásticos APRESENTAÇÃO no SENADO do IST (21 Junho 2006) ENQUADRAMENTO da FORMAÇÃO em MATEMÁTICA (no quadro do processo de Bolonha) 1º ciclo 2º ciclo LMAC MMA MEA MCCA Lic. - Mat. ; IST; EU MSc - Mat. ; IST; EU Programa de Transição 3º ciclo DEA-M DEA-E&PE DEA, PhD - IST; EU Exames de Qualificação PD-M Matemática PD-E&PE Estatística e Processos Estocásticos

13 ANEXO C6 (cont.) Assuntos Científicos C6. Adequação/Criação de 3º Ciclos & Programas de Doutoramento : - Programa de Doutoramento em Matemática - Programa de Doutoramento em Estatística e Proc. Estocásticos PROGRAMA de DOUTORAMENTO em MATEMÁTICA Diploma de Estudos Avançados (DEA) 1º Semestre 2º Semestre 30 ECTS (5 disciplinas: 4D +1M ou 5D) < 18ECTS área Científica 3 ECTS (seminário) Disciplinas de 6 ECTS PROGRAMA de DOUTORAMENTO em ESTATÍSTICA e PROCESSOS ESTOCÁSTICOS Diploma de Estudos Avançados (DEA) 1º Semestre 2º Semestre 30 ECTS (5 disciplinas: 4D +1M) 3 ECTS (seminário) Disciplinas de 6 ECTS NOTA: Disciplinas de Seminário passaram a = 3 ECTS, por uniformização IST.

14 ANEXO C7 Assuntos Científicos C7. Regulamento dos Programas de Doutoramento do DM (aprovado em Conselho Científico do DM em 6 de Junho de 2006) Aos Programas de Doutoramento do Departamento de Matemática aplica-se o Regulamento dos Doutoramentos IST, com as seguintes disposições específicas: 1. Áreas Científicas a) No Programa de Doutoramento em Matemática consideram-se as seguintes 7 áreas científicas do Departamento de Matemática: Lógica e Computação Álgebra e Topologia Equações Diferenciais e Sistemas Dinâmicos Análise Real e Análise Funcional Geometria Análise Numérica e Análise Aplicada Física-Matemática b) No Programa de Doutoramento em Estatística e Processos Estocásticos considera-se a seguinte área científica do Departamento de Matemática: Probabilidades e Estatística 2. Admissão A selecção das candidaturas ao acesso aos ciclos de estudo rege-se pelas normas constantes do Artigo 53 do Regulamento do Programa de Doutoramento do IST. 3. Coordenação do Programa de Doutoramento A coordenação científica dos Programas de Doutoramento do Departamento de Matemática rege-se pelas normas constantes dos Artigos 38 e 39 do Regulamento do Programa de Doutoramento do IST, com as seguintes especificidades: (a) A coordenação do Programa de Doutoramento é constituída por professores ou investigadores do Departamento de Matemática que tenham publicado nos 5 anos anteriores - artigos de investigação constantes nas bases de dados internacionais ISI, Zentralblatt ou MathSciNet. As classificações MSC dos artigos aí constantes define a(s) área(s) científica(s) desse professor na coordenação *. (b) O Coordenador do Programa de Doutoramento é um professor associado ou catedrático (podendo ser professor convidado, em exclusividade de funções, ou investigador principal), satisfazendo o critério referido na alínea (a), nas áreas científicas do Programa de Doutoramento. É eleito pelo Conselho Científico do Departamento de Matemática. (c) A Comissão Coordenadora do Programa de Doutoramento é constituída pelo Coordenador do Programa de Doutoramento e por um elemento de cada uma das áreas científicas referidas no ponto 1.a), dois elementos no caso 1.b). Estes elementos são eleitos por, e de entre, os professores (ou investigadores) do Departamento de Matemática, que satisfaçam o critério referido na alínea (a) na área científica correspondente. * Proposta para os Programas de Doutoramento do Departamento de Matemática. À Presidência do DM compete resolver os casos de dúvida de MSC/área-científica, ouvidos os autores. Considera-se a classificação MSC primary (alternativamente uma classificação MSC secondary se o autor o requerer). Um representante de Probabilidades (MSC 60) e outro de Estatística (MSC 62).

15 ANEXO C7 (cont.) 4. Exames de Qualificação (a) É exigida a aprovação em dois exames de qualificação, conforme previsto no Artigo 8 do Regulamento do Programa de Doutoramento do IST. (b) As duas disciplinas fundamentais referidas nos 8.1, 8.2 do Regulamento do Programa de Doutoramento do IST são, no Programa de Doutoramento em Matemática, escolhidas entre as seguintes 5: Álgebra (área científica: Álgebra e Topologia) Geometria e Topologia (área científica: Geometria) Análise Matemática (áreas científicas: An. Real An. Func. e Eq. Dif. Sist. Din.) Análise Numérica (área científica: An. Numérica e An. Aplicada) Lógica e Computação (área científica: Lógica e Computação) (c) As duas disciplinas fundamentais referidas nos 8.1, 8.2 do Regulamento do Programa de Doutoramento do IST são, no Programa de Doutoramento em Estatística e Processos Estocásticos: Probababilidades e Proc. Estocásticos (área científica: Probabilidades e Estatística, MSC 60) Estatística (área científica: Probabilidades e Estatística, MSC 62) (d) Estas disciplinas não têm componente lectiva, sendo o Exame de Qualificação da responsabilidade de um professor do Departamento de Matemática, nas condições referidas no ponto 3.a) do presente regulamento, nomeado pela Comissão Coordenadora do Departamento de Matemática, atendendo às áreas científicas indicativas enunciadas nas alíneas anteriores. 5. Comissão de Acompanhamento da Tese de Doutoramento A escolha do orientador é feita livremente pelo aluno, mediante a sua anuência. Em situações indefinidas ou transitórias assume funções de orientador o Coordenador do Programa de Doutoramento, que pode delegar num vogal da Comissão Coordenadora que represente uma área científica da Tese. (a) A comissão de acompanhamento da tese de doutoramento é constituída de acordo com o constante no Artigo 40 do Regulamento dos Programas de Doutoramento do IST. (b) No que se refere o ponto 40.1b) é considerado que os 2 professores devem verificar as condições de actividade científica na área da tese, conforme a alínea 3.a) do presente regulamento. Os professores da comissão de acompanhamento devem integrar o júri de doutoramento, salvo justificação a apresentar à Comissão Coordenadora do Departamento de Matemática. (c) A comissão de acompanhamento tem as competências e obrigações previstas no Artigo 41 do Regulamento dos Programas de Doutoramento do IST. 6. Qualificação do Doutoramento De acordo com o constante no Artigo 12 do Regulamento dos Programas de Doutoramento do IST, é atribuída a qualificação de Muito Bom ou Excelente ( 12.1). A qualificação de Excelente é atribuída segundo os parâmetros definidos no ponto 12.2, em particular será apenas atribuída a qualificação Excelente quando a parte curricular do DEA for concluída com média não inferior a 16 valores *, e em que haja pelo menos uma publicação, resultante da tese, já aceite (em revista constante das bases de dados ISI, Zentralblatt ou MathSciNet). * Conforme consta da Regulamentação de Doutoramento do IST. Específico para os Doutoramentos do Departamento de Matemática.

16 ANEXO C8 Assuntos Científicos C8. Plano de Transição LMAC 2006/07 Equivalências entre disciplinas da LMAC-pB * e disciplinas da LMAC-B * Unidade Curricular na LMAC pb Unidade Curricular na LMAC B Matemática Experimental ou Matemática Computacional 1a.1s Matemática Experimental (B) 1a.1s Álgebra Linear 1a.1s Álgebra Linear (B) 1a.1s Elementos de Matemática Finita 1a.1s Elementos de Programação 1a.1s Elementos de Programação 1a.1s. Programação Funcional 2a.1s Elementos de Programação 1a.1s. Teoria da Computação 1a.1s Lógica Matemática 2a.2s. Lógica e Teoria da Computação 2a.1s Lógica Matemática 2a.2s. Topologia 2a.2s Topologia 2a.2s. Topologia Geral e Introdução à Análise Funcional 3a.2s Topologia 2a.2s. Análise Matemática I 1a.1s Cálculo Diferencial e Integral I 1a.1s Introdução à Álgebra 1a.2s Introdução à Álgebra 2a.1s Probabilidades e Estatística I 2a.1s Probabilidades e Estatística 2a.1s Probabilidades e Estatística II 2a.2s Complem. Probabilidades e Estatística 2a.2s Análise Matemática II 1a.2s Introdução à Optimização 1a.2s Análise Matemática III 2a.1s. Cálculo Diferencial e Integral II 1a.2s Análise Matemática IV 2a.2s Análise Complexa e Eq. Diferenciais 2a.1s. Análise Numérica I 2a.2s Matemática Computacional (B) 2a.2s Análise Numérica II 3a.1s Análise Numérica 3a.1s Geometria I 1a.2s Introdução à Geometria 1a.2s Mecânica e Ondas 1a.2s Mecânica e Ondas 1a.2s Termodinâmica e Estrutura da Matéria 2a.1s Termodinâmica e Estrutura da Matéria 2a.1s Electromagnetismo e Óptica 2a.2s Electromagnetismo e Óptica 2a.2s Projecto em Matemática 3a.2s Projecto em Matemática 3a.2s Seminário 3a.2s Seminário e Monografia 3a.1s Seminário de Matemática 2a.1s Seminário de Matemática 2a.1s Gestão 1a.2s Medida e Integração ou Fundam. de Topologia e Análise Real ** 3a.1s Análise Real 3a.2s 4a.1s Topologia 2a.2s * pb refere-se aos estudos pré-bolonha B - refere-se aos estudos pós-bolonha * Alunos que não tenham concluído, até ao fim do ano lectivo 2006/07, nenhuma destas duas cadeiras ou que tenham concluido (ou planeiem concluir) Topologia podem benificiar da seguinte regra de conversão para Bolonha: Quatro unidades curriculares opcionais concluídas até ao fim do ano lectivo de 2006/07 (30 ECTS) têm equivalência às quatro unidades curriculares correspondentes e, adicionalmente, a uma unidade curricular de Opção IST (24 ECTS + 6 ECTS).

17 ANEXO C8 (cont.) Assuntos Científicos C8. Plano de Transição LMAC/MMA 2006/07 Equivalências entre disciplinas da LMAC-pB e Disciplinas da LMAC/MMA-B Unidade Curricular na LMAC - pb Álgebra Álgebra Comutativa Álgebras de Operadores Análise Complexa Análise de Dados Categorizados Análise de Modelos Lineares Análise Funcional Análise Harmónica Análise Multivariada Análise Numérica de Equações Diferenciais Parciais Análise Numérica de Equações Integrais Análise Numérica Funcional e Optimização Análise Numérica II Cálculo de Variações e Equações Diferenciais Parciais Combinatória e Teoria de Códigos Complementos de Álgebra Computabilidade e Complexidade I Computabilidade e Complexidade II Diferenças Finitas e Aplicações Elementos de Criptografia Elementos de Fronteira e Aplicações Equações Diferenciais Ordinárias Especificação e Verificação de Sistemas Concorrentes Especificação e Verificação de Sistemas Reactivos Estatística Biomédica Estatística Computacional Estatística Industrial e Ambiental Estruturas de Dados e Algoritmos Fiabilidade e Controlo de Qualidade Fundamentos Algébricos da Engenharia da Programação Fundamentos de Álgebra Fundamentos de Equações Diferenciais Parciais Fundamentos de Lógica e Teoria da Computação Fundamentos de Probabilidades e Estatística Fundamentos de Topologia e Análise Real Geometria Diferencial Geometria Riemanniana Grupos de Lie e Álgebras de Lie Inferência e Decisão I Inferência e Decisão II Integração Funcional e Aplicações à Mecânica Quântica Lógica Computacional Lógica Matemática Mecânica Geométrica Métodos Assimptóticos Métodos Numéricos para Equações de Evolução Métodos Numéricos para Equações Diferenciais Ordinárias Métodos Numéricos para Problemas Elípticos Modelos Matemáticos em Hemodinâmica Novos Paradigmas da Computação Unidade Curricular na LMAC/MMA B Álgebra Geral Álgebra Comutativa Álgebras de Operadores Complementos de Análise Complexa Análise de Dados Categorizados Análise de Modelos Lineares Análise Funcional Análise Harmónica Análise Multivariada Análise Numérica de Equações Diferenciais Parciais Análise Numérica de Equações Integrais Análise Numérica Funcional e Optimização Análise Numérica Cálculo de Variações e Equações Diferenciais Parciais Combinatória e Teoria de Códigos Complementos de Álgebra Introdução à Computabilidade e Complexidade Computabilidade e Complexidade Opção em Análise Numérica e Análise Aplicada Criptografia e Protocolos de Segurança Elementos de Fronteira e Aplicações Equações Diferenciais Ordinárias Concepção e Verificação de Sistemas Concorrentes Concepção e Verificação de Sistemas Concorrentes Estatística Biomédica Estatística Computacional Estatística Industrial e Ambiental Algoritmos e Modelação Computacional Opção em Probabilidades e Estatística Fundamentos Algébricos da Computação Fundamentos de Álgebra Equações Diferenciais Parciais Fundamentos de Lógica e Teoria da Computação Fundamentos de Probabilidades e Estatística Fundamentos de Topologia e Análise Real Geometria Diferencial Geometria Riemanniana Grupos de Lie e Álgebras de Lie Inferência Estatística Inferência Bayesiana Integração Funcional e Aplicações à Mecânica Quântica Opção em Lógica e Computação Opção em Lógica e Computação Mecânica Geométrica Opção em Análise Numérica e Análise Aplicada Opção em Análise Numérica e Análise Aplicada Métodos Numéricos para Equações Diferenciais Ordinárias Análise Numérica de Equações Diferenciais Parciais Modelos Matemáticos em Hemodinâmica Novos Paradigmas da Computação

18 ANEXO C8 (cont.) Unidade Curricular na LMAC p-b Processos Estocásticos Processos Estocásticos Aplicados Processos Estocásticos e Aplicações Programação Funcional Programação Matemática Seminário de Investigação e Relatório Séries Temporais Sondagens Teoria da Bifurcação em Equações Diferenciais Teoria da Computabilidade Teoria das Categorias Teoria dos Processos Concorrentes Teoria Ergódica e Dinâmica Hiperbólica Teoria Matemática das Ondas Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Tópicos Especiais Topologia Algébrica Topologia Geral e Introdução à Análise Funcional Transformações Integrais e Distribuições Unidade Curricular na LMAC/MMA Introdução aos Processos Estocásticos Processos Estocásticos e Aplicações Processos Estocásticos e Aplicações Programação em Lógica e Funcional Programação Matemática Seminário de Investigação e Relatório Opção em Probabilidades e Estatística Opção em Probabilidades e Estatística Teoria da Bifurcação em Equações Diferenciais Opção em Lógica e Computação Teoria das Categorias Opção em Lógica e Computação Teoria Ergódica e Dinâmica Hiperbólica Opção em Análise Numérica e Análise Aplicada Computação, Informação e Lógica Quânticas Equações Diferenciais Parciais de Evolução Geometria Algébrica Geometria Simplética Lógica Modal Métodos Matemáticos e Numéricos em Mecânica dos Fluidos Modelos Matemáticos em Hemodinâmica Operadores Pseudodiferenciais Problemas Inversos em Equações Diferenciais e Imagiologia Médica Sistemas Dinâmicos de Dimensão Infinita Sistemas Dinâmicos Discretos Teoria da Homotopia Teoria de Bifurcação em Equações Diferenciais Tópicos de Análise Aplicada e Numérica Tópicos de Teoria de Operadores Topologia Diferencial Topologia Algébrica Topologia Complementos de Análise Real Programa PHP para inscrição dos alunos em alunos inscritos no processo de transição LMAC-MMA - Bolonha

19 ANEXO C9 Assuntos Científicos C9. Concurso para Professor Catedrático Abertura de concurso para Professor Catedrático (CC-DM em , CCCC-IST de , DR em ) Áreas científicas de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria. Júri proposto: Doutor João Paulo Carvalho Dias, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa Doutor Luís Fernando Sanchez Rodrigues, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa Doutor Eduardo Manuel Freire Marques de Sá, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade de Coimbra Doutor José Agostinho Basto Gonçalves, Professor Catedrático da Faculdade de Ciências da Universidade do Porto Doutor António Franco de Oliveira Falcão, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor António Francisco Ferreira dos Santos, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Amílcar dos Santos Costa Sernadas, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luís Pereira de Quintanilha e Mendonça Dias Torres Magalhães, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Carlos Alberto Varelas da Rocha, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luis Manuel Gonçalves Barreira, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa

20 ANEXO C9 Assuntos Científicos C9. Concurso para Professor Associado (2005) 1) Andamento do Concurso para Professor Associado em Análise Matemática ou Geometria ou Topologia (CC-DM em , CCCC-IST de , DR em ) Date: Mon, 02 Oct :04: From: "Carlos J.S. Alves" To: Carlos Matos Ferreira CC: Afonso Barbosa Antonio Ferreira Santos Carlos Rocha Ana Bela Cruzeiro Luis Barreira Subject: Concurso Professor Associado DM Exmo. Prof. Carlos Matos Ferreira Presidente do IST Relativamente ao concurso de Professor Associado, para vaga no DM, aberto em Julho de 2005, sou frequentemente abordado por vários colegas no sentido de saberem do andamento do referido concurso. As informações que disponho são indirectas: (i) houve uma 1ª reunião do júri em Fevereiro; (ii) houve atrasos com a assinatura da acta da primeira reunião, onde foram excluídos candidatos; (iii) mais recentemente soube que um dos candidatos (A. Corso) recorreu da sua exclusão. Temo que o tempo que o processo demorou (quase ano e meio) seja bastante prejudicial para todos. Em particular, houve concursos, noutras instituições, que foram lançados posteriormente e que já tiveram o seu desfecho - admitindo candidatos que concorreram a este concurso. Por outro lado, está pendente a aprovação de um novo júri para outro lugar de Associado, entretanto vago, até que se vislumbre um desfecho para este concurso, sob pena de tornar a situação ainda mais confusa/penosa para os candidatos. Solicito que considere este processo com a máxima urgência, e caso possível convoque uma 2ª reunião do júri para o mesmo dia em que seja deliberado acerca do recurso do candidato excluído. Com os melhores cumprimentos, Carlos Alves Presidente do Departamento de Matemática 2) Resultado do Concurso para Professor Associado em Análise Matemática ou Geometria ou Topologia (2ª reunião do júri: 15 de Novembro de 2006) Foi classificada em 1º lugar a Profª. Maria Amélia Bastos

21 ANEXO C9 Assuntos Científicos C9. Concurso para Professor Associado (2006) Abertura de concurso para Professor Associado (Aprovado Conselho do DM ~ Associados e Catedráticos, em 7 de Dezembro de 2006 Aprovado na CCCC-IST em 20 de Dezembro de 2006) Áreas científicas de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria. Júri proposto: Doutor Luís Fernando Sanchez Rodrigues, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa Doutor Mário Sequeira Rodrigues Figueira, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa Doutor Miguel de Paula Nogueira Ramos, Professor Catedrático da Faculdade de Ciências da Universidade de Lisboa Doutor João Filipe Cortez Rodrigues Queiró, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade de Coimbra Doutor António Franco de Oliveira Falcão, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor António Francisco Ferreira dos Santos, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Amílcar dos Santos Costa Sernadas, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luís Pereira de Quintanilha e Mendonça Dias Torres Magalhães, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Carlos Alberto Varelas da Rocha, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luis Manuel Gonçalves Barreira, Professor Catedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa

22 ANEXO D1 Assuntos Directivos e Pedagógicos D1. Regulamento da Biblioteca de Revistas do DM REGULAMENTO DOS SERVIÇOS DA BIBLIOTECA DE MATEMÁTICA NÚCLEO DE PUBLICAÇÕES PERIÓDICAS 1. Descrição A Biblioteca de Matemática - Núcleo de Publicações Periódicas (BM-NPP) está integrada na Biblioteca do Instituto Superior Técnico (BIST), estando fisicamente localizada no Pavilhão de Matemática. A generalidade do seu fundo documental é constituído por publicações periódicas na área da Matemática. 2. Serviço de informação e referência 2.1. Através do serviço de informação e referência são prestadas aos utilizadores informações sobre o funcionamento e serviços da BIST. Proporciona-se também, sempre que solicitado, um apoio personalizado à execução de pesquisas bibliográficas e de localização de documentos a nível interno e externo, e ao uso e exploração dos recursos informativos disponíveis na Biblioteca A BM-NPP disponibiliza através da sua página web o acesso directo a um número significativo de recursos informativos electrónicos, dos quais se destacam: Catálogo bibliográfico das Bibliotecas da UTL, Acesso a publicações electrónicas da área de Matemática, Lista de Pré-Publicações do DM, Teses de Graduação e Pós-Graduação e Catálogo da Videoteca. 3. Reprodução de documentos 3.1. A BM-NPP tem uma fotocopiadora que funciona em regime de self-service e que se destina exclusivamente à reprodução de artigos de revistas existentes na BM-NPP Qualquer utilização da fotocopiadora deverá ser convenientemente registada Os custos de utilização da fotocopiadora são determinados pela BIST Todos os membros do DM ou de outros Departamentos do IST, os membros de Centros de Investigação do DM, seus convidados, alunos de pós-graduação e pós-doutoramento estão isentos do pagamento das fotocópias. 4. Empréstimo inter-bibliotecas 4.1. Obtenção de documentos de outras Bibliotecas. 4.1.a) Através do Empréstimo inter-bibliotecas é possível a obtenção de documentos que não existem na BIST, recorrendo aos serviços de outras bibliotecas ou centros de documentação nacionais ou estrangeiros. Podem-se solicitar livros e/ou fotocópias de artigos de publicações periódicas, capítulos de livros, etc. 4.1.b) Podem solicitar este serviço todos os membros do DM ou de outros Departamentos do IST, os membros de Centros de Investigação do DM, seus convidados, alunos de pós-graduação e pósdoutoramento. Este serviço será assegurado pela BIST de acordo com o respectivo regulamento Facultar documentos a entidades externas. 4.2.a) O serviço de Empréstimo inter-bibliotecas encontra-se também disponível a outras instituições externas nacionais e estrangeiras (bibliotecas, centros de documentação e informação) que necessitem de aceder a documentos existentes na BIST. 4.2.b) O custo deste serviço é determinado pela BIST, sendo assegurado pela Biblioteca Central, e de acordo com o respectivo regulamento. (Aprovado em reunião da CC-DM, 3 de Março de 2006.)

23 ANEXO D2 Assuntos Directivos e Pedagógicos D2. Alteração ao Regulamento do Serviço de Exames Alteração ao Artigo-4 6 e inclusão do 7. (aprovado em Conselho do DM, ) 6. Cada participação de um docente em júris de provas académicas (de mestrado, de doutoramento, ou de agregação) é contabilizada da seguinte forma: - elemento de júri de provas de mestrado ~ 1 teste, - elemento de júri de provas de doutoramento ~ 1 exame, - elemento de júri de provas de agregação ~ 2 exames. 7. São ainda contabilizadas as participações em júris de concursos académicos (concursos para Professor Catedrático, Associado ou Coordenador), da seguinte forma: - elemento de júri em concursos académicos ~ 1 exame. As contabilizações referidas em 6 e 7 são efectuadas após a deliberação final das provas, nesse semestre ou no seguinte, devendo o docente comunicá-lo ao CSE atempadamente.

24 ANEXO D3 Assuntos Directivos e Pedagógicos D3. Overheads dos Projectos de Investigação O I.S.T. disponibiliza ao DM 8% dos 20% de overheads para a instituição, nos projectos de investigação financiados pela FCT. Devido à retenção do saldo departamental por parte dos órgãos centrais, o DM decidiu em 2003 reter a parte que era normalmente atribuída ao investigador principal. Com o saldo da dívida no orçamento de 2006, deixou de haver razão para manter essa retenção. Assim, por decisão da Comissão Executiva, comunicada à CC-DM, a distribuição dos 8% de overheads atribuídos ao DM passará a ser: 4% para o investigador principal 4% para o Departamento de Matemática Carta enviada ao Prof. António Cruz Serra, Conselho Directivo V/ref.: CD-109/ACS/am N/ref.: 2.1/6/CD-06 De acordo com o solicitado na carta acima referenciada (CD-109/ACS/am), foi decidido pela Comissão Executiva do Departamento de Matemática, que a taxa de repartição de overheads aplicada ao Coordenador seja 4%. (10 de Outubro de 2006)

25 ANEXO D4 Assuntos Directivos e Pedagógicos D4. Espaços e Qualidade de Trabalho Carta enviada ao Prof. Vítor Leitão, Conselho Directivo Como é do conhecimento do Conselho Directivo e no seguimento do incidente que ocorreu nas condutas de ar do Pavilhão de Matemática, no passado dia 12 do corrente mês, venho por este meio solicitar inspecção à qualidade do ar deste Pavilhão. (14 de Setembro de 2006) Carta enviada ao Presidente do IST, cc: Prof. Vítor Leitão, Prof. Eduardo Pereira, Conselho Directivo Assunto: Sala de aulas de laboratório de computadores do Departamento de Matemática O espaço onde têm estado instaladas as salas de computadores, do Departamento de Matemática, para aulas de laboratório, é extremamente deficiente em termos de condições de trabalho. De facto, estas salas ocupam uma cave, no Piso -2 do Pavilhão de Matemática, sem condições apropriadas em qualidade do ar e climatização. Este problema foi já identificado há muito tempo (deu origem a um protesto em forma de abaixo-assinado por parte dos utilizadores, em Dezembro de 2001). Em 2003 o Centro de Saúde da Alameda emitiu um parecer em que refere também estas deficiências. Na altura, foi dado conhecimento ao Conselho Directivo do IST destes dois documentos. Embora já não sejam usadas como LTI, as salas em questão continuam a ser usadas como salas de aula de laboratório, em particular para disciplinas da LMAC (p.ex: Matemática Experimental, 1º ano). Docentes envolvidos na leccionação manifestaram recentemente o seu desagrado pelas deficientes condições de ensino. Assim, e também na sequência do pedido endereçado em carta de 31 de Agosto de 2005, relativamente aos espaços atribuídos ao DM e que têm presentemente outra ocupação, solicito que seja revista com urgência a distribuição actual de espaços. Mais concretamente, sabendo que a sala P13 está provisoriamente a ser ocupada pela equipa de gestão do Fénix e que seria apropriada para sala de aulas de laboratório de computadores, venho por este meio solicitar que, quando for deixada vaga, esta sala P13 seja utilizada como sala de aula de laboratório de computadores, resolvendo desde já o problema exposto, que põe em causa as condições de trabalho de docentes e alunos. (3 de Novembro de 2006) (Despacho de Dezembro de 2006 do Conselho Directivo: a sala P13 será disponibilizada prioritariamente ao DM para estes fins)

26 ANEXO D5 Assuntos Directivos e Pedagógicos D5. Projecto de Recuperação em Matemática Carta enviada ao Prof. Eduardo Pereira, Conselho Directivo Venho desta forma informar que terminou a primeira fase de execução dos módulos de apoio à formação financiados pelo PMQE2005/06 (proposta 3). O resultado encontra-se disponível na página web No corrente ano lectivo, os módulos serão usados em regime experimental e envolvem os alunos do 1º ano do campus Tagus Park e os alunos do 1º ano da LEIC do campus Alameda. São 5 módulos: Conceitos Elementares sobre Conjuntos; Simplificação de Expressões Algébricas; Inequações; Decomposição de Polinómios; Noções Básicas de Trigonometria. Os docentes do grupo de apoio à recuperação na formação básica em Matemática, além da execução dos módulos, irão proporcionar sessões de dúvidas presenciais para apoio a esta iniciativa. Por esta razão solicito que sejam concedidos 6 créditos, que serão divididos pelos docentes envolvidos. (6 de Outubro de 2006)

27 ANEXO D5 (cont.) Assuntos Directivos e Pedagógicos D5. Projecto de Recuperação em Matemática creditação lectiva Carta enviada ao Prof. Heleno Cardoso, Conselho Científico Assunto: Creditação de docentes no âmbito do Plano de Recuperação na Formação Básica em Matemática -PMQE-2005/06 [proposta 3] No seguimento da nossa carta de 6 de Outubro e do Vosso despacho de 17 de Outubro, segue uma justificação mais detalhada para o pedido de creditação. 1) A concretização do projecto PMQE foi coordenada pelos Professores Amélia Bastos, Miguel Abreu e Paula Gouveia, a meu pedido, enquanto representantes eleitos pelo DM ao Conselho Pedagógico, e pelo Prof. F. Miguel Dionísio, vice-presidente do DM. 2) Foram envolvidos no plano de recuperação ~ 500 alunos do 1º ano, alunos das disciplinas de Cálculo Diferencial e Integral I (LEIC Alameda ~ 170 alunos, resp. Profª. Amélia Bastos; LEIC e outras licenciaturas do TagusPark ~279 alunos, resp. Prof. Miguel Abreu, Álgebra Linear 2ª fase 57 alunos, resp. Profª. Ana Moura). 3) A concretização da proposta passou por a. Concepção dos módulos de recuperação, sob os temas: 1. Conceitos Elementares sobre Conjuntos 2. Simplificação de Expressões Algébricas 3. Inequações 4. Decomposição de Polinómios 5. Noções Básicas de Trigonometria b. Acompanhamento dos alunos no âmbito das disciplinas citadas, com i. Sessões de dúvidas presenciais ii. Realização de testes de aferição Foi entendido pelos Professores Amélia Bastos e Miguel Abreu que a coordenação da iniciativa e o acompanhamento dos alunos nas sessões de dúvidas presenciais foram realizadas no âmbito das disciplinas, não solicitando por isso qualquer creditação. No entanto, foi fundamental nesta fase inicial contar com a participação activa de outros docentes na elaboração dos módulos 1 5 referidos em 3). Mais concretamente os coordenadores do projecto propõem que seja atribuído 1 crédito lectivo aos seguintes Professores: NºMec Profª. Paula Gouveia: elaboração do módulo Conceitos Elementares sobre Conjuntos. NºMec Profª. Helena Mascarenhas: elaboração do módulo Simplificação de Expressões Algébricas NºMec Prof. Pedro Rodrigues: elaboração do módulo Inequações NºMec Prof. João Alves : elaboração do módulo Decomposição de Polinómios NºMec Profª. Ana Moura Santos: elaboração do módulo Noções básicas de Trigonometria No total solicita-se uma bolsa de 5 créditos lectivos para a iniciativa. Esta creditação é apoiada pelo Departamento de Matemática, a título excepcional, já que a tarefa resultou de um pedido feito pelo Departamento no sentido de recuperar as deficiências que se têm constatado no campo da Matemática e que constituem um obstáculo ao sucesso dos alunos que são admitidos no IST. Este pedido tinha também já sido endereçado ao Departamento pelo Presidente do Conselho Pedagógico. O empenho destes professores na organização atempada destes módulos, a sua integração on-line: permitiu a realização de uma iniciativa a que aderiram um número elevado de alunos e que poderá ajudar a suprir algumas deficiências na formação anterior, recuperando alunos que doutra forma poderiam sentir-se desmotivados ou até levar ao abandono dos estudos. Penso que é natural que os coordenadores Prof. Amélia Bastos e Prof. Miguel Abreu não pretendam ser creditados pela tarefa, mas é proposta do Departamento que seja atribuída a creditação de 0.5 créditos aos Professores: NºMec Profª. Maria Amélia Bastos NºMec Prof. Miguel Tribolet de Abreu Assim, é solicitado um total de 6 créditos, conforme exposto na carta endereçada, e solicito a melhor compreensão e apoio desta iniciativa, que se revela do maior interesse para a Escola. [creditação concedida e efectuada - Dezembro de 2006]

28 ANEXO provas académicas provas de agregação Provas públicas de Agregação em Matemática Quarta, 21 de Junho de 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar Quinta, 22 de Junho de 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar António Manuel Pacheco Pires Relatório: Processos Estocásticos. Lição de síntese: Ordenação estocástica de tempos de primeira passagem: contribuições em controlo de qualidade e na comparação de processos estocásticos com excedência de nível. Membro do Júri: Onno Boxma, Eindhoven University of Technology, Netherlands Membro do Júri: Wolfgang Schmid, Europa-Universität Viadrina, Frankfurt Membro do Júri: Paulo Oliveira, U. Coimbra Membro do Júri: Teresa Alpuim, U. Lisboa Membro do Júri: Luís Borges de Almeida, Engenharia Electrotécnica, IST Membro do Júri: Fernanda Ramalhoto, Matemática, IST Membro do Júri: Cristina Sernadas, Matemática, IST Membro do Júri: Ana Bela Cruzeiro, Matemática, IST Membro do Júri: Luis Barreira, Matemática, IST Quinta, 27 de Abril de 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar Sexta, 28 de Abril de 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar Pedro Miguel Rita da Trindade Lima Relatório: Métodos Numéricos para Equações Diferenciais Ordinárias. Lição de síntese: Aceleração de Convergência de Métodos Computacionais para Equações Diferenciais e Integrais. Membro do Júri: Neville Ford, Chester University, UK Membro do Júri: Luís Trabucho, Universidade de Lisboa Membro do Júri: Mário Figueira, Universidade de Lisboa Membro do Júri: Filomena Almeida, Universidade do Porto Membro do Júri: João Martins, IST, Eng. Civil Membro do Júri: António Ferreira do Santos, IST, Matemática Membro do Júri: Carlos Rocha, IST, Matemática Membro do Júri: Anabela Cruzeiro, IST, Matemática Segunda, 27 de Março de 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar Terça, 28 de Março de 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar Paulo Alexandre Carreira Mateus Relatório: Matemática Discreta. Lição de síntese: Análise de Sistemas de Prova de Conhecimento Nulo. Membro do Júri: Andre Scedrov, Univ. Pennsylvania Membro do Júri: Manuela Sobral, Univ. Coimbra Membro do Júri: Paulo Neves de Oliveira, Univ. Coimbra Membro do Júri: José Manuel Valença, Univ. Minho Membro do Júri: Jorge Dias de Deus, IST, Física Membro do Júri: João Pavão Martins, IST, Eng. Informática Membro do Júri: Maria Fernanda Ramalhoto, IST, Matemática Membro do Júri: Amílcar Sernadas, IST, Matemática Membro do Júri: Cristina Sernadas, IST, Matemática Membro do Júri: Ana Bela Cruzeiro, IST, Matemática Membro do Júri: Luís Barreira, IST, Matemática

29 ANEXO provas académicas provas de agregação (cont.) Quinta, 19 de Janeiro de 2006, 11h 00m, Pa3 Sexta, 20 de Janeiro de 2006, 11h 00m, Pa3 Marcos Mariño Beiras Relatório: Aspectos Geométricos de Teoria do Campo. Lição de síntese: Teoria de Cordas e Invariantes de Nós. Membro do Júri: Philip Candelas, Univ. Oxford, UK Membro do Júri: Rahul Pandharipande, Univ. Princeton Membro do Júri: José Basto Gonçalves, Univ. Porto Membro do Júri: Alfredo Barbosa Henriques, IST, Departamento de Física Membro do Júri: António Ferreira do Santos, IST Membro do Júri: Luís Magalhães, IST Membro do Júri: Carlos Rocha, IST Membro do Júri: Ana Bela Cruzeiro, IST Membro do Júri: Luís Barreira, IST Segunda, 16 de Janeiro de 2006, 14h 30m, Pa3 Terça, 17 de Janeiro de 2006, 14h 30m, Pa3 Diogo Luís de Castro Vasconcelos de Aguiar Gomes Relatório: Transformações Integrais e Distribuições. Lição de síntese: Equações de Hamilton-Jacobi e Dinâmica Hamiltoniana. Membro do Júri: Constantin Dafermos, Univ. Brown, USA Membro do Júri: João Paulo Dias, U. Lisboa Membro do Júri: Luis Sanchez, U. Lisboa Membro do Júri: Miguel Ramos, U. Lisboa Membro do Júri: Luísa Mascarenhas, U. Nova de Lisboa Membro do Júri: Jorge Dias de Deus, Departamento de Física, I.S.T. Membro do Júri: Ana Bela Cruzeiro, Departamento de Matemática, I.S.T. Membro do Júri: António Ferreira dos Santos, Departamento de Matemática, I.S.T. Membro do Júri: Luís Magalhães, Departamento de Matemática, I.S.T. Membro do Júri: Carlos Rocha, Departamento de Matemática, I.S.T. Membro do Júri: Luís Barreira, Departamento de Matemática, I.S.T.

30 ANEXO provas académicas provas de doutoramento Doutoramento em Matemática Sexta, 22 de Dezembro de 2006, 13h 30m, Sala DM Sofia Marta Lima Naique On a class of oscillatory Riemann-Hilbert problems with triangular symbols. Orientador: António Ferreira dos Santos, I.S.T. Arguente: Yuri Karlovich, Univ. Autonoma de Morelos, Mexico Arguente: Luis Castro, Univ. de Aveiro Membro do Júri: Amélia Bastos, I.S.T. Membro do Júri: Cristina Câmara, I.S.T. Sexta, 22 de Dezembro de 2006, 10h 30m, Anfiteatro do Complexo I Luis Ricardo Cardoso Gomes da Costa Borges Domain Decomposition Methods for Non-Newtonian Fluids. Orientador: Adélia Sequeira, DM-I.S.T. Co-orientador: Nadir Arada, F.C.T. - Univ. Nova de Lisboa Arguente: Luigi Carlo Berselli, Univ. degli Studi di Pisa, Italia Arguente: Juha Videman, DM-I.S.T. Membro do Júri: Bento José Carrilho Miguens Louro, F.C.T. - Univ. Nova de Lisboa Membro do Júri: José Carlos Pereira, Dep. Eng. Mecânica - I.S.T. Membro do Júri: Pedro Lima, DM-I.S.T. Terça, 12 de Dezembro de 2006, 15h 00m, Anfiteatro PA3 Carlos Correia Ramos Representações, C*-algebras e transformações do intervalo. Orientador: Nuno Martins, I.S.T. Arguente: Yuri Karlovich, Centro Invest. de Estudos Avanzados, Morelos, Mexico Arguente: Ricardo Severino, Univ. do Minho Membro do Júri: António Ferreira dos Santos, I.S.T. Membro do Júri: Maria Amélia Bastos, I.S.T. Membro do Júri: Paulo Rocha Pinto, I.S.T. Terça, 5 de Dezembro de 2006, 14h 00m, Anfiteatro Complexo I Pedro Miguel dos Santos Alves Madeira Adão Formal methods for the analysis of security protocols. Orientador: Paulo Mateus, I.S.T. Co-orientador: André Scedrov, University of Pennsylvania, USA Arguente: Luca Viganó, ETH Zurich, Switzerland Arguente: José Manuel Esgalhado Valença, Univ. do Minho Membro do Júri: Amílcar Sernadas, I.S.T. Membro do Júri: Carlos Caleiro, I.S.T. Membro do Júri: Jaime Ramos, I.S.T. Quarta, 13 de Setembro de 2006, 14h 30m, Salão Nobre - Ala Sul Cláudio António Rainha Aires Fernandes Álgebras C* de Operadores com deslocamentos e coeficientes oscilantes. Orientador: Amélia Bastos, I. S. T. Co-orientador: Yuri Karlovich, Univ. Aut. Morelos (Mexico) Arguente: Bernd Silbermann, Univ. Chemnitz (Alemanha) Arguente: Frank Speck, I.S.T. Membro do Júri: António Ferreira dos Santos, I.S.T. Membro do Júri: Manuel Esquível, Univ. Nova de Lisboa Sexta, 9 de Junho de 2006, 13h 30m, Sala Centro de Congressos (Pav. Civil) Rui Pedro da Silva Cabrita Carpentier Representations of tangles by operators. Orientador: Roger Picken, Instituto Superior Técnico Arguente: Louis H. Kauffman, Univ. Illinois at Chicago (USA) Arguente: Pedro Resende, Instituto Superior Técnico Membro do Júri: Ana Bela Cruzeiro, Instituto Superior Técnico Membro do Júri: João Nuno Tavares, FCUP (Univ. Porto)