Computer Science Logic and 8th Kurt Gödel Colloquium
Host Institutions
Kurt Gödel Society
c/o Institut für Computersprachen
Technische Universität Wien
Favoritenstraße 9
A - 1040 Vienna, Austria
Tel. +43-1-58801-18503
Fax +43-1-58801-18597
email: kgs@logic.at

Institute for Algebra and Computational Mathematics
Vienna University of Technology
Wiedner Hauptstraße 8-10
A - 1040 Vienna, Austria
Tel. +43-1-58801-11802
Fax +43-1-58801-11897

© 2002-2003 Kurt Gödel Society, Norbert Preining. 2004-02-10 Valid HTML 4.01! Valid CSS! Debian