- Menu
The archiving processing of the collection of the WG2.1 – Algoritmi Languages and Calculi workgroup of the International Federation for Information Processing (IFIP) was presented on 20 June at the Braga District Archive (ADB) and received the support of INESC TEC, of the University of Minho and of the Primavera Business Software.
27th June 2018
DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systems is the new research project of INESC TEC’S High Assurance Software Laboratory (HASLab) that was recently approved by the Foundation for Science and Technology and that aims to analyse and implement distributed software systems based on cyber-physical components.
20th June 2018
On 24 May, a project of INESC TEC developed in partnership with the Portuguese Mint and Official Printing Office (INCM) was one of the highlighted presentations of the innovative ideas exhibition, that have already been implemented or that are still being developed by INCM.
18th June 2018
José Nuno Oliveira, researcher from the INESC TEC's High-Assurance Software Laboratory (HASLab), was invited to speak in the Porto Tech Hub conference, an event that took place on the 18th May at Alfândega Porto Congress Center.
08th June 2018
The paper “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps”, written by Luís Cruz, researcher of the INESC TEC’s High-Assurance Software Laboratory (HASLab), together with Rui Maranhão, teacher at the Instituto Superior Técnico, was awarded with the Best Paper Award in the XXI Ibero-American Conference on Software Engineering (CIbSE 2018) that took place in Bogotá, Colombia on 23 and 27 April.
05th June 2018
At the beginning of April, INESC TEC’s High Assurance Software Laboratory (HASLab) hosted high school students from Braga, Viana do Castelo and Bragança districts who have selected HASLab to experience the activity of IT researchers. The program was held under the 5th edition of Best Students at UMinho Programme.
08th May 2018
The EuroSys - European Conference on Computer Systems, which is one of the world’s largest conferences on computer systems, took place in the city of Porto between 23 and 26 April. Around 300 participants from all over the world attended this conference, known as one of the largest international conferences on computer systems.
03rd May 2018
João Tiago Paulo and Hadi Tork, INESC TEC’s collaborators of the High Assurance Software Laboratory (HASLab) and Artificial Intelligence and Decision Support Laboratory (LIAAD), respectively, were two of the fifteen finalists present at the ERCIM 2017 Cor Baayen Young Researcher Award.
29th March 2018
The Foundation for Science and Technology (FCT) competition accepted KLEE, Coalgebraic Modelling and Analysis for Computational Synthetic Biology as the new research project of the High-Assurance Software Laboratory (HASLab) of INESC TEC, which aims the development of coalgebraic models for synthetic biology.
14th March 2018
Saving lives through the reduction of mistakes in the use of medical devices. That is the purpose that moved researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC to participate in an international programme that intends to reduce the number of mistakes associated with the use of equipment such as glucose monitor or hemodialysis machine, improving its safety and resulting performance.
01st February 2018
José Creissac Campos, senior researcher of High-Assurance Software Laboratory (HASLab) of INESC TEC and professor at the University of Minho, was nominated a member of the College of Assessors of New Zealand Ministry of Business, Innovation and Employment (MBIE).
31st January 2018
The European project SafeCloud, Secure and Resilient Cloud Architecture, received a positive assessment in its second year of activity, as part of the European Commission's evaluation, in November, in Brussels.
17th January 2018