Seminars
2025-11-25
Speaker: Pedro Pessoa (CMUC, UC|UP PhD student)
We will define and study properties of the curvature form of a principal bundle connection. We will then define G-structures....
N-fold groupoids and n-groupoids in regular Mal'tsev categories
2025-12-02
Speaker: Nadja Egner (UCLouvain, Belgium)
TBA...
Categorical and metric density
2025-12-02
Speaker: Tom Leinster (The University of Edinburgh, Scotland)
When metric spaces are viewed as enriched categories, the categorical notion of density does not coincide with the ordinary topological notion. This prompts two questions.First, what does categorical density mean for metric spaces? And second, does the condition of topological density...
On extremal properties of Laplace transform and non uniqueness solutions of the heat equation
2025-12-11
Speaker: João Fontinha (Univ. Lisbon, Portugal)
Non-trivial solutions to the Cauchy problem for the heat equation on the infinite rod \( \partial_tu=\partial_{xx}u, \ u(x,0)=0 \) have been known since Tychonoff's classical example. We connect this problem to the existence of Laplace transforms whose determining function changes across...
Linear chaos - from an apparent paradox to an ubiquitous phenomenon
2025-12-15
Speaker: Karl Grosse-Erdmann (Université de Mons, Belgium)
An AI-enhanced search via google reveals that "Chaos is a nonlinear phenomenon because it describes how complex, often unpredictable, behavior arises from simple deterministic rules in a system." In this talk we illustrate each part of this statement - with one exception: a system need not...
Preservation of effective descent morphisms
2025-12-16
Speaker: Rui Prezado (CIDMA, Univ. Aveiro)
TBA...
An overview on paraconsistent structures and their logics
2025-12-16
Speaker: Juliana Cunha (CIDMA, Univ. Aveiro)
TBA...
Stable characteristic classes of odd-dimensional manifold bundles
2025-12-19
Speaker: João Lobo Fernandes (Karlsruhe Institute for Technology, Germany)
Characteristic classes of manifold bundles are an important tool to distinguish families of manifolds, much like characteristic classes of vector bundles. In the context of even-dimensional manifolds, the ring of characteristic classes of manifold bundles which are stable, under a certain...
On the commuting tensor product of symmetric multicategories and their bimodules
2026-01-13
Speaker: Nicola Gambino (University of Manchester, UK )
We provide a unified treatment of several commuting tensor products considered in the literature, including the tensor product of enriched categories and the Boardman-Vogt tensor product of symmetric multicategories, subsuming work of Elmendorf and Mandell. We then show how a commuting...
TBA
2026-01-13
Speaker: Geoffrey Cruttwell (Mount Allison University, Canada)
TBA...
TBA
2026-01-14
Speaker: Salah Chaib (CMAT, Univ. Minho)
TBA...
The ODE/IM correspondence for the quantum KdV model
2026-01-20
Speaker: Gabriele Degano (Univ. Lisbon, Portugal)
We study the ground state of the quantum KdV model using the ODE/IM correspondence, which relates spectral data of differential equations to integrable structures in quantum field theory. Focusing on a family of anharmonic oscillators, we analyze their spectral determinants and show how they...
Free boundary regularity for the obstacle problem
2026-01-20
Speaker: Alessio Figalli (Fields Medal, ETH Zurich, Switzerland)
The classical obstacle problem consists of finding the equilibrium position of an elastic membrane whose boundary is held fixed and constrained to lie above a given obstacle. By classical results of Caffarelli, the free boundary is smooth outside a set of singular points. However, explicit...
The dynamics of viscous vortex filaments and the binormal curvature flow
2026-02-02
Speaker: Luis Vega (UPV/EHU & BCAM, Spain)
I'll present some recent work about the connection of vortex filaments/tubes that move according to Navier Stokes Equation and the binormal curvature flow of curves in 3d. This is a joint work with Mikel Ispizua and Marco A. Fontelos....
Degenerate versions of hypergeometric Bernoulli and Euler polynomials
2026-02-25
Speaker: Yamilet Quintana (Universidad Carlos III de Madrid, Spain)
We introduce degenerate versions of the hypergeometric Bernoulli and Euler polynomials. We demonstrate that they form \( \Delta_\lambda \)-Appell sets and provide some of their algebraic properties, including inversion formulas, as well as the associated matrix formulation. Additionally, we...
The Value of Errors in Proofs (a fascinating journey from Turing's 1936 R \(\neq\) RE to the 2020 breakthrough of MIP* = RE)
2026-03-01
Speaker: Avi Wigderson (Abel Prize, Turing Award, IMU Abacus Medal, Institute for Advanced Study, Princeton Univ., USA)
In 2020, a group of theoretical computer scientists posted a paper on the Arxiv with the strange-looking title "MIP* = RE", impacting and surprising not only computational complexity theory but also some areas of math and physics. Specifically, it resolved, in the negative, the "Connes'...
Yet another characterization of discrete classical orthogonal polynomials on linear lattices?
2026-03-12
Speaker: Guillermo Gordillo-Núñez (CMUC, University of Coimbra)
TBA...
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...
© Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb v1.4 | technical support
Powered by: rdOnWeb v1.4 | technical support