Logic Colloquium '99 door J. van Eijck & Logic Colloquium