KGC

Kurt Gödel Colloquium on Computational Logic and Proof Theory
  1. 1997

    KGC 1997

    • 25-29 August
    • Vienna, Austria
  2. 1993

    KGC 1993

    • 24-27 August
    • Brno, Czech Republic