EACSL – European Association for Computer Science Logic