Seminars
Seminars

Seminars

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

A new syntactic proof of Strong Normalisation for Idempotent Intersection Types

Speaker: Simona Ronchi della Rocca…

Read more
Seminar room (B4009), Departament of Mathematics | - | 14:30

(ANAP) From ABC to KPZ

Speaker: Patrícia Gonçalves (University of Lisbon…

Read more
Sala B4009 (sala de seminários do DMAT),… | - | 12:00

Orthogonal Zero Patterns

Speaker: Charles Johnson (The College of…

Read more
online | | 14:30

Standard quotients of homogeneous spaces: the case of plane wave

GTA Seminar | Speaker: Lilia Mehidi (Univ.

…
Read more