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

Notícias & Eventos

Subir um nível
INESC TEC em destaque no Encontro Nacional Ciência 2016

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.

Ler Mais…

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

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.

Ler Mais…

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

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.

Ler Mais…

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

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.

Ler Mais…

INESC TEC arrecada mais um Best Paper Award

INESC TEC arrecada mais um Best Paper Award

Manuel Barbosa, coordenador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente no Departamento de Ciências da Computação da Faculdade de Ciências da Universidade do Porto, e José Bacelar Almeida, investigador do HASLab e docente no Departamento de Informática da Universidade do Minho, receberam o prémio de melhor artigo na conferência Fast Software Encryption 2016, que decorreu no final de março na cidade alemã de Bochum.

Ler Mais…

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

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

Ler Mais…

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

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.

Ler Mais…

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

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.

Ler Mais…

INESC TEC desenvolve rede social para doentes oncológicos

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.

Ler Mais…

Prémio Escolar Multicert atribuído a investigador do INESC TEC

Prémio Escolar Multicert atribuído a investigador do INESC TEC

Carlos Afonso, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e aluno da Universidade do Minho, é o vencedor do Prémio Escolar Multicert relativo ao ano letivo 2014/2015. O aluno receberá mil euros em material informático.

Ler Mais…

Nasceu a rede social para a comunidade oncológica (pt jornal)

FalarSobreCancro.org é a rede social que nasceu para troca de informações e experiências entre doentes oncológicos, familiares, amigos, profissionais de saúde, investigadores e voluntários.

Ler Mais…

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

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.

Ler Mais…

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

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.

Ler Mais…

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

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

Ler Mais…

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

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.

Ler Mais…

Investigador do INESC TEC homenageado

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.

Ler Mais…

HASLab com novo coordenador

HASLab com novo coordenador

Manuel Barbosa, investigador no Laboratório de Software Confiável (HASLab) do INESC TEC, é o novo coordenador do HASLab desde o início de setembro. O investigador substitui assim Rui Oliveira, que integrou, a junho de 2015, o Conselho de Administração do INESC TEC. Manuel Alcino Pereira da Cunha, também investigador do HASLab, foi nomeado Coordenador Adjunto.

Ler Mais…

INESC TEC apoia organização de Escola de Verão na U.Minho

INESC TEC apoia organização de Escola de Verão na U.Minho

O Laboratório de Software Confiável (HASLab) do INESC TEC organizou, na última semana de julho, a iniciativa Computação Sem Fronteiras, uma das atividades do programa Verão no Campus 2015 da Universidade do Minho.

Ler Mais…

INESC TEC lidera projeto europeu

INESC TEC lidera projeto europeu

O Laboratório de Software Confiável (HASLab) do INESC TEC viu ser recentemente aprovado o projeto SafeCloud (Secure and Resilient Cloud Architecture), que conta com um orçamento de mais de três milhões de euros.

Ler Mais…

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

Contactos

HASLAB +351 22 209 4000