THE EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME-01) http://tizero.usr.dsi.unimi.it/~time-01/ Cividale del Friuli, Italy June 14-16, 2001 CALL FOR PAPERS The purpose of this symposium is to bring together active researchers in different research areas involving time representation and reasoning. Research papers on the related topic of spatial and spatio-temporal representation and reasoning are also welcome. Traditionally, most contributions came from the Artificial Intelligence community, but the number of contributions from other areas such as Temporal/Spatial Databases and Temporal Logics has been increasing in the last years. We especially encourage submissions from these areas in order to achieve a multi-disciplinary perspective of the topic and to benefit from cross-fertilization of ideas. Previous editions have been successful at bridging the gaps between theoretical and applied research in temporal representation and reasoning, and this will also be one of the main goals of this edition. The symposium is planned as a three days event, and it will be conducted as a combination of paper presentations, an extended poster session, a panel session and two invited talks. There are three tracks in the Symposium with separate program committees. Submission of high quality papers describing mature results or on-going work are welcome. Submitted papers should describe original, previously unpublished research, should be written in English, and not be simultaneously submitted for publication elsewhere. Topics of interest within the scope of each track include, but are not restricted to: Track1: Temporal Representation and Reasoning in AI - temporal logics and ontologies - temporal constraint reasoning - reasoning about actions and change - temporal languages and architectures - expressive power versus tractability - belief and uncertainty in temporal knowledge - temporal learning and discovery - time and nonmonotonism - time in problem solving (e.g. diagnosis, scheduling,...) - time in human-machine interaction Track 2: Time Management in Databases - temporal data models - temporal database design - temporal query languages - indexing of temporal data - temporal database systems - spatio-temporal databases - constraint databases - temporal data mining - time in multimedia databases - time in web applications Track 3: Temporal Logic in Computer Science - pure temporal logic - expressiveness, decidability, and complexity issues - specification and verification - model checking algorithms - temporal theorem proving - temporal languages and architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems - tools and practical systems Accepted papers will be invited for full presentation or a poster presentation. All submissions must be received by February 2, 2001. Papers must not exceed the length of 10 pages and please indicate the track and topic(s) on the first page. Font size must be 11pt or larger. PAPER SUBMISSION - Electronic submission: The strongly preferred way to submit your paper is via the form available at the TIME-01 web page (http://tizero.usr.dsi.unimi.it/~time-01/). - Hardcopy submission: An alternative, discouraged, way is hardcopy submission. In this case, authors must send four copies of their papers to one of the program co-chairs. The contact information of the contacting author should be explicitly given, either in the cover letter or in the title page of the paper. Four copies must reach one of the program chairs on or before the deadline at the following address: Prof. Claudio Bettini (bettini@dsi.unimi.it) Dipartimento di scienze dell'informazione Universita' degli Studi di Milano via Comelico 39, Milano, Italy Tel: +39 0258356281 Fax: +39 0258356276 Prof. Angelo Montanari (montana@dimi.uniud.it) Dipartimento di Matematica e Informatica Universita' degli Studi di Udine Udine, Italy Tel: +39 432 55-8477 Fax: +39 432 55-8499 TIME-01 PROCEEDINGS Proceedings will be published as usual by IEEE Computer Society Press. Published papers are subject to IEEE Copyright. As in previous editions, we will do our best to have a journal special issue with extended versions of selected papers from the symposium. SYMPOSIUM LOCATION The symposium will be held in a very nice old castle in Cividale (http://tizero.usr.dsi.unimi.it/~time-01/location.html). TIME-01 ORGANIZATION General Chair: Johan van Benthem, University of Amsterdam and Stanford University Program Committee Chairs: Claudio Bettini, Universita' degli Studi di Milano, Italy bettini@dsi.unimi.it Angelo Montanari, Universita' degli Studi di Udine, Italy montana@dimi.uniud.it Local Organization Chair: Carlo Combi, Universita' degli Studi di Udine, Italy combi@dimi.uniud.it PROGRAM COMMITTEE - Track1: Temporal Representation and Reasoning in AI Peter van Beek, University of Waterloo, Canada Mark Boddy, Honeywell Systems and Research Center, USA Luca Chittaro, Universita' di Udine, Italy Philippe Dague, Universite' Paris-Nord, France Michael Gelfond, Texas Tech University, USA Alfonso Gerevini, Universita' di Brescia, Italy Scott Goodwin, University of Regina, Canada Howard Hamilton, University of Regina, Canada Pat Hayes, University of West Florida, USA Lina Khatib, NASA Ames Research Center, USA Gerard Ligozat, Universite' Paris-Sud, France Robert A. Morris, NASA Ames Research Center, USA Erik Sandewall, University of Linkoeping, Sweden Abdul Sattar, Griffith University, Australia Paolo Terenziani, Universita' del Piemonte Orientale, Italy Andre` Trudel, Acadia University, Canada Thierry Vidal, ENIT, France - Track 2: Time Management in Databases Elisa Bertino, Universita' di Milano, Italy Michael Bohlen, Aalborg University, Denmark Jan Chomicki, SUNY at Buffalo, NY, USA Carlo Combi, Universita' di Udine, Italy Ramez El-Masri, University of Texas, Arlington, TX, USA Christian Jensen, Aalborg University, Denmark Manolis Koubarakis, University of Crete, Greece Tamer Ozsu, University of Waterloo, Canada Peter Revesz, University of Nebraska-Lincoln, USA V.S. Subrahmanian, University of Maryland, USA Vassilis J. Tsotras, University of California, Riverside, USA David Toman, University of Waterloo, Canada Alex Tuzhlin, New York University, USA X. Sean Wang, George Mason University, VA, USA Jef Wijsen, Universite' de Mons-Hainaut, Belgium - Track 3: Temporal Logic in Computer Science Iliano Cervesato, Naval Research Laboratory, USA Dennis Dams, Bell Labs, USA Clare Dixon, Manchester Metropolitan University, UK Marcelo Finger, Universidade de Sao Paulo, Brasil Michael Fisher, Manchester Metropolitan University, UK Thomas A. Henzinger, University of California at Berkeley, USA Peter B. Ladkin, Universitaet Bielefeld, Germany Wojtek Penczek, Polish Academy of Sciences, Poland Alberto Policriti, Universita' di Udine, Italy Mark A. Reynolds, Murdoch University, Australia Maarten de Rijke, University of Amsterdam, The Netherlands Colin Stirling, Edinburgh University, UK Moshe Y. Vardi, Rice University, USA Yde Venema, University of Amsterdam, The Netherlands Pierre Wolper, Universite de Liege, Belgium Frank Wolter, Universitaet Leipzig, Germany IMPORTANT DATES Paper Submission Deadline: February 2, 2001 Notification of Acceptance: April 2, 2001 Camera Ready Copy Due: April 15, 2001 TIME-01 Symposium: June 14-16, 2001