Seminars
Seminars

Seminars

| - | 14:30

Fully abstract game semantics for algebraic effects with recursion

Speaker: Norihiro Yamada, INESC…

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

Algebras of partial functions for a foundational signature

Speaker: Célia Borlido, Centro…

Read more
UMinho, campus de Gualtar | | 11:00

Seminário do ANAP: Mathematical models for agricultural pest and disease vector…

Título: Mathematical models for agricultural…

Read more
Sala de Seminários do DMAT, campus de Gualtar | | 11:00

Seminário do ANAP: Modelling Self-organization or Disorder

Título: Modelling Self-organization or…

Read more