Centre for Mathematics, University of Coimbra

Seminars

Partial regularity in nonlocal problems

2026-04-16

Speaker: Giuseppe Mingione (Università di Parma, Italy)

The theory of partial regular regularity for elliptic systems replaces the classical De Giorgi-Nash-Moser one for scalar equations asserting that solutions are regular outside a negligible closed subset called the singular set. Eventually, Hausdorff dimension estimates on such a set can be...

Block eigenvalues and matrix roots of matrix polynomials: Applications to ordinary differential matrix equations and matrix differences equations

2026-04-17

Speaker: Manuel A. Facas Vicente & José Vitória (Univ. Coimbra, Portugal)

TBA...

Sticky Brownian motion with infinite boundary diffusion

2026-04-17

Speaker: Léonard Monsaingeon (NOVA Math Lisbon & IECL Univ. de Lorraine)

Sticky Brownian motion is a stochastic process that alternates standard Brownian motion inside a given domain and tangential diffusion along its boundary. At the PDE level, the corresponding Fokker-Planck diffusion consists in a bulk/interface coupled system of parabolic PDEs with Wentzell...

Transport estimates between heat equation and the Goldstein-Kac telegraph equation

2026-04-24

Speaker: Gerardo Barrera (IST, Lisboa)

In this presentation we will obtain a non-asymptotic process level control between the telegraph process (a.k.a. Goldstein--Kac equation/process) and a Brownian motion with explicit diffusivity constant via a transportation Wasserstein path-distance with quadratic average cost. We stress...

On the protomodular and Mal'tsev properties for varieties of ordered algebras

2026-04-28

Speaker: Diana Rodelo (Univ. do Algarve)

The aim of the talk is to study the notions of lax protomodular category [1] and \( \mathsf{Ord} \)-Mal'tsev category [2] in the context of (coherent) varieties of (pre)ordered algebras and to compare them, as has been done in the non-ordered context. We characterise varieties of ordered...

TBA

2026-04-28

Speaker: Manuel Kahala Ostrogadsky (Univ. Agostinho Neto, Angola)

TBA...

Nerves of T-categories and powerful T-functors

2026-05-04

Speaker: Soichiro Fujii (Kyoto Univ., Japan)

Burroni's \( T \)-categories generalize internal categories, which themselves generalize ordinary (small) categories. The classical nerve construction assigns to a small category a simplicial set, and this construction extends routinely to internal categories: any internal category in a...

Coinductive reasoning for parametrized functors and monads

2026-05-04

Speaker: Zeinab Galal (Kyoto Univ., Japan

Lax extensions (also called relators or relation liftings) are a categorical notion for reasoning about functors acting on functions and relations in a compatible way. They play a central role in developing sound proof principles for behavioral equivalence of state-based systems and are also...

Can a non-trivial isometric quotient of the unit n-sphere be made arbitrarily small?

2026-05-07

Speaker: Claudio Gorodski (Univ. São Paulo, Brazil)

We will explain our proof of the existence of \( \varepsilon >0 \) such that every quotient of the unit sphere \( S^n (n\geq 2) \) by a isometric group action has diameter zero or at least \( \varepsilon \). The novelty is the independence of \( \varepsilon \) from \( n \). The...

TBA

2026-05-12

Speaker: Juan Gabriel Calvo (Univ. of Costa Rica, Costa Rica)

TBA...

TBA

2026-06-16

Speaker: Rafael Díaz Fuentes (Università di Cagliari, Italy)

TBA...

TBA

2026-06-19

Speaker: Irene Fonseca (Carnegie Mellon University, USA)

TBA...

Using symplectic groupoid multiplication for Poisson integrators

2026-06-24

Speaker: Alejandro Cabrera (Uni. Politècnica de Catalunya, Spain)

TBA...

TBA

2026-10-22

Speaker: Thomas Kriecherbauer (Univ. of Bayreuth, Germany)

TBA...