Giovanny Lucero, researcher of INES from UFS,  will visit the CIn/UFPE in order to continue collaborative works in projects about formal refactoring with professors Augusto Sampaio and Alexandre Mota. The visit will take place on the period from 9 to 25 October.