Nicolás D'Ippolito will be member on the FormaliSE 2015 Program Committee.

Nicolás D'Ippolito will be member on the FormaliSE 2015 Program Committee.
http://www.formalise.org/programme-committee-formalise2015

Undefined