IMDEA Software Researcher Manuel Hermenegildo co-chairs HCVS’2017
August 7, 2017
IMDEA Software Institute Researcher, Manuel Hermenegildo, co-organizes and chairs the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS...
[ Read More ]
IMDEA Software Researcher Manuel Hermenegildo co-chairs HCVS’2017
August 7, 2017
IMDEA Software Institute Researcher, Manuel Hermenegildo, co-organizes and chairs the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS...
[ Read More ]
Two PhD students graduate at the IMDEA Software Institute
August 1, 2017
PhD students Miriam García y Germán Delbianco graduated during the past month. Both students obtained their degree from the Technical...
[ Read More ]
Two PhD students graduate at the IMDEA Software Institute
August 1, 2017
Miriam García and Germán Delbianco defend their PhD thesis in UPM in July 2017.
[ Read More ]
