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
»
Março
From Verification To Development of Message Passing Programs by Hugo Torres Vieira (IMT Lucca)
More info:
http://nova-lincs.di.fct.unl.pt/seminar/362
