Jürgen Branke ... [et al.] (eds.). Torsten Braun ... [et al.] (eds.). Jean Ponce ... [et al.] (eds.). Zhigeng Pan ... [et al.] (eds.). Helen Treharne ... [et al.] (eds.). Gilles Barthe ... [et al.] (eds.). George Bebis ... [et al.] (eds.). Hongke Zhang ... [et al.] (eds.). Bernd J?hne ... [et al.] (eds.). Feng Bao ... [et al.] (eds.).