Preface Markus Holzer and Bianca Truthe RAIRO-Theor. Inf. Appl., 48 1 (2014) 1-2 Published online: 04 March 2014 DOI: 10.1051/ita/2014006