Centre for Mathematics, University of Coimbra

Seminars

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

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