√ Conferências/Seminários
Centro de Informática e Tecnologias da Informação (CITI)
"Distributed Temporal Logic for Security Protocol Analysis", por Carlos Caleiro (Instituto Superior Técnico)
Hora: 14H00
Local: Sala de Seminários do DI - edifício II
√ Agenda do Director
- Visita ao local da obra da estação "Universidade" do Metro Sul do Tejo
(Vice-Reitor; Director; Enc. Missão MST; Secretário; DLC)
Hora: 09H00
Local: Campus FCT
- Reunião com o Senhor Reitor
Hora: 16H00
Local: Reitoria da UNL
