Call For Papers TIME 2008 Fifteenth International Symposium on Temporal Representation and Reasoning Montreal, Canada, June 16-18, 2008 http://www.time2008.org TIME 2008 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information. This unique and well-established event further has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond. TIME 2008 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures. KEYNOTE LECTURERS o Carsten Lutz Institute of Theoretical Computer Science, TU Dresden, Germany o Ravi Kothuri, Oracle Corporation, Nashua, NH, USA o James Worrell, Computing Laboratory, Oxford University, GB TOPICS Track 1: Temporal Representation and Reasoning in AI - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - temporal languages for planning - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Track 2: Temporal Database Management - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Track 3: Temporal Logic and Verification in Computer Science - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security PAPER SUBMISSION Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded) and should use the format for camera-ready papers. Submissions must not exceed 8 pages in using that format; over-length submissions may be rejected without review. Papers should be submitted electronically using the online system available via the TIME 2008 web site, at http://www.time2008.org/submission.php CONFERENCE OFFICERS General Chair: Alessandro Artale, Free University of Bozen/Bolzano, Italy Program Committee Chairs: Stephane Demri, CNRS, Cachan, Paris, France Christian S. Jensen, Aalborg University, Denmark Organization co-chairs: Sylvain Hallé, University of Quebec, Montreal, Canada Roger Villemaire, University of Quebec, Montreal, Canada PROGRAM COMMITTEE Claudio Bettini, University of Milan, Italy Alexander Bolotov, University of Westminster, UK Estela Saquete Boro, University of Alicante, Spain Carlo Combi, University of Verona, Italy Clare Dixon, University of Liverpool, UK Curtis Dyreson, Utah State University, USA Michael Fisher, University of Liverpool, UK Antony Galton, University of Exeter, UK Johann Gamper, Free University of Bozen-Bolzano, Italy Alfonso Gerevini, University of Brescia, Italy Valentin Goranko, University of Witwatersrand, South Africa Rajeev Gore, ANU, Australia Fabio Grandi, Universita of Bologna, Italy Ian Hodkinson, Imperial College, UK Vijay Khatri, Indiana University, USA Ranko Lazic, University of Warwick, UK Nikos A. Lorentzos, Agricultural University of Athens, Greece Claudio Masolo, LOA-CNR, Italy Angelo Montanari, University of Udine, Italy Ian Pratt-Hartmann, Manchester University, UK James Pustejovsky, Brandeis University, MA, USA Jean-Francois Raskin, ULB, Belgium Peter Revesz, University of Nebraska-Lincoln, USA Mirek Riedewald, Cornell University, USA John F. Roddick, Flinders University, Australia Richard T. Snodgrass, University of Arizona Paolo Terenziani, University of Torino, Italy David Toman, Free University of Bozen-Bolzano, Italy Roger Villemaire, UQAM, Canada Sean Wang, University of Vermont, USA Pierre Wolper, University of Liege, Belgium Frank Wolter, University of Liverpool, UK Alberto Zanardo, University of Padova, Italy IMPORTANT DATES Paper Submission: January 11 Paper Notification: February 26 Camera Ready Copy Due: March 11 TIME 2008 Symposium: June 16-18 FURTHER INFORMATION e-mail: info@time2008.org and http://www.time2008.org