TIME-2000: Seventh International Workshop on Temporal Representation and Reasoning Keltic Lodge, Cape Breton, Nova Scotia, Canada July 7-9, 2000 FIRST CALL FOR PAPERS The purpose of this workshop is to bring together active researchers in the area of temporal representation and reasoning in Artificial Intelligence, as well as researchers in related areas, especially the area of temporal and spatio-temporal databases. Previous workshops have been successful at bridging the gaps between theoretical and applied research in temporal reasoning. The workshop is planned as a three day event. Visit the TIME2000 webpage at http://www.cs.uregina.ca/~temporal/time2000/time-2000.html for more details. TIME-2000 will be conducted as a combination of paper presentations, an extended poster session, a panel session and two invited talks. Submission of high quality papers describing mature results or on-going work are invited for all areas of temporal representation and reasoning, including, but not limited to: temporal logics and ontologies temporal constraint reasoning temporal languages and architectures expressive power versus tractability belief and uncertainty in temporal knowledge temporal databases spatio-temporal reasoning and databases temporal learning and discovery reasoning about actions and events time and nonmonotonism time in problem solving (e.g. diagnosis, scheduling,...) time in multiple agents, communication, and synchronization other applications Accepted papers will be invited for full presentation or a poster presentation. All submissions must be received by January 31, 2000. Papers are not to exceed 8 pages (which includes references and figures), and please indicate the area(s) on the first page. Electronic submissions are preferred and should be sent to: andre.trudel@acadiau.ca Alternatively, send 5 hard copies of your submission to: Andre Trudel TIME-2000 Program Co-Chair Jodrey School of Computer Science Acadia University Wolfville, Nova Scotia Canada, B0P 1X0 PUBLICATION All accepted papers will be published in the workshop proceedings. As well, a selected subset of the papers may be invited for inclusion (subject to refereeing) in a book or in a special issue of a journal. ORGANIZING COMMITTEE Bernhard Nebel General Chair Andre Trudel PC Co-Chair Scott Goodwin PC Co-Chair Howard Hamilton Treasurer PROGRAM COMMITTEE (Preliminary List) Claudio Bettini Universita' di Milano, Italy Mark Boddy Honeywell Systems and Research Centre, USA Abdenour Bouzouane Universite du Quebec a Chicoutimi, Canada Iliano Cervesato Stanford University, USA Luca Chittaro Universita' di Udine, Italy Jan Chomicki Monmouth University, USA Philippe Dague Universite Paris-Nord, France Mark Denecker Katholieke Universiteit Leuven, Belgium Clare Dixon Manchester Metropolitan University, UK Ramez El-Masri University of Texas at Arlington, USA Marcelo Finger Universidade de Sao Paulo, Brasil Michael Fisher Manchester Metropolitan University, UK Hans Guesgen University of Auckland, NZ Howard Hamilton University of Regina, Canada Patrick Hayes University of West Florida, USA Christian Jensen Aalborg University, Denmark Lina Khatib Nasa Ames Research Center, USA Peter Ladkin Universitaet Bielefeld, Germany Raja Loganantharaj University of Southern Louisiana, USA Cara MacNish University of Western Australia, Australia Ron van der Meyden University of New South Wales, Australia Angelo Montanari Universita' di Udine, Italy Robert Morris Nasa Ames Research Center, USA Bernhard Nebel Albert-Ludwigs-Universitaet Freiburg, Germany Eric Neufeld University of Saskatchewan, Canada Wanlin Pang National Research Council, Canada Han Reichgelt University of the West Indies, Jamaica Mark Reynolds Murdoch University, Perth, Australia Abdul Sattar Griffith University, Australia Yuval Shahar Stanford University, USA Bruce Spencer University of New Brunswick, Canada Ahmed Tawfik University of Prince Edward Island, Canada Paolo Terenziani University of Torino, Italy Vassilis Tsotras University of California at Riverside, USA Thierry Vidal National Engineering School of Tarbes (ENIT), France SUMMARY OF IMPORTANT DATES January 31, 2000 Submission deadline March 1, 2000 Notification of acceptance April 1, 2000 Camera ready copy deadline July 7-9, 2000 TIME-2000 Workshop SPONSOR This workshop is held in cooperation with the Canadian Society for the Computational Studies of Intelligence (CSCSI).