European Association for Computer Science Logic
Homepage: eacsl.org