Centre for Mathematics, University of Coimbra

Seminars

Rectifiability in Carnot groups

2024-12-03

Speaker: Daniela Di Donato (University of Pavia, Italy)

Intrinsic regular surfaces in Carnot groups play the same role as C¹ surfaces in Euclidean spaces. As in Euclidean spaces, intrinsic regular surfaces can be locally defined in different ways: e.g., as non-critical level sets or as continuously intrinsic differentiable graphs. The equivalence...

The geometry of free boundaries in PDE

2024-12-06

Speaker: Julio Cesar Correa (Univ. Estadual do Rio de Janeiro, Brazil)

Free boundary problems naturally arise in ice melting and iron behaviour under abrupt temperature changes during forging (quenching). These problems can be formulated as seeking a pair \( (\Omega, u) \), where \( \Omega \) represents the domain and \( u \) is a function satisfying a...

The mathematics of biomedical imaging: the past, the present and some open problems

2024-12-13

Speaker: F. Alberto Grunbaum (UC Berkeley, USA)

TBA...

Definability and full abstraction for algebraic effects with recursion

2024-12-17

Speaker: Norihiro Yamada (CMUC, Univ. Coimbra)

In this talk, I present an overview of my recent work on an intersection between algebra, logic and topology: definability and full abstraction for algebraic theories in the sense of universal algebra combined with a well-known formal calculus for higher-order computation. The...

TBA

2024-12-17

Speaker: Rui Prezado (CIDMA, Univ. Aveiro)

TBA...

Hardy decomposition of first order Lipschitz functions by Clifford algebra-valued harmonic functions

2025-01-08

Speaker: Lianet De la Cruz Toranzo (TU Bergakademie Freiberg, Germany)

TBA...

Isometries and other symmetries of positive cones in operator algebras

2025-01-14

Speaker: Lajos Molnar (University of Szeged, Hungary)

TBA...

Characterized subgroups of the circle group

2025-02-10

Speaker: Giuseppina Barbieri (Univ. Salerno, Italy)

TBA...

Polynomial and rational matrices with prescribed data

2025-02-18

Speaker: Foilán M. Dopico (Univ. Carlos III de Madrid, Spain)

TBA...

TBA

2025-02-19

Speaker: Pedro Vaz (U.C. Louvain, Belgium)

TBA...

Analysis on finite spaces still be interesting

2025-03-04

Speaker: Persi Diaconis (Standford University, USA)

TBA...

On quasi-orthogonal polynomials of order two

2025-03-14

Speaker: Vanessa Botta (São Paulo State Univ., Brazil)

TBA...