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 30 Pré-inscrições: Concurso Pontes de Esparguete Candidaturas: UBI-Idea2You - da Investigação à Aplicação Candidaturas: WIN-UBI - Concurso de Ideias de Negócio Gabinete de Responsabilidade Social da UBI procura voluntários Congresso de Educação Médica - In2ME 2025 10:00 Faculdade de Ciências da Saúde > Grande Auditório nov 7 XI Congresso Científico Anual do UBIPharma Faculdade de Ciências da Saúde > Grande Auditório Outras notícias ver todas UBI atinge 1.000 inscritos nos primeiros MOOCs UBI no projeto nacional IAedu rumo à democratização da Inteligência Artificial UBI celebra Mês da Inovação Pedagógica em novembro Andreia Garcia recebe Prémio Personalidade Arquitetura Investigadores da UBI com acesso à pesquisa “Scopus AI” UBI no debate nacional sobre o futuro das Alianças Universitárias Europeias Partilhar Data da última atualização: 2008-12-03