Simon Marlow , marlowsd@gmail.com, simonmar Simon Hengel David Waern , davve@dtek.chalmers.se, david.waern@gmail.com, David Waern Sven Panne , panne Neil Mitchell , Neil Mitchell Ross Paterson , ross Simon Peyton-Jones Wolfgang Jeltsch , wolfgang Malcolm Wallace Benjamin Franksen