Best Paper Award at FSE 2016
March 23, 2016
IMDEA Software Institute researchers Gilles Barthe and François Dupressoir, along with José Bacelar Almeida (Universidade do Minho and HASLab ...
[ Read More ]
Manuel Carro Coorganizer and PC Chair of PROHA’2016
March 10, 2016
IMDEA Software Institute’s Deputy Scientific Director, Manuel Carro, is coorganizer and chair of the Program Committee of the 1st Workshop...
[ Read More ]
