News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

25-30 August 2003, Annual Conference of the European Association for
Computer Science Logic
and
8th Kurt Goedel Colloquium, Vienna, Austria

Date: 25-30 August 2003
Location: Vienna, Austria

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The Kurt Goedel Colloquium (KGC) is the biennial conference of the Kurt Goedel Society (KGS). The joint conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

For more information, an online registration form and a preliminary program, see http://www.logic.at/csl03/

Please note that this newsitem has been archived, and may contain outdated information or links.