Seminars
Seminars

Seminars

Rui Prezado (CMUC, Universidade de Coimbra) | | 11:00

Descent-theoretical aspects of categorical Galois theory

ALC Seminar | Speaker: Rui Prezado (CMUC,…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:00

Recent Advances in Toeplitz-Like Matrix Computations

ALC Seminar | Speaker: Skander Belhaj (…

Read more
Sala de Seminários Ed.6-3.08 | | 15:30

The weighted Einstein condition and its geometric implications

GTA Seminar | Speaker: Diego Mojón-Álvarez (…

Read more
Sala de Seminários Ed.6-3.08 | | 14:30

The holonomy of principal bundle connections over effective orbifolds

GTA Seminar | Speaker: Sebastián Daza (University…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | - | 11:00

On extensions of Cohen Structure Theorem

ALC Seminar | Speaker: Elena Caviglia (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:45

What is 2-dimensional categorical algebra?

ALC Seminar | Speaker: Luca Mesiti (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:00

Computer Assisted Mathematical Proofs: using the computer to verify proofs

ALC Seminar | Speaker: Herman Geuvers (…

Read more
Sala de Seminários Ed.6-3.08, Campus de Gualtar | | 11:45

Duality of intersection and union types

ALC Seminar | Speaker: Silvia Ghilezan (…

Read more