INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2022
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • 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.

Leave a Reply

You must be logged in to post a comment.