[Ewgla] VEROLOG 2016 first call for abstracts