Seminars
Seminars

Seminars

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

Reducible skew-torsion holonomy and the heterotic G2-system

GTA Seminar | Speaker: Leander Stecker (IST-UL,…

Read more
Sala F2.2 PII ECT, UTAD and online | | 11:00

Classification of Edge-to-edge Monohedral Tilings of the Sphere

GTA Seminar | Speaker: Hoi Ping LUK (The Hong Kong…

Read more
UMinho, campus de Azurém, biblioteca do DM | | 11:00

(ANAP) Chaotic dynamics and bifurcations in modified SIR models

Orador: Carlos Fabian Álvarez Escorcia (Institute…

Read more
Seminar Room, Department of Mathematics | - | 14:30

A new syntactic proof of Strong Normalisation for Idempotent Intersection Types

Speaker: …

Read more