SafeCloud Technologies at Web Summit 2017

Last week, SafeCloud Technologies, a spin-off of HASLab/INESC TEC and the University of Neuchâtel, was at Web Summit, one of the largest technology fairs in the world, which was held in Lisbon from 6 to 9 November.

HASLab organizes an international conference on Formal Methods

The INESC TEC's High-Assurance Software Laboratory (HASLab) organized the 14th edition of FACS – the International Conference on Formal Aspects and Software Components, held from October 10 to October 13 in Braga.

Paper on energy efficiency in programming languages ​​receives Best Paper Award at SBLP 2017

The article "Towards a Green Ranking for Programming Languages", authored by HASLab/INESC TEC & UMinho researchers Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua and João Saraiva, was awarded the Best Paper Award at SBLP 2017.