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

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)

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

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