Ciclo de Seminários do Grupo RELEASE EVENTO: 03 de dezembro de 2008 "Specifying System with TLA+: An Introduction" "Correcção e Segurança Baseadas em Asserções: Uma Introdução à Verificação de Programas" 3 de Dezembro, pelas 14h30, no Anfiteatro 6.26. EVENTO: 03 de dezembro de 2008 Importar iCal Partilha Ver cartaz UBI Próximos eventos ver todos out 9 Pré-inscrições: Concurso Pontes de Esparguete Semana da Saúde Mental Faculdade de Ciências Sociais e Humanas > Anfiteatro 7.21 | Online Candidaturas: Academia M23 - Rumo ao Ensino Superior Candidaturas: Curso O Papel dos Professores Cooperantes na Escola e a Interligação com a Universidade Inscrições: Curso de Língua Gestual Portuguesa 11:45 II Colóquio Internacional Michel Henry: Fenomenologia e Cultura 09:30 Polo I > Auditório da Biblioteca Central Outras notícias ver todas Nota de Pesar: Fernando Paulouro Neves Cândida Tomaz preside ao Instituto Coordenador da Investigação FCS-UBI adere a rede internacional de escolas médicas de língua portuguesa Seminário promove reflexão sobre gestão de dados científicos na UBI UBI recebe Selo Estudante-Atleta do Ensino Superior UBI e Tecnovia assinam protocolo na área da Engenharia Civil Partilhar Data da última atualização: 2008-12-03