- Menu
- Passa a palavra.
Partilha esta página. - Linked in
- Copiar Url
-
Thierry Lecomte, Diretor de Projetos de Investigação e Desenvolvimento da CLEARSY Systems Engineering, visitou o Laboratório de Software Confiável (HASLab) do INESC TEC, em Braga, e a sede do Instituto, no Porto, nos dias 6 e 7 de março.
23 abril 2019
Foi no âmbito das Jornadas PERIN 2019 “+ Ciência, + Europa” que decorreu a sessão de apresentação do Laboratório Colaborativo (CoLAB) VORTEX em sistemas Ciber-Físicos e CiberSegurança, no qual o INESC TEC é um dos parceiros, com participação assegurada pelo Laboratório de Software Confiável (HASLab).
02 abril 2019
O artigo intitulado “Efficient Synchronization of State-based CRDTs”, da autoria de Vítor Enes, Paulo Sérgio Almeida e Carlos Baquero, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com João Leitão, investigador do NOVA LINCS, foi aceite para publicação na 35ª edição da IEEE International Conference on Data Engineering (ICDE 2019).
20 março 2019
O 3º Congresso Mundial em Métodos Formais (FM’19), organizado pelo INESC TEC, decorre de 7 a 11 de outubro, no Centro de Congressos Alfândega do Porto, em parceria com a 5ª edição da Conferência Porto Tech Hub, que se vai realizar no dia 11 de outubro, no mesmo local.
20 março 2019
InstitucionalLuís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Universidade do Minho e na Universidade das Nações Unidas, foi eleito, no dia 24 de janeiro, Coordenador do Technical Committee 1 - Foundations of Computer Science (IFIP TC1), um comité internacional cuja missão é o desenvolvimento da teoria e ciências da computação e das suas pontes com outros domínios do saber e aplicações socialmente relevantes.
08 fevereiro 2019
O projeto “Outsystems Learnability Model”, iniciado em maio de 2018 pelo Laboratório de Software Confiável (HASLab) do INESC TEC, e com a duração de seis meses, teve como objetivo definir uma estratégia de análise da experiência de utilização da plataforma da OutSystems, tendo em vista suportar a sua melhoria.
08 janeiro 2019
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