Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
News
Computer Science

INESC TEC team contributed to a new version of Alloy modelling language

Alcino Cunha and Nuno Macedo, INESC TEC researchers, contributed to the development of Alloy 6, the latest version of one of the most used specification and analysis platforms for the formal analysis of designs in the early stages of software development.  

11th May 2022

Computer Science

INESC TEC researchers acknowledged at international conference on software engineering

The paper “Schema-guided  Testing of Message-oriented Systems“, by Alcino Cunha and Nuno Macedo, researchers at INESC TEC, and André Santos, engineer at CoLAB VORTEX, was the winner of the Best Paper Award at the 17th edition of the international conference ENASE – Conference on Evaluation of Novel Approaches to Software Engineering.

05th May 2022

Institutional

INESC TEC helps younger people to "Prepare for the future"

"Prepare for the future. Know the present.” This was the motto of the 19th edition of the Mostra da Universidade do Porto (U.Porto), which took place between April 21 and 24, at Gondomar's Pavilhão Multiusos. INESC TEC participated in this event promoted by U.Porto.

29th April 2022

Networked Intelligent Systems

INESC TEC integrates European association of telecommunications networks and services 6G

INESC TEC is part of the 6G Smart Networks and Services Industry Association (6G-IA), the European industry and research voice for next-generation telecommunications networks and services, which aims to contribute to Europe’s leadership in 5G, post-5G and 6G research.  

28th April 2022

Networked Intelligent Systems

INESC TEC welcomed Admiral Gouveia e Melo and presented roadmaps on training and research in Ocean Technologies

Admiral Henrique Gouveia e Melo, the Chief of Naval Staff (CEMA), visited INESC TEC on April 7. This visit focused on presenting the Institute’s contribution to the sustainable growth of Ocean Economy, namely research, development, testing, and validation of Ocean Technologies, as well as on exploring potential cooperation opportunities. The agenda also included a visit to “Mar Profundo”, INESC TEC’s multidisciplinary research vessel. 

28th April 2022

Institutional

Meeting of General Council of INESC TEC

The first Ordinary Meeting of the General Council of INESC TEC took place on April 13, 2022, with five associated institutions of INESC TEC, and the Institute's Board of Directors.

28th April 2022

Institutional

CTM Summer Internships @INESC TEC

Applications until May 17th. 

19th April 2022

Computer Science

INESC TEC researchers discussed the teaching of computing in Portugal

The ENSICO conference explored the importance of introducing computational thinking in compulsory education in Portugal. The event took place on March 25, at the Faculty of Engineering of the University of Porto (FEUP), featuring INESC TEC researchers and world experts in education and computing.

12th April 2022

Computer Science

INESC TEC carried out scientific monitoring of the seismic-volcanic activity on the Azores

INESC TEC travelled to the island of São Jorge (Azores), to join the scientific community in monitoring the current seismic-volcanic activity. During the visit, the researchers sought information that could increase confidence in potential scenarios and provide data to the local authorities in charge of risk management and civil protection. The main parameters being monitored are radon gas concentration and gamma radiation on the island.

11th April 2022

Power and Energy

INESC TEC participates in the Portuguese edition of the Energy Academy

On April 28 and 29, the Clean Energy for EU Island Secretariat will organise the Energy Academy, in Madeira, dedicated to the Portuguese islands. With this event, the Secretariat team - together with RdA Climate Solutions and the Institute for Systems and Computer Engineering, Technology and Science (INESC TEC) - aims to support the inhabitants of the islands to select, assess, execute and communicate their energy transition projects.

08th April 2022

Networked Intelligent Systems

INESC TEC researcher and PhD student at FEUP received an honourable mention by the Portuguese League Against Epilepsy

Elodie Lopes, INESC TEC researcher and PhD student of the Doctoral Program in Biomedical Engineering, received the award for best oral presentation at the 34th National Epileptology Congress, which took place on March 11 and 12 at Fundação Engenheiro António de Almeida (Porto), and gathered the scientific and medical community in the field of neurology.

07th April 2022

Institutional

Open Day CTM challenged INESC TEC researchers

The Open Day CTM, an annual initiative promoted by the Centre for Telecommunications and Multimedia (CTM), took place on March 31 and April 1; the event focused on presenting the diversity and quality of the technical and scientific work developed by CTM and its members.

07th April 2022

  • 1
  • 141