Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias

Notícias por Laboratório de Software Confiável

Institucional

Avaliação intermédia projeto INESC TEC revela “progresso excelente”

LeanBigData, um projeto europeu onde o INESC TEC é parceiro, foi recentemente submetido a uma segunda avaliação da Comissão Europeia e, de acordo com o comité de avaliação, o projeto teve um “progresso excelente”, tendo excedido as expectativas dos avaliadores. A avaliação teve lugar em março, no Luxemburgo.

07 abril 2016

Institucional

4 demonstradores de redes elétricas inteligentes instalados na Europa até 2017

Projeto europeu UPGRID na área da energia conta com a colaboração do INESC TEC.

03 março 2016

Institucional

INESC TEC organiza workshop sobre exploração e produção de petróleo

O INESC TEC organizou, no dia 19 de fevereiro, um workshop sobre a indústria de exploração e produção de petróleo (E&P).

25 fevereiro 2016

Institucional

Chega ao fim projeto do INESC TEC com PT Inovação/Altice Labs

Terminou no final de janeiro de 2016 o projeto OSSaaS – Operations Support Systems as a Service, promovido pela PT Inovação/Altice Labs e no qual o INESC TEC foi um dos parceiros.

17 fevereiro 2016

Institucional

INESC TEC desenvolve rede social para doentes oncológicos

FalarSobreCancro.org é o nome da rede social que nasceu para troca de informações e experiências entre doentes oncológicos. O site é público, livre e gratuito e pretende ser um meio privilegiado de interação da comunidade oncológica, nomeadamente doentes, familiares, amigos, profissionais de saúde, investigadores e voluntários.

08 fevereiro 2016

Institucional

Protocolo do INESC TEC com o National Institute of Informatics leva investigadores ao Japão

No seguimento da assinatura de um memorando de entendimento, em 2014, entre o INESC TEC e o National Institute of Informatics (NII), em Tóquio (Japão), cinco investigadores do INESC TEC tiveram a oportunidade de realizar estágios nesta instituição.

02 fevereiro 2016

Institucional

Investigador do INESC TEC conclui provas de agregação na UMinho

Jorge Sousa Pinto, antigo coordenador e atual investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente no Departamento de Informática na Universidade do Minho (UMinho), concluiu em dezembro as provas de agregação, tendo sido aprovado por unanimidade dos membros do júri.

18 janeiro 2016

Institucional

INESC TEC lidera projeto europeu para tornar dados na cloud invioláveis

Chama-se SafeCloud e vai ser desenvolvido até 2018.

30 novembro 2015

Institucional

Investigadora INESC TEC recebe bolsa de €1,5M do European Research Council

Alexandra Silva, investigadora associada do Laboratório de Software Confiável (HASLab) do INESC TEC e professora associada na University College London, recebeu um financiamento de €1,5M do Conselho Europeu de Investigação para programar sistemas de redes complexos, uma área de estudo ligada à engenharia de software.

27 novembro 2015

Institucional

Investigador do INESC TEC integra Conselho Científico das Ciências Exatas e da Engenharia da FCT

José Manuel Valença, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e professor catedrático da Universidade do Minho, integrou em setembro o Conselho Científico das Ciências Exatas e da Engenharia (CCCEE) da Fundação para a Ciência e a Tecnologia (FCT).

09 novembro 2015

Institucional

Investigador do INESC TEC homenageado

José Nuno Oliveira, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, foi homenageado, no dia 26 de setembro, num Festschrift Symposium. O investigador foi homenageado pelo seu papel pioneiro na aplicação de Métodos Formais na área de Engenharia de Software em Portugal.

14 outubro 2015

Institucional

INESC TEC organiza conferência internacional sobre Ciências da Computação

O Laboratório de Software Confiável (HASLab) do INESC TEC está a organizar a 15ª edição da RAMiCS – Conferência Internacional em Métodos Algébricos e Relacionais em Ciências da Computação, que decorre de 28 de setembro a 1 de outubro, na cidade de Braga.

09 outubro 2015

  • 13
  • 16