Centre for Mathematics, University of Coimbra

Seminars

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

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

TBA

2026-03-11

Speaker: Louis-Pierre Chaintron (EPFL, Lausanne, Switzerland)

TBA...

Yet another characterization of discrete classical orthogonal polynomials on linear lattices?

2026-03-12

Speaker: Guillermo Gordillo-Núñez (CMUC, University of Coimbra)

TBA...

TBA

2026-03-13

Speaker: Jean-Baptiste Castéras (Univ. Lisboa)

TBA...

TBA

2026-03-17

Speaker: Graham Manuell (Stellenbosch Univ., South Africa)

TBA...

TBA

2026-03-17

Speaker: Paul Levy (Univ. of Birmingham, UK)

TBA...

Perfectly regular frames

2026-03-17

Speaker: Ana Belén Avilez (Chapman Univ., USA)

Cozero elements of a frame play an important role in point-free topology. The set of cozero elements, \( \mathrm{Coz}L \), of a frame \( L \) is a sub \( \sigma \)-frame of \( L \) (that is, a sublattice closed under countable suprema and finite infima). Moreover, the lattice \(...

TBA

2026-03-20

Speaker: Tiago Picon (Universidade de São Paulo, Brazil)

TBA...

TBA

2026-03-27

Speaker: Sven Jarohs (Goethe-Universität, Frankfurt, Germany)

TBA...

TBA

2026-04-01

Speaker: Pedro M. Silva (Univ. Lisboa)

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

TBA

2026-05-04

Speaker: Soichiro Fujii (Kyoto Univ., Japan)

TBA...

TBA

2026-05-04

Speaker: Zeinab Galal (Kyoto Univ., Japan

TBA...

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

TBA

2026-10-22

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

TBA...