Flávio Cruz honored with a Best Paper Award at the ICLP'2014
Flávio Cruz together with their co-authors Ricardo Rocha from University of Porto (FCUP), Seth Copen Goldstein and Frank Pfenning from Carnegie Mellon University, were honored with the best paper award at the 30th International Conference on Logic Programming (ICLP 2014), the leading international conference for presenting research in logic programming, which took place between 19 and 22 julho, em Vienna, Austria.