MAT Notícias

Palestra Teoria da Computação

Dia 26/03/2015 às 10h no Auditório do MAT.

Palestrante: Profa. Maribel Fernández

Título: "Access control and obligations in the  category-based metamodel: a rewriting semantics"   (Universidade King's College London)