INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

March 2013
M T W T F S S
« Feb   Apr »
 123
45678910
11121314151617
18192021222324
25262728293031

 
  • INES at DigiCosme Spring School

    (0)
    Publicado em March 17th, 2013Uncategorized

    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.