Computer Science Logic and 8th Kurt Gödel Colloquium
Welcome and News
| Top News: (Preliminary) Schedule is online|
Vienna University of Technology
25th - 30th
Kurt Gödel Society
bm:bwk Bundesministerium für Bildung, Wissenschaft und Kultur
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
2003-03-03: Registration has started, go
2003-03-03: Information on accomodation
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
2003-01-14: The real webpage is online.
© 2002-2003 Kurt Gödel Society, Norbert Preining.