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