The European Project CoherentPaaS has come to an end

The European project CoherentPaaS (Coherent and Rich PaaS with a Common Programming Model), which included the High-Assurance Software Laboratory (HASLab) as a partner, has come to an end in October. According to the final evaluation of the European Commission, held in Madrid, the results were "very positive", and the team achieved the objectives outlined as well as carried out "excellent technical work".

Projects TRUST and DaLí have kicked off

This month the High-Assurance Software Laboratory (HASLab) - R&D centre of INESC TEC and research subunit of the University of Minho - has initiated two new projects in the areas of Software Engineering. In total, the TRUST and DaLí projects will receive over 250 thousand euros in funding¹.

HASLab organized 3rd edition of Open Day and launches SafeCloud Photos

The High-Assurance Software Laboratory of INESC TEC - research subunit of UMinho - organized the third edition of Open Day HASLab on 8 September and launched the SafeCloud Photos. The event was attended by over 70 participants and focused on the theme "Software Quality".