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

Artigo de Investigadores do INESC TEC recebe menção honrosa

José Creissac Campos e Michael Harrison, ambos investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, foram distinguidos com uma menção honrosa com o artigo “Modelling information resources and their salience in medical device design”, no âmbito da conferência Engineering Interactive Computing Systems (EICS), que se realizou de 21 a 24 de junho em Bruxelas.

01 julho 2016

Institucional

Investigadores do INESC TEC dinamizam Cátedra da Fundação Luso-Americana para o Desenvolvimento

Luís Soares Barbosa e Sara Fernandes, investigadores no Laboratório de Software Confiável (HASLab) do INESC TEC, estão a dinamizar a Cátedra “Smart Cities e Smart Governance” na Fundação Luso-Americana para o Desenvolvimento (FLAD), na sequência de um protocolo assinado com aquela instituição na primeira semana de maio no Campus de Couros em Braga.

13 junho 2016

Institucional

Investigador do INESC TEC em Escola de Verão da Google

Georges Younes, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e estudante de doutoramento do programa doutoral em Ciências de Computadores (MAP- i), vai participar na Google Summer of Code 2016, uma iniciativa financiada pela Google para promover, junto de estudantes, o desenvolvimento de software open source.

07 junho 2016

Institucional

Investigador INESC TEC publica pela primeira vez artigo na Communications of the ACM

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Universidade do Minho, é o primeiro investigador do INESC TEC a publicar um artigo na revista especializada Communications of the ACM. O artigo, intitulado “Why logical clocks are easy”, foi publicado na edição de abril da revista.

16 maio 2016

Institucional

Centro do INESC TEC acolhe alunos do Programa “Os Melhores Alunos na UMinho 2016”

O Laboratório de Software Confiável (HASLab) do INESC TEC acolheu, de 29 a 31 de março, os alunos das Escolas Secundárias do distrito de Braga que escolheram o HASLab como centro de investigação para vivenciar a atividade de um investigador na área da Informática. O acolhimento decorreu no âmbito do programa “Os Melhores Alunos na UMinho”.

22 abril 2016

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

  • 12
  • 15