INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

October 2013
M T W T F S S
« Sep   Nov »
 123456
78910111213
14151617181920
21222324252627
28293031  

 
  • INES at APLAS 2013 – 11th Asian Symposium on Programming Languages and Systems

    (0)
    Publicado em October 21st, 2013Uncategorized

    The paper Laws for References of the INES Researchers Giovanny Lucero and Augusto Sampaio was accepted for publishing at the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013).
    The paper will be presented by Giovanny Lucero (CIn/UFPE and DCOMP/UFS), who works on the INES projects “Confiabilidade e Segurança em Software Crítico” and “Refatoramento de Programas para Migração entre Estruturas de Dados”.
    The APLAS conference will take place in Melbourne, Australia, and will be colocated with the 3rd International Conference on Certified Programs and Proofs (CPP 2013) on 9-13 December 2013.