Seminars



<Historic> <Subscription>
<Theme details>
Control and Machine Learning
2024-11-12
Speaker: Enrique Zuazua (Friedrich-Alexander-Univ. Erlangen-Nürnberg, Germany)
Systems control, or cybernetics - a term first coined by Ampère and later popularized by Norbert Wiener - refers to the science of control and communication in animals and machines. The pursuit of this field dates back to antiquity, driven by the desire to create machines that autonomously...

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

A combinatorial view on quandles
2024-11-20
Speaker: Pedro Lopes (IST, Univ. Lisboa)
Quandles are the algebraic distillation of the Reidemeister moves on which renders them useful in the telling apart of knots. This leads us to study their structure. Right-invertibility (quandles 2nd axiom) allows us to regard them as sequences of permutations, the right translations. It has...

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
2024-12-17
Speaker: Rui Prezado (CIDMA, Univ. Aveiro)
TBA...

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