José M. Álvarez Rubby Casallas Gilles Dowek Francisco Durán Rafael García Ning Huang José Meseguer César Muñoz Yongyi Peng Xiaojuan Wang