Provas Académicas
Engenharia Informática
Provas de Mestrado do Licenciado Bernardo Parente Coutinho Fernandes Toninho
Dissertação: "A Logic and Tool for Local Reasoning about Security Protocols"
Constituição do Júri:
Presidente
· Doutor José Alberto Cardoso e Cunha, Professor Catedrático da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Vogais
· Doutor Pedro Miguel dos Santos Alves Madeira Adão, Professor Assistente do Instituto Superior Técnico da Universidade Técnica de Lisboa;
· Doutor LuÃs Manuel Marques da Costa Caires, Professor Associado da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa.
Hora: 15H30
Local: Sala de Seminários edifÃcio II
Exposições
"Do Robots have Electric Dreams?"
Hora: 09H00-20H00
Local: Sala de Exposições da Biblioteca
Agenda do Director
- Reunião com o Pres. do Conselho de Faculdade
Hora: 11H00
Local: Direcção
- Almoço com o Pres. do Conselho de Faculdade
Hora: 12H30
Local: Rest. c@mpus .come
- Júri de concurso para Professor Associado no Grupo de Disciplinas da FÃsica
Hora: 15H00
Local: Reitoria UNL