TIME03 - Invited Lectures Modal Logics of Knowledge and Time Ron van der Meyden Counterexample-Guided Abstraction Refinement Edmund M. Clarke Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology Gerard Ligozat Web services for time granularity reasoning Claudio Bettini Return to TIME03 session listing ©2004 Association for Computing Machinery