Departamento
Boas-vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
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
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
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
»
2022
»
Novembro
Gradual Verification: Assuring Software Incrementally by Jonathan Aldrich (Carnegie Mellon University)
Sex, 11 novembro 2022,
11:00
-
12:00
Tipo de evento:
Seminário
Organizador:
DI/NOVA LINCS
Local do evento:
Sala de Reuniões do DI e ZOOM
MORE INFO
URL:
https://videoconf-colibri.zoom.us/j/92950889155?pwd=YXN6MFNwaDVxbGh4RHQ5d3N0VWhLUT09
Próximos eventos
21 novembro 2025
Prova Académica
Provas MIEI Lic. Alexander Pavlovich Denisov 44592
21 novembro 2025
Prova Académica
Provas MIEI Lic. Lucas Correia Lobo 58210
26 novembro 2025
Seminário
Deep Semantic Entity Linking by Pedro Ruas (TNO - Netherlands Organisation for Applied Scientific Research)