SUMO, INRIA Rennes

LOGICA, IRISA Rennes :

CMI, Chennai, India :

IMSC, Chennai, India :

NUS, Singapore :