Notícias & Eventos
Subir um nívelINESC 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.
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.
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.
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.
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.
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”.
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.
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.
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.
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.
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.
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.
INESC TEC lidera projeto europeu para tornar dados na cloud invioláveis
Chama-se SafeCloud e vai ser desenvolvido até 2018.
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.
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).
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.
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.
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.
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.
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.