Foreword ICTCS 2010 special issue Eugenio Moggi RAIRO-Theor. Inf. Appl., 46 2 (2012) 201 Published online: 21 February 2012 DOI: 10.1051/ita/2012008