A Type System for Value-Dependent Information Flow Analysis
Presidente: Doutor José Legatheaux Martins
Vogais:
Doutor Vasco Tudichum Vasconcelos, Professor Catedrático, FC-UL;
Doutor Luís Caires, Professor Catedrático, FCT-UNL;
Doutora Ana Gualdina Almeida Matos, Professora Auxiliar, IST/UL;
Doutora Carla Ferreira, Professora Auxiliar, FCT/UNL;
Doutor Deeepak Garg, Especialista ao abrigo do nº6 do artº.34º do Decreto-Lei nº115/2013 de 07 de agosto (Faculty member - Max Planck Institute for Software Systems - Germany).
Local:
Sala de Atos - Ed IV
03/03/2016
10h00