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

Este relatório apresenta um resumo das actividades desenvolvidas pela presidência e pela comissão executiva do Departamento de Matemática em 2006. 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

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 1980-1990 (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

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 • Elementos de Programação • Teoria da Computação • Matemática Discreta • Lógica e Teoria da Computação [#03] • Computab. e Complexidade I [#03D] • Computab. e Complexidade II [#68Q15] • Lógica Computacional [ #68T15, #03] • Fund. Algéb. Eng. Prog. [#68Q65] • Esp. Verif. de Sist. Reactivos [#68Q60]

• Teoria Processos Concorrentes [#68Q10] • Elementos de Criptografia [#68P25] • Lógica Matemática - 4º ano [#03] • Novos Paradigmas Comput. [#68Q05] • Elementos de Programação [#68W] • Programação Funcional [#03B40] • Estrut. de Dados e Algoritmos [#68Q25] • Teoria da Computabilidade [#03] • Complementos de Lógica Modal (D) • 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)

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 • Probabilidades e Estatística I [#60, #62] • Probabilidades e Estatística II [#60, #62] • Fiabilidade e Contr. de Qualidade [#62N05] • Inferência e Decisão I, II [#62C; #62F] • Análise Multivariada [#62H] • Processos Estocásticos [#60J-K] • Análise de Dados Categorizados [#62H]

• Processos Estocásticos Aplicados [#60K] • Estatística Computacional (M) [#62F] • Estatística Biomédica (M) [#62N05] • Estat. Industr. Amb. (M) [#62N05, #62M30] • Inferência Estatística (ME) • Probabilidades (ME) • Processos Estocásticos e Aplicações (ME) • 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)

ANEXO C2 Assuntos Científicos

C2. Adequação da LMAC e MMA ao Processo de Bolonha (Apresentação no Senado do IST)

Perfil de Matemática Pura

Licenciatura em Matemática Aplicada e Computação

Mestrado em Matemática e Aplicações

Outras Licenciaturas em Matemática (PT ou UE)

Outras Licenciaturas em Engenharia ou Ciência

Programa de Transição

Mercado de Trabalho Outros Mestrados Opções 3º ano

Perfil de Matemática Aplicada

ANEXO C2 (cont.)

C2. Adequação da LMAC – Tronco Comum : 1º e 2º Ano

ANEXO C2 (cont.)

C2. Adequação da LMAC – Tronco Comum : 3º Ano

Distribuição ECTS por Áreas Científicas

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)

* Álgebra Geral, no caso de alunos que tenham completado Introdução à Álgebra.

1º Semestre ECTS Área Cientifica • Fundamentos de Álgebra* • Complementos de Álgebra

7.5 6 Álgebra e Topologia

• Fundamentos de Topologia e Análise Real • Análise Funcional • Complementos de Análise Complexa

7.5 6 6 Análise Real e Análise Funcional

• Geometria Riemanniana • Geometria Diferencial

6 6 Geometria

• Equações Diferenciais Ordinárias 6 Eq. Diferenciais e Sist. Dinâmicos • Opção • Seminário de Investigação e Relatório

>4.5 3-6

Total 30

3º e 4º Semestre ECTS Área Cientifica • 3 Opções 18 -- • Dissertação de Mestrado I e II 42 --

Total 60

2º Semestre ECTS Área Cientifica • Topologia Algébrica • Álgebra Comutativa

6 6 Álgebra e Topologia

• Complementos de Análise Real • Álgebras de Operadores

6 6 Análise Real e Análise Funcional

• Opção em Geometria 6 Geometria • Equações Diferenciais Parciais 6 Eq. Diferenciais e Sist. Dinâmicos • Opção • Seminário de Investigação e Projecto

6 6

Total 30

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)

* Alternativamente, Introdução aos Processos Estocásticos ou Inferência Estatística, caso estas disciplinas não tinham sido efectuadas no 1º ciclo.

1º Semestre ECTS Área Cientifica • Fundam. de Lógica e Teoria da Computação • Computabilidade e Complexidade

7.5 6 Lógica e Computação

• Fundamentos de Topologia e Análise Real • Análise Funcional • Complementos de Análise Complexa

7.5 6 6

Análise Real e Análise Funcional • Fundamentos de Probabilidade e Estatística* • Teoria da Probabilidade

7.5 6 Probabilidades e

Estatística • Análise Numérica • Análise Numérica Funcional e Optimização

7.5 6 Análise Numérica e Análise Aplicada

• Opção • Seminário de Investigação e Relatório

>4.5 3-6

Total 30 2º Semestre ECTS Área Cientifica • Lógica Funcional e Teoria da Demonstração • Fundamentos Algébricos da Computação

6 6 Lógica e Computação

• Equações Diferenciais Parciais 6 Eq. Diferenciais e Sist. Dinâmicos

• Estatística Matemática • Processos Estocásticos e Aplicações

6 6 Probabilidades e Estatística

• Análise Numérica de EDPs 6 Análise Numérica e Análise Aplicada

• Opção • Seminário de Investigação e Projecto

6 6

Total 30

3º e 4º Semestre ECTS Área Cientifica • 3 Opções 18 -- • Dissertação de Mestrado I e II 42 --

Total 60

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 2006. 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.

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 2006. 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)

LMAC

MMA MEA MCCA

1º ciclo

2º ciclo

3º ciclo DEA-M

PD-M

Exames de Qualificação

DEA-E&PE

PD-E&PE

Programa de Transição

Lic. - Mat. ; IST; EU

MSc - Mat. ; IST; EU

DEA, PhD - IST; EU

Matemática Estatística e Processos Estocásticos

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)

PROGRAMA de DOUTORAMENTO em ESTATÍSTICA e PROCESSOS ESTOCÁSTICOS Diploma de Estudos Avançados (DEA)

NOTA: Disciplinas de Seminário passaram a 1.5 + 1.5 = 3 ECTS, por uniformização IST.

1º Semestre 2º Semestre

30 ECTS (5 disciplinas: 4D +1M ou 5D) < 18ECTS – área Científica 3 ECTS (seminário) Disciplinas de 6 ECTS

1º Semestre

2º Semestre

30 ECTS (5 disciplinas: 4D +1M) 3 ECTS (seminário)

Disciplinas de 6 ECTS

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).

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.

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

Análise Real 3a.2s Medida e Integração ou Fundam. de Topologia e Análise Real** 3a.1s 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).

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 Unidade Curricular na LMAC/MMA – B

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

ANEXO C8 (cont.)

Unidade Curricular na LMAC p-B Unidade Curricular na LMAC/MMA

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

Programa PHP para inscrição dos alunos em http://www.math.ist.utl.pt/~calves/pres0506/lmac06/ http://www.math.ist.utl.pt/~calves/pres0506/lmac06/MasterInscricaoAll.php 116 alunos inscritos no processo de transição LMAC-MMA - Bolonha

ANEXO C9

Assuntos Científicos C9. Concurso para Professor Catedrático Abertura de concurso para Professor Catedrático (CC-DM em 18-07-2006, CCCC-IST de 26-07-2006, DR em 06-10-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 Geome tria. Júri proposto : Doutor João Paulo Carvalho Dias, Professor Catedrát ico da Faculdade de Ciências da Universidade de Lisboa Doutor Luís Fernando Sanchez Rodrigues, Professor C atedrático da Faculdade de Ciências da Universidade de Lisboa Doutor Eduardo Manuel Freire Marques de Sá, Profess or Catedrático da Faculdade de Ciências e Tecnologia da Universidade de Coimbra Doutor José Agostinho Basto Gonçalves, Professor Ca tedrá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, Profe ssor 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 C atedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luis Manuel Gonçalves Barreira, Professor Ca tedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa

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 15-03-2006, CCCC-IST de 30-03-2005, DR em 01-06-2005) Date: Mon, 02 Oct 2006 19:04:29 +0100 From: "Carlos J.S. Alves" <calves@math.ist.utl.pt> To: Carlos Matos Ferreira <cmferreira@cd.ist.utl.pt > CC: Afonso Barbosa <cientif.ab@ist.utl.pt>, Antoni o Ferreira Santos <antonio.ferreira.santos@math.ist.utl.pt>, Carlos R ocha <crocha@math.ist.utl.pt>, Ana Bela Cruzeiro <abcruz@math.ist.utl.pt>, Luis Barreira <b arreira@math.ist.utl.pt> Subject: Concurso Professor Associado DM Exmo. Prof. Carlos Matos Ferreira Presidente do IST Relativamente ao concurso de Professor Associado, p ara vaga no DM, aberto em Julho de 2005, sou frequentemente abordado por vários colegas no s entido 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 prim eira 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 inst ituições, que foram lançados posteriormente e que já tiveram o seu desfecho - ad mitindo candidatos que concorreram a este concurso. Por outro lado, está pendente a aprovação de um nov o júri para outro lugar de Associado, entretanto vago, até que se vislumbre um desfecho p ara este concurso, sob pena de tornar a situação ainda mais confusa/penosa para os candidat os. Solicito que considere este processo com a máxima u rgência, e caso possível convoque uma 2ª reunião do júri para o mesmo dia em que seja delibe rado 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

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 Geome tria. Júri proposto : Doutor Luís Fernando Sanchez Rodrigues, Professor C atedrá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 Ca tedrático da Faculdade de Ciências da Universidade de Lisboa Doutor João Filipe Cortez Rodrigues Queiró, Profess or 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, Profe ssor 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 C atedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa Doutor Luis Manuel Gonçalves Barreira, Professor Ca tedrático do Instituto Superior Técnico da Universidade Técnica de Lisboa

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. 2.2. 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. 3.2. Qualquer utilização da fotocopiadora deverá ser convenientemente registada. 3.3. Os custos de utilização da fotocopiadora são determinados pela BIST. 3.4. 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ós-doutoramento. Este serviço será assegurado pela BIST de acordo com o respectivo regulamento. 4.2. 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.)

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, 23-10-2006)

§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.

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) _________________________

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)

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

“http://modulos.math.ist.utl.pt/”.

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)

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. 2851 - Profª. Paula Gouveia: elaboração do módulo Conceitos Elementares sobre Conjuntos. NºMec. 4003 - Profª. Helena Mascarenhas: elaboração do módulo Simplificação de Expressões Algébricas NºMec. 3317 - Prof. Pedro Rodrigues: elaboração do módulo Inequações NºMec. 2907 - Prof. João Alves : elaboração do módulo Decomposição de Polinómios NºMec. 2543 - 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: http://modulos.math.ist.utl.pt/ 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. 1808 - Profª. Maria Amélia Bastos NºMec. 2812 - 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]

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

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.

ANEXO – provas académicas provas de doutoramento

Doutoramento em Matemática

Sexta, 22 de Dezembro de 2006, 13h 30m, Sala 3.10 - 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 02.1 - 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)

ANEXO – provas académicas provas de doutoramento (cont.)

Quinta, 20 de Abril de 2006, 10h 30m, Anfiteatro do Complexo I

Nuno Filipe de Jesus Cirilo António Quantum Integrable Systems with Jordanian Twist. Orientador: Nenad Manojlovic, Universidade do Algarve Co-orientador: António Ferreira dos Santos, I.S.T. Arguente: Petr Kulish, Steklov Institute St. Petersburg (Russia) Arguente: Andreas Fring, City University London (UK) Membro do Júri: Ana Bela Cruzeiro, I.S.T. Membro do Júri: Rui Loja Fernandes, I.S.T.

Sexta, 31 de Março de 2006, 11h 15m, Anfiteatro Pa3 Marko Stosic Khovanov homology of links and graphs. Orientador: Roger Picken, I.S.T. Arguente: Mikhail Khovanov, Columbia University, New York Arguente: Marco Arien Mackaay, Universidade do Algarve Membro do Júri: Paul Turner, Heriot-Watt University, UK Membro do Júri: Rui Loja Fernandes, I.S.T. Membro do Júri: Gustavo Granja, I.S.T.

Sexta, 17 de Fevereiro de 2006, 14h 30m, Anfiteatro PA3 Maria do Carmo Carvalho Sousa da Cunha Martins Factorização generalizada de uma classe de símbolos triangulares quase-periódicos. Orientador: Cristina Câmara, I.S.T. Arguente: António Ferreira dos Santos, I.S.T. Arguente: Luis Castro, Univ. Aveiro Membro do Júri: Stefan Samko, Univ. Algarve Membro do Júri: Amarino Lebre, I.S.T.

Quinta, 2 de Fevereiro de 2006, 15h 00m, Anfiteatro PA3 Pedro Miguel Montes Martins Matias Geometric Quantization and the Coherent State Transform. Orientador: José Mourão, I.S.T. Arguente: Miguel Abreu, I.S.T. Arguente: João Nuno Tavares, Universidade do Porto Membro do Júri: Orlando Neto, Universidade de Lisboa Membro do Júri: João Pimentel Nunes, I.S.T. Membro do Júri: Carlos Florentino, I.S.T.

Quinta, 26 de Janeiro de 2006, 13h 00m, Anfiteatro PA3 António Carlos dos Santos Paixão On the algebraic, differential, integral and spectral properties of Mercer-like kernels. Orientador: Jorge Buescu, I.S.T. Arguente: Viktor Kravchenko, Universidade do Algarve Arguente: Frank Speck, I.S.T. Membro do Júri: João Queiró, Universidade de Coimbra Membro do Júri: Francisco Teixeira, I.S.T.

Terça, 10 de Janeiro de 2006, 14h 00m, PA3 Luis Filipe Serrazes Ventura de Barros Pessoa Algebras of Bergman type operators with piecewise continuous coefficients. Orientador: Yuri Karlovich, Univ. Autonoma de Morelos (Mexico) Co-orientador: Amélia Bastos, I.S.T. Arguente: Helmut Malonek, Universidade de Aveiro Arguente: Frank Speck, I.S.T. Membro do Júri: Stefan Samko, Universidade do Algarve Membro do Júri: António Ferreira dos Santos, I.S.T.

ANEXO – provas académicas provas de mestrado

Mestrado em Estatística

Sexta, 28 de Julho de 2006, 14h 30m, Anfiteatro PA3 Delfina Rosa Moura Barbosa Metodologias de Amostragem em Populações Finitas. Orientador: Conceição Amado, I.S.T. Arguente: Carla Mónica Dias Pereira, FEUP - Univ. do Porto Membro do Júri: João António Branco, IST

Quinta, 25 de Maio de 2006, 10h 30m, Anfiteatro PA3 Catarina da Cunha Santiago Soares Análise de Dados de Microarrays. Orientador: Ana Pires Parente, I.S.T. Arguente: Luísa Canto e Castro de Loura, FCUL - Univ. Lisboa Membro do Júri: João António Branco, IST

Quinta, 21 de Dezembro de 2006 – Adiado para 10 de Janeiro de 2006 Patrícia Alexandra de Azevedo Carvalho Ferreira Análise de Correspondências: uma perspectiva em torno do método e das aplicações. Orientador: João António Branco, I.S.T. Arguente: Margarida M. T. D. Mendes Leal, FCUL - Univ. de Lisboa Membro do Júri: Maria do Rosário Oliveira, I.S.T.

Mestrado em Matemática e Aplicações

Quinta, 12 de Janeiro de 2006, 11h 00m, PA3 Maria João Costa Almeida Quintão Pereira Braga Teorema da Coroa e Invertibilidade de Operadores tipo Convolução. Orientador: Amélia Bastos, I.S.T. Membro do Júri: Yuri Karlovich, Univ. Morelos, Mexico Membro do Júri: Paulo Lopes, I.S.T.