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