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.

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.

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. The inauguration ceremonies took place on 4 July at the School of Engineering at the Azurém Campus, in Guimarães. 

The paper entitled “GreenHub Farmer: Real-world data for Android Energy Mining”, written by Marco Couto and Rui Pereira, researchers of INESC TEC's High-Assurance Software Laboratory (HASLab) and of the University of Minho, alongside Hugo Matalonga, of the University of Minho, Bruno Cabral and João Paulo Fernandes of the University of Coimbra and of CISUC, Fernando Castor of the Federal University of Pernambuco, Simão Melo de Sousa of the University of Beira Interior and of LISP, was distinguished with the Special Mention Award in the Data Showcase Track of the MSR 2019 conference-  16th International Conference on Mining Software Repositories.

Rui Oliveira, Director of Minho Advanced Computing Centre (MACC), Member of INESC TEC's Board and Professor at the University of Minho, presented on 5 April the Viewing Centre of MACC in an event attended by Manuel Heitor, Minister for Science, Technology and Higher Education.

It was under the conferences PERIN 2019 “+ Ciência, + Europa” that took place the presentation session of the Collaborative Laboratory (CoLAB) VORTEX in Cyber-Physical systems and Cyber Security, having INESC TEC as one of its partners and with the participation ensured by the High-Assurance Software Laboratory (HASLab). Promoted by ALTRAN, this session took place on 22 March and had a round table in which participated João Claro, INESC TEC's Chief Executive Officer, alongside other partners of the project.

Thierry Lecomte, R&D projects Director at  CLEARSY Systems Engineering, visited the High-Assurance Software Laboratory (HASLab) in Braga and INESC TEC's headquarters, in Porto, between 6 and 7 March.

The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre. The event was held in partnership with the 5th edition of the Porto Tech Hub Conference, which will be held on 11 October at the same place.