Computer Science Logic and 8th Kurt Gödel Colloquium
Welcome and News

 Top News: (Preliminary) Schedule is online

CSL/KGC 2003

Vienna University of Technology
Vienna, Austria
25th - 30th August 2003

Kurt Gödel Society

TU Wien

bm:bwk Bundesministerium für Bildung, Wissenschaft und Kultur

European Association for Computer Science Logic


  • 2003-07-12: The (preliminary) schedule is here!
  • 2003-06-04: The list of accepted papers is online!
  • 2003-04-01: Paper submission closed.
  • 2003-03-05: Papers can now be submitted. See the Calls and Deadlines page.
  • 2003-03-04: Hotel reservation can be made here.
  • 2003-03-03: More information on social program.
  • 2003-03-03: Registration has started, go here.
  • 2003-03-03: Information on accomodation are online.
  • 2003-02-10: Information on registration and social program are online.
  • 2003-02-04: Colocated events are on the web.
  • 2003-01-14: The call for papers is available from the Calls and Deadlines page.
  • 2003-01-14: The real webpage is online.

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