Apresentações de projectos da LMAC

Nestas sessões especiais, os finalistas da LMAC apresentam os temas dos seus projectos de Licenciatura.

Teremos coffeebreaks às 10h30 e às 15h20 e bolo no final do evento!

Mova o rato sobre o programa para ver horas de início e de fim.

Nuno Carneiro
O operador p-Laplaciano em grafos métricos
Francisco Farinha Malaca
Técnicas para provar a terminação de programas
David Paulino
Sistemas Dedutivos: os Sistemas de Dedução Natural
Café
Afonso Carvalho
Produtos Infinitos: Função Gama e Zeta de Riemann
Diana Gaspar
Tratamento de imagens: técnicas de compressão e técnicas de eliminação de ruído
André Ribeiro
Machine Learning in Premise Selection for Automatic Theorem Proving
Diogo Silva
Movimento browniano
Francisco Dias da Silva
Movimento Browniano - Aplicações à Matemática Financeira
Madalena Preto
Lógica Modal
Café
Gonçalo Pereira
Scattering for the Nonlinear Schrödinger Equation in One Dimension
Miguel Faria
A Conjetura de Frankl
Bolo
ter, 18 jul 2023
9
/
11
11
/
13
13
/
15
15
/
17
17
/
19