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).