Diego Garbervetsky is a program committee of 21st International Symposium on Formal Methods (FM2016)
More details about the conference here: http://fm2016.cs.ucy.ac.cy/
Undefined
More details about the conference here: http://fm2016.cs.ucy.ac.cy/