2024-11-04

Speaker: Daniele Puglisi (University of Catania, Italy)

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...

2024-11-12

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

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...

2024-11-20

Speaker: Pedro Lopes (IST, Univ. Lisboa)

2024-12-03

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

2024-12-13

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

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...

2025-01-08

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

2025-02-19

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

© document.write(new Date().getFullYear()) Centre for Mathematics, University of Coimbra, funded by

Powered by: rdOnWeb v1.4 | technical support

Powered by: rdOnWeb v1.4 | technical support