The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October.
31st October 2019
The paper “Automatically Inferring ClassSheet Models from Spreadsheets”, co-written by João Saraiva, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho, was awarded the Most Influential Paper from the VL/HCC 2019 international conference, which took place in Memphis, Tennessee, USA, between 14 and 18 October.
23rd October 2019
The Computation Without Borders, an activity integrated in the Summer on the Campus 2019 programme and organised in collaboration with INESC TEC's High-Assurance Software Laboratory, had the participation of 28 secondary school students and took place between 22 and 26 July in the Department of Informatics of the University of Minho, in Braga.
16th August 2019
Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Rui Carlos Oliveira, member of INESC TEC's board and also researcher of HASLab, were elected for the School and Scientific Boards of the School of Engineering of the University of Minho (EEUM), respectively
30th July 2019
Within the framework of the recently adopted European project InterConnect, INESC TEC participated in the 9th edition of IoT Week, which was held between 17 and 21 June in Aarhus, Denmark. INESC TEC is the leading partner of this project, which will officially start in October of 2019.
26th July 2019
The issue and use of the driving licence in smartphones and other mobile devices, with integrity and authenticity assurances of information, user privacy and interoperability between different countries, will give rise to an international standard ISO 18013-5, which was debated in the meeting of the working group of the International Organization for Standardisation (ISO) that took place between 1 and 4 July at INESC TEC’s headquarters, in Porto.
26th July 2019
The paper entitled “GreenHub Farmer: Real-world data for Android Energy Mining” was distinguished with the Special Mention Award in the Data Showcase Track of the MSR 2019 conference.
10th July 2019
The longevity of batteries in mobile devices is a problem for the majority of users. The interaction of users with these devices is often jeopardised by the constant concern that the battery might run out. However, this problem may cease to exist.
09th July 2019
The Bootcamp of CoLAB VORTEX, the new collaborative laboratory of acceleration and technology transfer of cyber-physical systems and cyber security, took place on May at the CISTER’s premises in Porto and was attended by several researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab).
21st June 2019
Francisco Ribeiro and Michael Oliveira, researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC, received the Excellence Grant of UMinho from last academic year.
21st June 2019
In the meeting of INESC TEC’s Board that was held on 7 May, António Luís Sousa was appointed for the co-coordination of the High-Assurance Software Laboratory (HASLab), in which his duties will be carried out alongside Alcino Cunha who continues to be the Co-coordinator of the Centre.
17th June 2019
RADicalize Big Data, a service provision project with OutSystems carried out by INESC TEC’s High-Assurance Software Laboratory (HASLab), allowed the development of a way to integrate Big Data sources in business applications, using a low-code approach that is compatible with the OutSystems platform.
14th June 2019
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.