INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2021
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

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