Competição de Blokus Duo - REC 2019

6 Dezembro 2018, 11:06 - Pedro Manuel

Competição de Blokus Duo organizada pelo Prof. Rui Duarte, no âmbito do REC 2019.
Pré-inscrição de equipas até ao dia 14 de Janeiro de 2019!

DEI às 4ªs com José Fragoso Santos

10 Dezembro 2018, 18:00 - Pedro Manuel

JaVerT 2.0: Compositional Symbolic Execution for JavaScript

O DEI às 4ªs do dia 12 de Dezembro terá como orador José Fragoso Santos, doutorado pela Inria Sophia Antipolis Méditerranée, e investigador pós-doutorado no Imperial College de Londres.
A palestra irá incidir sobre Execução Simbólica Composicional para JavaScript.

Mais informações aqui.