Seminars
Seminars

Seminars

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
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 | | 16:00

Local arithmetic invariants of hyperelliptic curves

ALC Seminar | Speaker: Qing Liu (…

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

Proof Theory of Skew Logics

ALC Seminar | Speaker: Cheng-Syuan Wan (…

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

Groups with the Magnus property

ALC Seminar | Speaker: Claude Marion - Instituto…

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

The Herzog–Schönheim Conjecture for finite simple groups

ALC Seminar | Speaker: Martino…

Read more
Sala Ed.1-1.18 | | 14:30

Totally geodesic submanifolds of nearly Kähler and G2-manifolds.

GTA Seminar | Speaker: Juan Manuel Lorenzo Naveiro…

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

Dinâmica genérica dos homeomorfismos simpléticos

Seminário do ANAP | Orador: Mário Bessa (…

Read more