- Menu
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
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
"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
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
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
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
Applications until May 17th.
19th April 2022
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
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
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
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
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