Session-typed Staged Metaprogramming
Seminário de Lógica Matemática, por Pedro Ângelo (Universidade de Lisboa - LASIGE).
Matemática
Dia Internacional da Matemática em CIÊNCIAS 2025
Atividades a decorrerem em CIÊNCIAS nos dias 14 e 19 de março.
Homenagem ao Professor João Cosme Santos Guerreiro, matemático e “pessoa profundamente humana e generosa”
“O professor que mais marcou a lecionação da Matemática”. Foi com estas palavras que Luís Saraiva, matemático e professor de CIÊNCIAS, começou a sessão de homenagem ao Professor João Cosme Santos Guerreiro, matemático de CIÊNCIAS, mas muito mais para além disso. “Pessoa profundamente humana e generosa”, sublinhou Luís Saraiva.
A plateia que assistia anuiu com frequência sempre que estas palavras foram proferidas – e foram-no por todos os intervenientes na sessão.
Character Varieties in Knot Theory
Seminário de Geometria e Física, por Alejandro Calleja (Univ. Complutense, Madrid).
Stability of extremal domains
Seminário de Geometria, por Marcos Petrúcio Cavalcante (Universidade Federal de Alagoas - UFAL).
Stable phase retrieval
Seminário de Análise e Equações Diferenciais, por Mitchell A. Taylor (ETH Zurich).
Kunen's inconsistency and immediately below
Seminário de Lógica Matemática, por Luís Pereira (Universidade de Lisboa).
Sessão de Homenagem ao Professor João Cosme Santos Guerreiro
Sessão comemorativa, a realizar na ocasião da colocação do retrato do Professor João Guerreiro no Grande Auditório, bem como de um póster a ele relativo no átrio do edifício C3.
Jornadas de Matemática em CIÊNCIAS
O Departamento de Matemática e o Núcleo de Estudantes de Matemática e Matemática Aplicada associam-se às celebrações do Dia Internacional da Matemática.
A new proof of Herbrand’s Theorem and the proof assistant Lean
Seminário de Lógica Matemática, por Lia Malato (Universidade de Lisboa).
Páginas
- « primeira
- ‹ anterior
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- seguinte ›
- última »