- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
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
A 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
Joã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
KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology, é o novo projeto de investigação do Laboratório de Software Confiável (HASLab) do INESC TEC, que foi aceite recentemente pelo concurso da Fundação para a Ciência e Tecnologia, e que visa o desenvolvimento de modelos coalgébricos para biologia sintética.
14 março 2018
Salvar vidas através da redução de erros na utilização de dispositivos médicos. Será esta motivação que levou investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC a participar num programa internacional que tem como objetivo reduzir o número de erros associados à utilização dos equipamentos como monitores de glicose ou máquinas de hemodiálise, melhorando a sua segurança e consequente performance.
01 fevereiro 2018
José Creissac Campos, investigador no Laboratório de Software Confiável (HASLab) do INESC TEC e professor na Universidade do Minho, foi nomeado membro do Grupo de Assessores do Ministério dos Negócios, Inovação e Emprego da Nova Zelândia (MBIE - Ministry of Business, Innovation and Employment).
31 janeiro 2018
O projeto europeu SafeCloud, Secure and Resilient Cloud Architecture, alcançou uma avaliação positiva no seu segundo ano de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu em novembro em Bruxelas.
17 janeiro 2018