Título: Reasoning Techniques for Higher-Order Session Processes
Orador: Jorge A. Pérez (University of Groningen - The Netherlands)
Dia/hora: 20 outubro, 14h00
Local: Sala de seminários do DI, EdII
Mais informações aqui.
