Secções
  Entrada HASLab Notícias & Eventos
Acções do Documento

Notícias & Eventos

Subir um nível
INESC TEC organiza conferência internacional sobre Métodos Formais

INESC TEC organiza conferência internacional sobre Métodos Formais

O Laboratório de Software Confiável (HASLab) do INESC TEC organizou a 14ª edição da FACS – Conferência Internacional em Aspetos Formais e Componentes de Software, que decorreu de 10 a 13 de outubro, em Braga.

Ler Mais…

Investigador do INESC TEC concluiu provas de agregação

Investigador do INESC TEC concluiu provas de agregação

Rui Oliveira, administrador do INESC TEC, investigador do Laboratório de Software Confiável (HASLab) e docente da Escola de Engenharia da Universidade do Minho, concluiu, nos dias 7 e 8 de setembro, as provas de agregação na Universidade do Minho (UM), tendo sido aprovado por unanimidade pelos membros do júri.

Ler Mais…

Artigo sobre eficiência energética em linguagens de programação recebe Best Paper Award

Artigo sobre eficiência energética em linguagens de programação recebe Best Paper Award

O artigo intitulado “Towards a Green Ranking for Programming Languages”, da autoria de Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua e João Saraiva, investigadores do Laboratório de Software Confiável (HASLab) do INESC TEC, foi escolhido para Best Paper Award da SBLP 2017.

Ler Mais…

HASLab participa no programa Verão no Campus 2017 da UMinho

HASLab participa no programa Verão no Campus 2017 da UMinho

A Computação Sem Fronteiras é uma atividade que, integrada do Verão do Campus da U.Minho, tem por objetivo promover as áreas da Informática e da Computação junto dos alunos do ensino secundário.

Ler Mais…

Artigo sobre SQL Window Functions recebe Best Paper Award of DAIS 2017

Artigo sobre SQL Window Functions recebe Best Paper Award of DAIS 2017

O artigo intitulado “Similarity aware shuffling for the distributed execution of SQL window functions”, de autoria de Fábio Coelho, José Pereira e Rui Oliveira, do Laboratório de Software Confiável (HASLab) do INESC TEC, juntamente com Miguel Matos do INESC-ID, foi escolhido para o Best Paper Award da DAIS 2017.

Ler Mais…

Investigador do INESC TEC recebe medalha de prata no ACM Student Research Competition

Investigador do INESC TEC recebe medalha de prata no ACM Student Research Competition

Rui Pereira, aluno de doutoramento e investigador do HASLab – Laboratório de Software Confiável do INESC TEC, alcançou o segundo lugar no ACM Student Research Competition na ICSE 2017, com o trabalho “Locating energy hotspots in source code”.

Ler Mais…

Artigo sobre sistema de ficheiros altamente configurável recebe Best Student Paper Award

Artigo sobre sistema de ficheiros altamente configurável recebe Best Student Paper Award

O artigo intitulado “SafeFS: A modular architecture for secure user-space file systems (one FUSE to rule them all)”, realizado no âmbito do projeto europeu SafeCloud, desenvolvido no Laboratório de Software Confiável (HASLab) do INESC TEC, recebeu o Best Student Paper Award na 10th ACM International Systems and Storage Conference (SYSTOR).

Ler Mais…

Projeto Europeu LeanBigData chega ao fim com avaliação positiva

Projeto Europeu LeanBigData chega ao fim com avaliação positiva

O projeto europeu LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), onde o INESC TEC foi um dos parceiros, representado pelo Laboratório de Software Confiável (HASLab) e pelo Centro de Sistemas de Informação e de Computação Gráfica (CSIG), terminou no mês passado com uma avaliação excelente pela Comissão Europeia, afirmando que o consórcio desenvolveu um trabalho científico muito bom, com resultados excelentes.

Ler Mais…

LightKone é o novo projeto europeu que pretende inovar redes periféricas

LightKone é o novo projeto europeu que pretende inovar redes periféricas

LightKone, Lightweight Computation for Networks at the Edge, é o novo projeto europeu do INESC TEC, representado pelo Laboratório de Software Confiável (HASLab), que visa desenvolver um modelo cientificamente sólido e validado industrialmente que seja capaz de fazer computação distribuída em redes periféricas.

Ler Mais…

Investigador do INESC TEC distinguido com prémio “Proteção da Privacidade”

Investigador do INESC TEC distinguido com prémio “Proteção da Privacidade”

Manuel Barbosa, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC, e docente na Faculdade de Ciências da Universidade do Porto (FCUP), foi um dos investigadores que constituem a equipa de investigação europeia distinguida com o prémio “Proteção da Privacidade”.

Ler Mais…

Projeto PRACTICE termina com avaliação excelente

Projeto PRACTICE termina com avaliação excelente

O projeto europeu PRACTICE (Privacy-Preserving Computation in the Cloud), onde o INESC TEC foi um dos parceiros, representado pelo Laboratório de Software Confiável (HASLab), terminou em 2016 com uma avaliação excelente da Comissão Europeia.

Ler Mais…

José Nuno Oliveira é o novo Diretor do HASLab@UMinho

José Nuno Oliveira é o novo Diretor do HASLab@UMinho

José Nuno Oliveira, investigador do HASLab e professor do Departamento de Informática da Escola de Engenharia da Universidade do Minho, tomou posse como Diretor do HASLab@UMinho no dia 13 de janeiro.

Ler Mais…

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

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.

Ler Mais…

5M€ para desenvolver bases de dados europeias na cloud

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.

Ler Mais…

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

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.

Ler Mais…

Projeto europeu CoherentPaaS chega ao fim

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.

Ler Mais…

INESC TEC cria a app de fotos mais segura do mercado

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.

Ler Mais…

Arrancam no INESC TEC mais dois projetos de engenharia de software

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.

Ler Mais…

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

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.

Ler Mais…

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

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).

Ler Mais…

destaque.jpg
destaque.jpg
anuncio-site
anuncio-contactos

Contactos

HASLAB +351 22 209 4000