Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Notícias
Informática

Equipa INESC TEC contribui para nova versão de linguagem de modelação Alloy

Os investigadores do Alcino Cunha e Nuno Macedo contribuíram para o desenvolvimento do Alloy 6, a versão mais recente de uma das plataformas de especificação e análise mais utilizadas para a análise formal de designs nas fases iniciais do desenvolvimento de software.

11 maio 2022

Informática

Investigadores do INESC TEC distinguidos em conferência internacional de engenharia de software

O artigo “Schema-guided Testing of Message-oriented Systems”, escrito em co-autoria por Alcino Cunha e Nuno Macedo, investigadores do INESC TEC, e André Santos, engenheiro do CoLAB VORTEX, foi o vencedor do prémio Best Paper Award na 17ª edição da conferência internacional ENASE – Conference on Evaluation of Novel Approaches to Software Engineering.

05 maio 2022

Institucional

INESC TEC ajuda os jovens a “Preparar o futuro”

“Preparar o futuro. Conhecer o presente.” Foi com este lema que a Mostra da Universidade do Porto (U.Porto) se apresentou para a sua 19ª edição, que decorreu entre os dias 21 e 24 de abril, no Pavilhão Multiusos de Gondomar, e contou com a participação do INESC TEC.

29 abril 2022

Redes de Sistemas Inteligentes

INESC TEC integra associação europeia de redes e serviços de telecomunicações 6G

O INESC TEC integrou a  6G Smart Networks and Services Industry Association (6G-IA), porta-voz da indústria e investigação europeia para as redes e serviços de telecomunicações de próxima geração e que pretende contribuir para a liderança da Europa na investigação 5G, pós-5G e 6G.

28 abril 2022

Redes de Sistemas Inteligentes

INESC TEC recebe Almirante Gouveia e Melo e apresenta roteiros sobre capacitação e investigação em Tecnologias Oceânicas

O Chefe do Estado-Maior da Armada (CEMA), o Almirante Henrique Gouveia e Melo, visitou o INESC TEC no dia 7 de abril. A visita teve como objetivo apresentar ao CEMA o contributo do Instituto para o crescimento sustentável da Economia do Mar, em particular, o trabalho de investigação, desenvolvimento, testes e validação de Tecnologias Oceânicas, assim como explorar possibilidades de cooperação. O programa incluiu também uma passagem pelo “Mar Profundo”, o navio de apoio à investigação multidisciplinar no Mar. 

28 abril 2022

Institucional

Reunião do Conselho Geral do INESC TEC

Realizou-se, no dia 13 de abril, a primeira Reunião Ordinária do Conselho Geral do INESC TEC de 2022, que contou com a presença das cinco instituições associadas do INESC TEC, bem como o seu Conselho de Administração.

28 abril 2022

Institucional

Estágios de verão CTM @INESC TEC

Candidaturas até 17 de MAIO. 

19 abril 2022

Informática

Investigadores do INESC TEC discutem o ensino da computação em Portugal

A conferência ENSICO trouxe a debate a importância de introduzir o pensamento computacional no ensino obrigatório em Portugal. Este evento decorreu no dia 25 de março, na Faculdade de Engenharia da Universidade do Porto (FEUP), e contou com a participação de investigadores do INESC TEC, bem como especialistas mundiais em educação e computação.

12 abril 2022

Informática

INESC TEC faz monitorização científica da crise sismo-vulcânica nos Açores

O INESC TEC deslocou-se à ilha de São Jorge, nos Açores, para se juntar à comunidade científica na monitorização da atual situação sismo-vulcânica. Durante a visita, os investigadores procuraram obter informação que pudesse aumentar a confiança relativamente a possíveis cenários, e fornecer dados para as autoridades encarregues da gestão do risco e proteção civil nos Açores. Os principais parâmetros monitorizados são o gás radão e a radiação gama na ilha.

11 abril 2022

Energia

INESC TEC participa na edição portuguesa da Academia de Energia

O Clean Energy for EU Island Secretariat vai realizar nos dias 28 e 29 de abril, na Madeira, a Academia de Energia, destinada às ilhas portuguesas. Com este evento, a equipa do Secretariado, em conjunto com a RdA Climate Solutions e o Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC), pretendem apoiar os habitantes das ilhas a selecionar, avaliar, executar e comunicar os seus projetos de transição energética.

08 abril 2022

Redes de Sistemas Inteligentes

Investigadora do INESC TEC e aluna de doutoramento FEUP distinguida com menção honrosa pela Liga Portuguesa Contra a Epilepsia

A investigadora do INESC TEC e aluna do Programa Doutoral em Engenharia Biomédica da FEUP Elodie Lopes recebeu o Prémio para a melhor apresentação oral no âmbito do 34º Encontro Nacional de Epileptologia, que decorreu nos dias 11 e 12 de março, na Fundação Engenheiro António de Almeida, no Porto, e que reuniu toda a comunidade científica e médica desta área da Neurologia.

07 abril 2022

Institucional

Open Day CTM desafiou investigadores do INESC TEC

Foi entre os dias 31 de março e 1 de abril que decorreu mais uma edição do Open Day CTM, uma iniciativa anual promovida pelo Centro de Telecomunicações e Multimédia (CTM) do INESC TEC, com o objetivo de dar a conhecer a variedade e a qualidade do trabalho técnico e científico desenvolvido pelo Centro e pelos seus colaboradores.

07 abril 2022

  • 1
  • 210