Thu, 30 April 2015, 14:00 - 17:00
Tipo de evento:
Academic Event
Localização específica:
Sala de atos
Dual Degree PhD Program Carnegie Mellon/UNL
Tema da Tese
"A logical Foundation for Session-based Concurrent Computation"
Constituição do júri
Presidente: Doutor Nuno Manuel Robalo Correia, Faculdade de Ciências e Tecnologia /UNL
Vogais:
- Doutor Luís Caires - Faculdade de Ciências e Tecnologia /UNL (co-orientador)
- Doutor Frank Pfenning - Carnegie Mellon University, EUA (co-orientador)
- Doutor Simon Gay - University of Glasgow, UK
- Doutor Vasco Tudichum Vasconcelos, Faculdade de Ciências /UL
- Doutor Robert W. Harper - Carnegie Mellon University, EUA
- Doutor Stephen Brookes - Carnegie Mellon University, EUA
- Professor Doutor António Ravara - Faculdade de Ciências e Tecnologia /UNL