Organized Conference on Theoretical Aspects of Reasoning About Knowledge (1986).
Last updated, June 30, 1995 - Joe Halpern