Eventos e Notícias RSS

Em breve

07/05/2026 13:30

FotoJaime Arsénio de Brito Ramos
Logic and Model Checking
Prova de agregação — relatório

08/05/2026 13:30

FotoJaime Arsénio de Brito Ramos
Verification with Distributed Temporal Logic
Prova de agregação — lição

13/05/2026 10:00
Explica-me como se tivesse 5 anos: Uma aventura matemática com bolhas de sabão
Salão Nobre

Imagem

Numa sessão do ciclo de palestras Explica-me como se tivesse 5 anos, o nosso colega Hugo Tavares (CAMGSD/Departamento de Matemática) irá explorar uma simples e fascinante pergunta: Porque é que as bolas de sabão são redondas?.

Nesta sessão dirigida a mentes curiosas de todas as idades, especialmente as mais novas, o Hugo vai usar experiências lúdicas com bolhas de sabão para mostrar como formas geométricas como círculos e hexágonos são muitas vezes a melhor solução para problemas de otimização geométricos que encontramos na natureza, desde bolhas de sabão a colmeias. Não perca esta oportunidade de ver a beleza da matemática em ação. Todos são bem-vindos!

08/06/2026 — 12/06/2026
Shape Optimization & Spectral Minimal Partitions
Universidade de Aveiro

Imagem

O workshop Shape Optimization & Spectral Minimal Partitions é um encontro internacional que reunirá especialistas e jovens investigadores para explorar desenvolvimentos recentes sobre intersecções entre a otimização e a teoria de partições espectrais minimais. O programa conta com um distinto painel de oradores convidados, juntamente com uma sessão de comunicações curtas. A participação é gratuita; os interessados em assistir são convidados a inscrever-se contactando diretamente o organizador Hugo Tavares. Esperamos promover discussões ricas e colaborações no belo cenário de Aveiro.

29/06/2026 — 03/07/2026
XII Encontro Internacional de Geometria Lorentziana
Anfiteatro Abreu Faro, Complexo Interdisciplinar

Imagem

A Geometria Lorentziana fornece os fundamentos matemáticos para a teoria da Relatividade de Einstein. Esta conferência tem como objetivo divulgar investigação sobre todos os aspectos da Geometria Lorentziana, incluindo Geometria Diferencial, Análise Geométrica, Equações Diferenciais Parciais e Relatividade Matemática. Haverá palestras de investigação, um mini-curso e uma sessão de posters, bem como um jantar de convívio. Estudantes e jovens investigadores são encorajados a participar.

06/07/2026 — 10/07/2026
WOTCA 2026
Universidade do Minho, Guimarães

Imagem

O Workshop on Operator Theory, Complex Analysis, and Applications (WOTCA 2026) dá continuidade à longa tradição de reunir especialistas internacionais e investigadores em início de carreira para explorar os mais recentes desenvolvimentos em teoria de operadores, análise complexa e as suas diversas aplicações. Visite o website oficial para mais informações.

07/07/2026 — 09/07/2026
YRFAMP ‛26
Universidade do Minho, Guimarães

Imagem

O 6th Young Researchers in Functional Analysis and Mathematical Physics (YRFAMP’26) tem como objetivo fomentar a interação entre especialistas de renome e a próxima geração de matemáticos, proporcionando uma plataforma acolhedora para que estudantes e investigadores em início de carreira apresentem os seus trabalhos. Este encontro foca-se nas tendências atuais da análise funcional e física matemática e jovens investigadores são especialmente convidados a participar e a contribuir para este intercâmbio científico dinâmico. Para mais informações sobre a submissão de resumos e inscrições, por favor consulte o website oficial da conferência.

15/06/2026 — 19/06/2026
Encontro Internacional em Dinâmica Estocástica, Sistemas de Partículas em Interacção e Aplicações.
Instituto Superior Técnico

Imagem

Este encontro reúne investigadores líderes que trabalham em processos estocásticos, sistemas de partículas em interação e suas amplas aplicações em matemática, física e muito mais. Organizado como parte do workshop intercalar LiBERA no âmbito do Intercâmbio de Pessoal das Ações Marie Skłodowska-Curie do Horizonte Europa (projeto n.º 101183168LiBERA), oferece uma oportunidade única para intercâmbio interdisciplinar na interface de análise, probabilidade, física matemática, numérica e aplicações.

O programa inclui 26 palestras apresentando resultados recentes e aplicações inovadoras, proporcionando uma plataforma para discussões animadas e compartilhamento de conhecimento.

  • Prazo para submissão de contribuições: 28 de fevereiro de 2026.
  • Inscrição: gratuita, mas obrigatória até 31 de março de 2026.

Organizadores locais: Gerardo Barrera Vargas, Patrícia Gonçalves e Tiecheng Xu.

Anúncios passados...
Provas académicas passadas...

Notícias

05/04/2026
Giordano Cotti ganha o 2026 Frontiers of Science Award in Mathematics

Giordano Cotti, investigador permanente do Grupo de Física Matemática e do Departamento de Matemática do IST, foi distinguido com o 2026 Frontiers of Science Award in Mathematics. Giordano foi selecionado para esta honra pelo International Congress of Basic Science (ICBS). Este prestigiado prémio reconhece a investigação fundamental e aplicada que representa um avanço significativo nos domínios da matemática, da física e das ciências da computação. O prémio foi criado em 2023 e cinco dos laureados já tinham recebido a Medalha Fields anteriormente.

04/04/2026
Sérgio Marcelino lidera novo projeto europeu SemPER

Felicitamos o nosso colega Sérgio Marcelino, Investigador CEEC do SQI-Lx (IT) e do Departamento de Matemática, pela recente aprovação do financiamento para o Projeto Europeu MC Staff Exchange: SEMantics, Proofs, and Effective Reasoning (SemPER). Na qualidade de Investigador Responsável, o Sérgio coordenará esta iniciativa colaborativa focada no avanço da investigação em semântica e lógica. Partilhamos o reconhecimento por esta conquista e aguardamos com expetativa os desenvolvimentos resultantes do projeto SemPER.

14/07/2023
Descobrir math@Técnico

Hugo Tavares, vice-presidente do Departamento de Matemática, fala sobre a Matemática no Técnico.

13/04/2026
2026: O Ano da Matemática

O Congresso dos EUA apresentou uma resolução para declarar 2026 como o "Ano da Matemática" , celebrando a matemática como o alicerce essencial para a inovação tecnológica e a prosperidade económica. Esta celebração coincide com a organização, por parte dos EUA, do prestigiado Congresso Internacional de Matemáticos (ICM) em Filadélfia, em julho de 2026. O nosso departamento destaca a importância de reconhecer o papel vital que a matemática e estatística desempenham na sociedade moderna, servindo de base para a inovação tecnológica por meio da busca de conhecimento impulsionada pela curiosidade.

19/03/2026
Prémio Abel de 2026

A Academia Norueguesa de Ciências e Letras atribuiu o Prémio Abel de 2026 a Gerd Faltings, pelas suas contribuições em geometria aritmética e teoria dos números. Atualmente diretor no Instituto Max Planck de Matemática em Bona, Faltings é talvez mais conhecido pela sua demonstração da Conjetura de Mordell em 1983, um feito monumental que transformou a nossa compreensão de equações diofantinas. Esta prestigiada distinção reconhece a sua profunda visão matemática que moldou o panorama da matemática moderna.

25/12/2025
In memoriam: António Ferreira dos Santos

Imagem

O Professor António Ferreira dos Santos nasceu em Almeirim, em 1939, e dedicou a sua vida académica ao Instituto Superior Técnico, em particular ao Departamento de Matemática. Dotado de uma notável capacidade de coordenação e liderança, colocou a sua criatividade e visão científica ao serviço da investigação desenvolvida no Departamento de Matemática.

Distinguindo-se como o melhor aluno do Liceu de Santarém em 1957, António Ferreira dos Santos obteve uma bolsa da Fundação Calouste Gulbenkian, que lhe permitiu concluir a licenciatura em Engenharia Eletrotécnica no Instituto Superior Técnico, em 1963. Em 1966, novamente com o apoio da Fundação Gulbenkian, deslocou-se para Londres, onde obteve o grau de Doutor em Engenharia Eletrotécnica pelo Imperial College, com um trabalho na área da propagação de ondas. No final da década de 80, decidiu centrar a sua atividade científica na área da Matemática. Em 1989 obteve a Agregação em Matemática. Desde então, exerceu funções como Professor Catedrático no Departamento de Matemática.

O Professor Ferreira dos Santos desempenhou diversos cargos de elevada responsabilidade académica, tendo sido Presidente do Instituto Superior Técnico entre 1978 e 1979, Presidente do Conselho Pedagógico do Instituto Superior Técnico entre 1979 e 1980, Presidente do Departamento de Matemática nos períodos de 1983 a 1984 e de 1991 a 1992, bem como Presidente do Conselho Científico do Instituto Superior Técnico nos mandatos de 2001 a 2002 e de 2003 a 2004.

Foi ainda membro de várias estruturas de gestão e coordenação do Departamento de Matemática. Esteve na criação do Mestrado em Matemática Aplicada, do qual foi coordenador entre 1983 e 1991, tendo lecionado diversas unidades curriculares, nomeadamente Análise Funcional, Análise Complexa, Operadores Lineares e Operadores Integrais.

Foi o principal fundador do Centro de Matemática Aplicada, posteriormente Centro de Matemática e Aplicações, bem como do Centro de Análise Funcional e Aplicações, do qual foi presidente até à sua jubilação, em 2009.

Criou um grupo de investigação em Teoria de Operadores, integrando-o na comunidade científica internacional. A sua investigação contribuiu de forma significativa para o desenvolvimento da teoria da fatorização e da teoria dos operadores integrais singulares, destacando-se, em particular, os seus contributos para a fatorização de funções matriciais do tipo Daniele–Khrapkov e para a fatorização em superfícies de Riemann, bem como para a análise de Fredholm de equações em intervalos compactos. Salientam-se ainda os seus trabalhos na aplicação da teoria da fatorização a sistemas integráveis e à teoria da difração de ondas. Publicou cerca de meia centena de artigos científicos e orientou várias teses de doutoramento.

O Professor Ferreira dos Santos, pela sua determinação e paixão pelo conhecimento, deu contributos de elevado nível para o desenvolvimento da investigação científica em Portugal. Para todos quantos com ele contactaram, será sempre uma referência de rigor académico, espírito democrático na relação entre colegas e permanente procura da excelência científica.

22/02/2026
Derivação inovadora da equação de Boltzmann 

Um artigo recente de física matemática resolveu um importante problema em aberto ao derivar rigorosamente a equação de Boltzmann a partir da dinâmica de átomos individuais.

No artigo Long time derivation of the Boltzmann equation from hard sphere dynamics, Yu Deng, Zaher Hani e Xiao Ma deduziram rigorosamente a equação de Boltzmann, que descreve o comportamento de um gás à escala mesoscópica, diretamente a partir das leis de Newton aplicadas aos seus "átomos" constituintes (assumindo que estes são pequenas esferas rígidas). Este trabalho estende um teorema de 1975 de Oscar Lanford, que prova o mesmo resultado para intervalos de tempo suficientemente pequenos.

Um artigo recente da revista Quanta Magazine descreve claramente essa conquista. Uma ideia-chave consiste em usar técnicas provenientes do estudo de interações de ondas para criar um "algoritmo de corte" que administra a complexidade das histórias de colisões possíveis entre as partículas. Isso é então utilizado para provar que colisões complicadas e recorrentes são extraordinariamente raras. Este trabalho parece oferecer uma compreensão mais profunda do problema de como a seta do tempo, observada na escala macroscópica, emerge das leis time-reversíveis que regem o mundo microscópico. Esse resultado, juntamente com trabalhos anteriores, resolve um aspecto do Sexto Problema de Hilbert.

21/07/2025
Matemáticos resolvem a Conjectura de Kakeya, um problema em aberto há décadas

Hong Wang e Joshua Zahl resolveram a conjectura de Kakeya em 3d, um problema fundamental de geometria que estava em aberto há várias decadas. A conjectura questiona se o espaço necessário para rodar uma agulha em todas as direções tem necessariamente dimensão de Hausdorff 3. A prova resolve afirmativamente esta questão e confirma conexões profundas à análise harmónica.

Proposta inicialmente em 1917, a conjectura rapidamente ganhou notoriedade pela sua dificuldade e relações com várias áreas da matemática. Os especialistas celebram o trabalho como revolucionário, potencialmente abrindo caminho para versões em dimensões superiores e outros problemas em aberto. "É um resultado único em um século", disse Nets Katz, da Universidade Rice. 

20/01/2026
Antigo aluno de LMAC apresenta trabalho pioneiro em conferência de IA

É com grande orgulho e satisfação que anunciamos que Francisco Cunha, antigo aluno da Licenciatura em Matemática Aplicada e Computação (LMAC) vai apresentar um artigo na conferência AAAI 2026, uma das principais conferências mundiais de Inteligência Artificial. A apresentação, Generalizing Analogical Inference from Boolean to Continuous Domains, será integrada na área de Conhecimento e Raciocínio (KRR). Este trabalho de relevo é realizado em colaboração, entre outros, com o Professor Miguel Couceiro do nosso Departamento de Matemática. O Francisco, atualmente a frequentar o mestrado na Universidade de Oxford, propõe com os seus coautores um framework unificado que generaliza a inferência analógica para domínios contínuos, superando limitações de modelos anteriores e abrindo novas perspetivas para aplicações em tarefas de regressão e aprendizagem automática. É uma honra ver o brilhantismo dos nossos antigos alunos a ser reconhecido nos palcos mais relevantes da investigação internacional.

14/11/2025
Estudantes de Matemática Aplicada e Computação premiados com Bolsas Gulbenkian Novos Talentos

Três estudantes do curso de Matemática Aplicada e Computação (MAC) estão entre os onze alunos do Instituto Superior Técnico distinguidos com as bolsas Gulbenkian Novos Talentos para 2025. Este programa, financiado pela Fundação Calouste Gulbenkian, visa apoiar jovens talentos nos seus percursos académicos. Esta conquista reconhece o forte potencial e a dedicação dos nossos alunos na área das ciências matemáticas.

Os estudantes galardoados terão uma oportunidade valiosa para aprofundarem os seus estudos e participarem em projetos de investigação, orientados pelo nosso corpo docente. Parabéns aos vencedores e desejos de sucesso enquanto continuam a desenvolver os seus estudos e para as futuras contribuições que irão fazer.

Notícias passadas...
Vídeos em destaque passados...