CSL 03 and 8th Kurt Gödel Colloquium
In August 2003 the
Computer Science Logic 2003 and 8th Kurt Gödel Colloquium
was held in Vienna.