HASLab receives students of the Summer on the Campus 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.

Issuing and using the driving licence is possible through a smartphone

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.

HASLab researchers elected for the School and Scientific Boards of EEUM

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. 

HASLab’s researchers receive Special Mention Award at the MSR 2019 conference

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.

Member of INESC TEC’S Board presents viewing centre of MACC

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.

CoLAB VORTEX was offically launched and has INESC TEC as a partner

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.

Company CLEARSY visits the High-Assurance Software Laboratory

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.

World Congress on Formal Methods has a partnership with Porto Tech Hub

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.

Article authored by HASLab researchers accepted for publication in A* rated conference

An article entitled “Efficient Synchronization of State-based CRDTs”, authored by Vítor Enes, Paulo Sérgio Almeida and Carlos Baquero, researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), together with João Leitão, researcher at NOVA LINCS, was accepted for publication in the 35th IEEE International Conference on Data Engineering (ICDE 2019).

HASLab researcher elected for the committee on Foundations of Computer Science

On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.