Notícias & Eventos
Subir um nívelINESC 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.
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.
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.
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.
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.
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”.
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).
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.
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.
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”.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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).
Esqueceu a sua senha?
