Seminars



<Historic> <Subscription>
<Theme details>
On a quasi-linear elliptic equation depending on the gradient
2024-11-04
Speaker: Daniele Puglisi (University of Catania, Italy)
TBA...

Interpolations of a-Hölderian mappings between normed spaces
2024-11-08
Speaker: Amiran Gogatishvili (Czech Academy of Sciences, Prague)
We present some well-known and new results for identifying some interpolation spaces on nonlinear interpolation of α-Hölderian mappings between normed spaces.  We give applications of these results to obtain some regularity results on the gradient of the weak or...

TBA
2024-11-12
Speaker: Enrique Zuazua (Friedrich-Alexander-Univ. Erlangen-Nürnberg, Germany)
TBA...

Weighted sifted colimits
2024-11-20
Speaker: Jirí Adámek (Czech Technical Univ., Prague, Czech Republic)
In ordinary categories both filtered colimits and reflexive coequalizers have the property that in every variety of algebras such colimits are formed on the level of the underlying sets. More generally, all sifted colimits have that property. A category \( \mathcal D \) is sifted if colimits...

TBA
2024-11-20
Speaker: Pedro Lopes (IST, Univ. Lisboa)
TBA...

Rectifiability in Carnot groups
2024-12-03
Speaker: Daniela Di Donato (University of Pavia, Italy)
TBA...

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
2025-01-08
Speaker: Lianet De la Cruz Toranzo (TU Bergakademie Freiberg, Germany)
TBA...

TBA
2025-02-19
Speaker: Pedro Vaz (U.C. Louvain, Belgium)
TBA...

© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support