- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
José Creissac Campos, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente da Universidade do Minho, visitou, de 26 a 29 de novembro, o Laboratório de Interação Humano-Computador para Necessidades Especiais, que faz parte da Universidade do País Basco, onde promoveu a área de trabalho em métodos formais.
28 dezembro 2018
Foi no dia 27 de setembro que teve lugar a terceira e última avaliação pela Comissão Europeia do projeto SafeCloud, um trabalho liderado pelo Laboratório de Software Confiável (HASLab) do INESC TEC. Com um investimento de mais de três milhões de euros, este projeto foca a área das infraestruturas na cloud, que, apesar das suas vantagens, apresentam ainda vários desafios de segurança, privacidade e integridade no armazenamento e processamento de dados.
04 outubro 2018
Computação sem Fronteiras, atividade organizada para a 10ª edição do programa Verão no Campus da Universidade do Minho pelo Departamento de Informática, em colaboração com o HASLab, contou com a participação de 26 alunos.
17 setembro 2018
Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 26 e 27 de julho, as provas de agregação na Universidade do Minho, tendo sido aprovado por unanimidade pelos membros do júri.
07 setembro 2018
O projeto europeu CloudDBAppliance alcançou uma avaliação positiva nos primeiros 18 meses de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu a 6 de julho, em Bruxelas.
07 setembro 2018
Decorreu nos dias 9 e 10 de julho a conferência “Chain-in: The International Industrial & Academic Conference on Blockchain Technology”, cuja organização esteve a cargo do INESC TEC.
12 julho 2018
O tratamento arquivístico do espólio do grupo de trabalho WG2.1 – Algoritmi Languages and Calculi, da International Federation for Information Processing (IFIP), foi apresentado no dia 20 de junho, no Arquivo Distrital de Braga (ADB), e contou com o apoio do INESC TEC, da Universidade do Minho e da Primavera BSS.
27 junho 2018
DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systems, é o novo projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que foi aceite recentemente pela Fundação para a Ciência e a Tecnologia e que visa analisar e implementar sistemas de software distribuídos baseados em componentes ciber-físicos.
20 junho 2018
Um projeto do INESC TEC, desenvolvido em parceria com a Imprensa Nacional Casa da Moeda (INCM), foi uma das apresentações em destaque da exposição de ideias inovadoras, já implementados ou ainda em desenvolvimento pela INCM, que decorreu no dia 24 de maio.
18 junho 2018
José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi convidado para palestrar na conferência Porto Tech Hub, evento que decorreu no dia 18 de maio, na Alfândega do Porto.
08 junho 2018
O artigo “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, da autoria de Luís Cruz, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Rui Maranhão, docente do Instituto Superior Técnico, foi premiado com Best Paper Award na XXI Conferência Ibero-Americana de Engenharia de Software (CIbSE 2018), que decorreu em Bogotá, Colômbia, de 23 a 27 de abril.
05 junho 2018
O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu alunos das escolas secundárias dos distritos de Braga, Viana do Castelo e Bragança que escolheram o HASLab para vivenciar a atividade de um investigador na área da Informática. Este acolhimento decorreu no âmbito da 5ª edição do programa Melhores Alunos na UMinho.
08 maio 2018