Página Inicial


Anúncios

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!

Mais informações aqui.



Todos os Anúncios

Eventos

DEI às 4ªs com José Fragoso Santos

10 Dezembro 2018, 18:00 - Pedro Manuel

IST Alameda - Sala 0.19 - Pavilhão Informática II e IST TagusPark - Sala 2N1.5 (por videoconferência)

Início às 12h15


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.

Pode saber mais sobre o trabalho de José Fragoso Santos aqui.



Todos os eventos.