INES – National Institute of Science and Technology for Software Engineering

INES at DigiCosme Spring School

PhD students Simone Oliveira Santos and Ernesto Cid Brasil de Matos (UFRN) will participate in the first DigiCosme Spring School. The event will take place from April 22th to 26th at the Supélec campus in Gif, which is located on the Plateau de Saclay, near Paris, France. The school’s theme this year is Program Analysis and Verification. The school will discuss several aspects of this theme, including abstract interpretation, analysis of numerical precision, model-based testing, deductive program verification, verification of protocols and construction of certified program analysers.

Simone Santos will also visit the LIFO laboratory at University of Orleans (Orleans, France), where she is planning to spent her sandwich PhD year.