Logic Colloquium (2005 Athens, Greece) — Author | Lex | Lex