Computer Science Logic and 8th Kurt Gödel Colloquium
Welcome and News
Welcome and News
Host Institutions
Calls and Deadlines
Social Program
Location and Venue
Colocated Events
Authors' instructions
Print current pagePrint this page

 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