Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Português
English
Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Departamento
Ensino
Notícias
Eventos
Investigação
Ligação à Sociedade
Media
MENU
Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Eventos
»
Início
»
Eventos
»
2016
»
Janeiro
NetKAT: A Formal System For The Verification Of Networks By Alexandra Silva (University College London)
Host:
Software Systems
More Info:
http://nova-lincs.di.fct.unl.pt/seminar/356
