 In 2012, INESC TEC signed a protocol with the University of Minho.INESC TEC's complex in Minho is called HASLab – High Assurance Software Laboratory.In 2012, the University of Trás-os-Montes e Alto Douro (UTAD) also became a privileged partner of INESC TEC.