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

INESC TEC participa no novo projeto Europeu InteGrid na área das Smart Grids

Nos dias 12 e 13 de janeiro, teve lugar, em Lisboa, a reunião de arranque do Projeto Europeu InteGrid, coordenado pela EDP Distribuição e aprovado pela Comissão Europeia, no âmbito do programa Europeu Horizonte 2020, com um orçamento de 15 milhões de euros e duração de 42 meses.

20 janeiro 2017

Institucional

Luís Soares Barbosa aprovado em Provas de Agregação

Luís Soares Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Escola de Engenharia da Universidade do Minho, concluiu em dezembro as provas de agregação, tendo sido aprovado por unanimidade pelos membros do júri.

27 dezembro 2016

Institucional

5M€ para desenvolver bases de dados europeias na cloud

O projeto Europeu CloudDBAppliance, que visa a criação de uma plataforma que permite oferecer bases de dados como um serviço ao nível europeu, arrancou este mês em Grenoble, França.

23 dezembro 2016

Institucional

Projeto Europeu SafeCloud obtém avaliação positiva no primeiro ano

O projeto europeu SafeCloud alcançou uma avaliação positiva no seu primeiro ano de atividade, no âmbito da avaliação da Comissão Europeia, que decorreu em novembro em Bruxelas.

19 dezembro 2016

Institucional

INESC TEC pergunta aos portugueses se sabem o que é uma rede elétrica inteligente

O INESC TEC, juntamente com a EDP Distribuição, a Withus – Inovação e Tecnologia e a NOS, está a conduzir um inquérito nacional que tem como objetivo analisar o nível de conhecimento dos portugueses relativamente às redes elétricas inteligentes.

01 dezembro 2016

Institucional

INESCTEC destaca-se entre as startups na Web Summit

Duas das cinco ideias de negócio consideradas mais interessantes, apresentadas por portugueses no primeiro dia da Web Summit, dizem respeito a projetos ligados ao INESC TEC, nomeadamente a Kinematix e a SafeCloud.

22 novembro 2016

Institucional

Projeto europeu CoherentPaaS chega ao fim

Terminou no mês de outubro o projeto europeu CoherentPaaS (Coherent and Rich PaaS with a Common Programming Model), que conta com o Laboratório de Software Confiável (HASLab) do INESC TEC como parceiro.

27 outubro 2016

Institucional

Arrancam no INESC TEC mais dois projetos de engenharia de software

O Laboratório de Software Confiável (HASLab) do INESC TEC iniciou este mês dois novos projetos, o TRUST e o DaLí, nas áreas da engenharia de software. Os projetos, que arrancaram nos dias 19 e 20 de setembro na Universidade do Minho, contam com um financiamento de 250 mil euros.

30 setembro 2016

Institucional

INESC TEC cria a app de fotos mais segura do mercado

A aplicação móvel de fotografias mais segura do mercado é portuguesa e foi desenvolvida por investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC.

30 setembro 2016

Institucional

INESC TEC participa no Programa Verão no Campus 2016 da U.Minho

Computação Sem Fonteiras é o nome da atividade organizada maioritariamente por investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC que promove as áreas da Informática e da Computação. Esta é já a 9ª edição do Verão no Campus da Universidade do Minho e as 24 vagas disponíveis para esta atividade foram preenchidas na sua totalidade.

28 julho 2016

Institucional

INESC TEC preside grupo de trabalho da Federação Internacional de Processamento de Informação

José Creissac Campos, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente na Universidade do Minho, foi recentemente eleito presidente do grupo de trabalho 2.7/13.4 da IFIP – International Federation for Information Processing (Federação Internacional de Processamento de Informação).

07 julho 2016

Institucional

INESC TEC em destaque no Encontro Nacional Ciência 2016

O INESC TEC terá uma forte participação no Encontro Nacional Ciência 2016, a maior e mais diversificada reunião de cientistas e investigadores portugueses, que decorrerá de 4 a 6 de julho no Centro de Congressos de Lisboa.

04 julho 2016

  • 11
  • 15