Alcino Cunha (Haslab-EEUM) and Nuno Macedo (INESC TEC) 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. This new version of the language presents new primitives […]
admin
943 posts
The paper “Schema-guided Testing of Message-oriented Systems“, by Alcino Cunha and Nuno Macedo, researchers at School of Engineering of the UMinho and 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 […]
More than 250 participants are expected between 4 and 6 May, in Braga, and registrations are open. The 4th Portuguese Congress on Building Information Modelling (ptBIM) takes place from 4 to 6 May, at Espaço Vita, in Braga, with more than 250 participants and 99 papers. The local organisation is […]
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 HASLab researchers and world experts in education and computing. Under the motto “Living with Tecnhnology: Innovation […]
The biggest case study competition in Industrial Engineering and Management took place until April 13th in Vienna, Austria. Catarina Novais dos Santos, David Ribeiro, Miguel Paula and Rafael Couto, first year Master’s students in Industrial Engineering and Management, are representing the University of Minho in the final of TIMES, largest […]
UMinho student coordinates initiative in Minho since 2020. Event reaches 82 cities around the world. The World Creativity Day is celebrated from 20 to 22 April, with more than 2200 free activities in 82 cities around the world, such as in Brazil, China, Nigeria and the United Kingdom. In Portugal, […]
It is held for the first time in Guimarães the spring edition of this prestigious event of IRDTA – Institute for Research Development, Training and Advice. At the end of the morning of April 18th, Domingos Bragança, Mayor of Guimarães City Hall, attended the DeepLearning 2022 Spring event, getting acquainted […]
The 14th edition of RoboParty that took place in the past 7 to 9 April at the University of Minho in Guimarães, had more than 400 young people with more than 100 teams registered, with all robots built and fully operational. The opening session was attended by the Rector of […]
The conclusion is the result of research led by two researchers from the High-Assurance Software Laboratory (HasLab) of the School of Engineering conducted at INESC TEC, which aims to ensure that scientists using supercomputers can carry out scientific studies, in areas such as medicine, natural sciences, climate change and others, […]
The V2X Project – “Vehicle to Everything Communication” – developed in a partnership between Bosch Car Multimedia and the University of Minho (Algoritmi Center / Computer Communications and Pervasive Media Group) – coordinated by Alexandre Santos and António Costa, researchers of the Communications and Networks Group of the Department of […]
The General Secretariat for Education and Science (SGEC) provides, since March 2022, the IT solution Platform@LOGON, which dematerializes all stages of institutional interface between the SGEC and the institutions of the governmental areas of Science, Technology and Higher Education and Education, related to archive management and requests for technical support […]
The removal efficiency of the virus load responsible for COVID-19 in wastewater treatment processes in WWTP is one of the most relevant conclusions of the SARS Control research project. The consortium responsible for the project, involving the Águas de Portugal Group, the University of Lisbon and the University of Minho […]