EATCS Bulletin, call for abstracts