Visiting Researcher Affiliation Kenneth Brentner Pennsylvania State University Hector Cadavid-Rengifo Escuela Colombiana de Ingenieria Gilles Dowek Ecole Polytechnique (France) Jean-Christophe Filloiatre CNRS,INRIA (France) Hyun Jung Kim Korea Advanced Institute of…
