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
InstitucionalCarlos 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
InstitucionalO 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
InstitucionalDecorreu 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
InstitucionalO 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
InstitucionalDaVinci, 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
InstitucionalUm 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
InstitucionalJosé 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
InstitucionalO 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
InstitucionalO 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
InstitucionalA EuroSys - European Conference on Computer Systems, uma das maiores conferências em sistemas de computação do mundo, realizou-se no Porto, entre os dias 23 e 26 de abril. Foram cerca de 300 os participantes de todo o mundo que se juntaram nesta que é conhecida como uma das maiores conferências internacionais em sistemas de computação.
03 maio 2018
InstitucionalJoão Tiago Paulo e Hadi Tork, colaboradores do INESC TEC, no Laboratório de Software Confiável (HASLab) e no Laboratório de Inteligência Artificial e Apoio à Decisão (LIAAD), respetivamente, foram dois dos 15 finalistas no ERCIM 2017 Cor Baayen Young Researcher Award.
29 março 2018
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.